Seminormalizing a default theory.

Paolo Liberatore

Published in: J. Appl. Non Class. Logics (2005)

Keyphrases

default theories
default logic
answer set programming
default reasoning
nonmonotonic logics
autoepistemic logic
revision operators
default rules
nonmonotonic reasoning
classical logic
database
artificial intelligence
bayesian networks
logic programs
epistemic states