Completeness Results for Circumscription.
Donald PerlisJack MinkerPublished in: Artif. Intell. (1986)
Keyphrases
- default logic
- default reasoning
- commonsense knowledge
- autoepistemic logic
- logic programs
- theorem prover
- closed world assumption
- situation calculus
- neural network
- general logic programs
- disjunctive logic programming
- high level
- database systems
- answer sets
- closed world reasoning
- database
- nonmonotonic logics
- case study
- information retrieval
- real world
- databases