Stratified Default Theories.

Pawel Cholewinski

Published in: CSL (1994)

Keyphrases

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