Reasoning about action and change
From MaRDI portal
Publication:6602230
DOI10.1007/978-3-030-06164-7_15zbMATH Open1547.68723MaRDI QIDQ6602230
Pierre Marquis, Andreas Herzig, Florence Dupin de Saint-Cyr, Jérôme Lang
Publication date: 11 September 2024
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Argumentation update in YALLA (yet another logic language for argumentation)
- Foundations of instance level updates in expressive description logics
- Belief extrapolation (or how to reason about observations and unpredicted change)
- Updating action domain descriptions
- Dynamics of argumentation systems: a division-based method
- Nonmonotonic causal theories
- Metatheory of actions: beyond consistency
- A unified model of qualitative belief change: a dynamical systems perspective
- Frames in the space of situations
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- Motivated action theory: A formal theory of causal reasoning
- Note about cardinality-based circumscription
- A logic of universal causation
- Propositional belief base update and minimal change
- Knowledge updates: Semantics and complexity issues
- STRIPS: A new approach to the application of theorem proving to problem solving
- Propositional Update Operators Based on Formula/Literal Dependence
- On Semantic Update Operators for Answer-Set Programs
- From Situation Calculus to Dynamic Epistemic Logic
- Splitting and updating hybrid knowledge bases
- Belief Change with Uncertain Action Histories
- Belief Update Within Propositional Fragments
- Change in Abstract Argumentation Frameworks: Adding an Argument
- Reconciling description logics and rules
- On the logic of theory change: Partial meet contraction and revision functions
- Representing action and change by logic programs
- How to Do Things with Worlds: on Formalizing Actions and Plans
- More for free: a dynamic epistemic framework for conformant planning over transition systems*
- Formalizing action and change in modal logic I: the frame problem
- Preferred history semantics for iterated updates
This page was built for publication: Reasoning about action and change
