Seminormal Stratified Default Theories.

Pawel Cholewinski

Published in: Ann. Math. Artif. Intell. (1996)

Keyphrases

default theories
default logic
autoepistemic logic
nonmonotonic logics
revision operators
answer set programming
nonmonotonic reasoning
default reasoning
classical logic
higher order
graphical models
modal logic
theorem prover