Ordered seminormal default theories and their extensions.

Published in: J. Exp. Theor. Artif. Intell. (1991)

Keyphrases

default theories
default logic
nonmonotonic reasoning
autoepistemic logic
answer set programming
nonmonotonic logics
default rules
revision operators
logic programming
default reasoning
modal logic
artificial intelligence
database systems
probabilistic model
general purpose
fixed point