Formalizing Narratives Using Nested Circumscription.
Chitta BaralAlfredo GabaldonAlessandro ProvettiPublished in: Artif. Intell. (1998)
Keyphrases
- logic programs
- commonsense knowledge
- autoepistemic logic
- default logic
- general logic programs
- nonmonotonic logics
- default reasoning
- database
- theorem prover
- loop formulas
- data sets
- closed world assumption
- disjunctive logic programming
- requirements analysis
- situation calculus
- hierarchical structure
- database systems
- decision making
- logic programming
- stable model semantics
- nested relations
- query language
- information retrieval
- real world
- monte carlo search
- closed world reasoning