Formalizing Narratives Using Nested Circumscription.
Chitta BaralAlfredo GabaldonAlessandro ProvettiPublished in: AAAI/IAAI, Vol. 1 (1996)
Keyphrases
- default logic
- logic programs
- default reasoning
- commonsense knowledge
- situation calculus
- closed world reasoning
- closed world assumption
- nonmonotonic reasoning
- stable model semantics
- nonmonotonic logics
- machine learning
- knowledge base
- theorem prover
- logic programming
- loop formulas
- answer sets
- autoepistemic logic
- nested relations
- classical logic
- multi agent
- website