On Compact Representations of Propositional Circumscription.
Marco CadoliFrancesco M. DoniniMarco SchaerfRiccardo SilvestriPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- compact representations
- default logic
- autoepistemic logic
- disjunctive logic programming
- loop formulas
- propositional logic
- minimal models
- general logic programs
- logic programs
- default theories
- nonmonotonic logics
- default reasoning
- answer set programs
- logic programs with negation
- nonmonotonic reasoning
- logic programming
- answer sets
- modal logic
- probabilistic inference
- truth maintenance systems
- answer set programming
- first order logic
- theorem prover
- classical logic
- probabilistic logic
- commonsense knowledge
- situation calculus
- higher order
- satisfiability testing
- stable model semantics
- message passing
- supervised learning
- artificial neural networks