Exploring conditional rewriting logic computations.

María Alpuente Demis Ballis Francisco Frechina Julia Sapiña

Published in: J. Symb. Comput. (2015)

Keyphrases

conditional logic
logic programming
modal logic
conjunctive queries
classical logic
nonmonotonic inference
conditional probabilities
default reasoning
multi valued
computational properties
probability theory
automated reasoning
logical framework
digital circuits
regular path queries