Decidability and definability with circumscription.
John S. SchlipfPublished in: Ann. Pure Appl. Log. (1987)
Keyphrases
- propositional logic
- default logic
- fixed point
- minimal models
- nonmonotonic logics
- description logics
- default reasoning
- autoepistemic logic
- commonsense knowledge
- closed world assumption
- query answering
- nonmonotonic reasoning
- theorem prover
- situation calculus
- logic programs
- disjunctive logic programming
- decision procedures
- closed world reasoning
- general logic programs
- type checking
- event calculus
- finite model theory
- classical logic
- logic programming
- default theories
- answer sets
- belief revision
- stable model semantics
- first order logic
- programming language
- data model
- loop formulas
- bayesian networks
- artificial intelligence
- neural network
- medical terminology
- database