Circumscription and Authority.
Peter K. RathmannGio WiederholdPublished in: Artificial and Mathematical Theory of Computation (1991)
Keyphrases
- default reasoning
- situation calculus
- default logic
- nonmonotonic reasoning
- logic programs
- link analysis
- answer sets
- theorem prover
- closed world assumption
- minimal models
- autoepistemic logic
- commonsense knowledge
- propositional logic
- event calculus
- closed world reasoning
- loop formulas
- general logic programs
- nonmonotonic logics
- classical logic
- logic programming
- answer set programming
- disjunctive logic programming
- expert systems
- image sequences
- database