A Proof Procedure for Default Theories with Extensions.
Monica D. BarbackJorge LoboPublished in: ILPS (1993)
Keyphrases
- default theories
- proof procedure
- default logic
- theorem proving
- propositional logic
- first order logic
- default reasoning
- theorem prover
- autoepistemic logic
- model theoretic
- predicate calculus
- nonmonotonic reasoning
- belief revision
- answer set programming
- automated reasoning
- decision procedures
- expressive power
- logic programming
- orders of magnitude
- data management
- sufficient conditions
- logic programs