On Compact Representations of Propositional Circumscription.
Marco CadoliFrancesco M. DoniniMarco SchaerfPublished in: STACS (1995)
Keyphrases
- compact representations
- default logic
- autoepistemic logic
- disjunctive logic programming
- loop formulas
- logic programs
- propositional logic
- minimal models
- general logic programs
- logic programs with negation
- nonmonotonic logics
- default reasoning
- nonmonotonic reasoning
- default theories
- logic programming
- answer set programs
- classical logic
- modal logic
- probabilistic inference
- first order logic
- truth maintenance systems
- stable models
- answer sets
- situation calculus
- theorem prover
- fixed point
- event calculus
- polynomial hierarchy
- strong equivalence
- knowledge compilation
- partial order
- multi valued
- random variables
- answer set programming
- artificial neural networks