Formalizing narratives using nested circumscription

DOI10.1016/S0004-3702(98)00070-8zbMath0908.68121WikidataQ58946711 ScholiaQ58946711MaRDI QIDQ1274680

Alfredo Gabaldon, Alessandro Provetti, Chitta R. Baral

Publication date: 12 January 1999

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

reasoning about actionscircumscriptionnarrativesnested abnormality theoriesvalue minimization

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items (4)

Formalizing sensing actions -- a transition function based approach ⋮ Formalizing narratives using nested circumscription ⋮ Value minimization in circumscription ⋮ Abductive reasoning through filtering

Uses Software

• GOLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Towards a general theory of action and time
• Formalizing narratives using nested circumscription
• Computing circumscription revisited: A reduction algorithm
• Representing action: indeterminacy and ramifications
• Nested abnormality theories
• Complexity, decidability and undecidability results for domain-independent planning
• A circumscriptive calculus of events
• Reasoning about time in the situation calculus
• Logic programming and knowledge representation
• Narratives in the Situation Calculus
• GOLOG: A logic programming language for dynamic domains
• A simple declarative language for describing narratives with actions
• Representing actions: Laws, observations and hypotheses
• Abductive Logic Programming

This page was built for publication: Formalizing narratives using nested circumscription