A preferential semantics for causal reasoning about action
From MaRDI portal
Publication:862556
DOI10.1007/s10472-006-9032-3zbMath1107.68109OpenAlexW1979068763MaRDI QIDQ862556
Publication date: 24 January 2007
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-006-9032-3
Logic in artificial intelligence (68T27) Temporal logic (03B44) Artificial intelligence for robotics (68T40)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Nonmonotonic causal theories
- Reasoning about action. I: A possible worlds approach
- Efficient reasoning about rich temporal domains
- Chronological ignorance: Experiments in nonmonotonic temporal reasoning
- A logic for default reasoning
- Circumscription - a form of non-monotonic reasoning
- Two components of an action language
- Ramification and causality
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- STRIPS: A new approach to the application of theorem proving to problem solving
- Representing actions in logic programs and default theories a situation calculus approach
This page was built for publication: A preferential semantics for causal reasoning about action
