Constructive Circumscription.
Vernon AsuncionYan ZhangHeng ZhangYi ZhouPublished in: Theory Pract. Log. Program. (2013)
Keyphrases
- commonsense knowledge
- situation calculus
- default logic
- default reasoning
- autoepistemic logic
- logic programs
- answer sets
- closed world assumption
- nonmonotonic logics
- theorem prover
- nonmonotonic reasoning
- event calculus
- closed world reasoning
- minimal models
- disjunctive logic programming
- search engine
- artificial intelligence
- default theories
- classical logic
- objective function
- decision making
- general logic programs
- databases