Regular Disjunction-Free Default Theories.

Published in: J. Comput. Sci. Technol. (2004)

Keyphrases

default theories
default logic
autoepistemic logic
nonmonotonic logics
answer set programming
default reasoning
classical logic
default rules
revision operators
nonmonotonic reasoning
bayesian networks
pairwise
software engineering
general purpose
logic programming
theorem prover