Reasoning about action and change
From MaRDI portal
Publication:6602230
DOI10.1007/978-3-030-06164-7_15zbMATH Open1547.68723MaRDI QIDQ6602230FDOQ6602230
Authors: Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
Publication date: 11 September 2024
Recommendations
- Considerations on belief revision in an action theory
- Reasoning about action and change. A dynamic logic approach
- Reasoning about action. I: A possible worlds approach
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- Modal logic for modelling actions and agents
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cites Work
- Nonmonotonic causal theories
- On the logic of theory change: Partial meet contraction and revision functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- STRIPS: A new approach to the application of theorem proving to problem solving
- Reconciling description logics and rules
- Title not available (Why is that?)
- Representing action and change by logic programs
- Propositional belief base update and minimal change
- Argumentation update in YALLA (yet another logic language for argumentation)
- What does it take to enforce an argument? Minimal change in abstract argumentation
- Change in abstract argumentation frameworks: adding an argument
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dynamics of argumentation systems: a division-based method
- A logic of universal causation
- Foundations of instance level updates in expressive description logics
- Title not available (Why is that?)
- Knowledge updates: Semantics and complexity issues
- Belief change with uncertain action histories
- Title not available (Why is that?)
- Belief extrapolation (or how to reason about observations and unpredicted change)
- Metatheory of actions: beyond consistency
- A unified model of qualitative belief change: a dynamical systems perspective
- Formalizing action and change in modal logic I: the frame problem
- Preferred history semantics for iterated updates
- Updating action domain descriptions
- Frames in the space of situations
- Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
- Note about cardinality-based circumscription
- How to Do Things with Worlds: on Formalizing Actions and Plans
- Title not available (Why is that?)
- On semantic update operators for answer-set programs
- Splitting and updating hybrid knowledge bases
- Title not available (Why is that?)
- Motivated action theory: A formal theory of causal reasoning
- From Situation Calculus to Dynamic Epistemic Logic
- Belief update within propositional fragments
- More for free: a dynamic epistemic framework for conformant planning over transition systems
- A simple account of multi-agent epistemic planning
- Propositional update operators based on formula/literal dependence
This page was built for publication: Reasoning about action and change
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602230)