Reasoning about action and change

DOI10.1007/978-3-030-06164-7_15MaRDI QIDQ6602230zbMATH OpenFDO

Authors Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis

Publication date 11 September 2024

Mathematics Subject Classification ID

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)

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

Cites work

• scientific article; zbMATH DE number 4174351 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1285156 (Why is no real title available?)
• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• scientific article; zbMATH DE number 2084399 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• A logic of universal causation
• A simple account of multi-agent epistemic planning
• A unified model of qualitative belief change: a dynamical systems perspective
• Argumentation update in YALLA (yet another logic language for argumentation)
• Belief change with uncertain action histories
• Belief extrapolation (or how to reason about observations and unpredicted change)
• Belief update within propositional fragments
• Change in abstract argumentation frameworks: adding an argument
• Dynamics of argumentation systems: a division-based method
• Formalizing action and change in modal logic I: the frame problem
• Foundations of instance level updates in expressive description logics
• Frames in the space of situations
• From Situation Calculus to Dynamic Epistemic Logic
• How to Do Things with Worlds: on Formalizing Actions and Plans
• Knowledge updates: Semantics and complexity issues
• Metatheory of actions: beyond consistency
• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• More for free: a dynamic epistemic framework for conformant planning over transition systems
• Motivated action theory: A formal theory of causal reasoning
• Nonmonotonic causal theories
• Note about cardinality-based circumscription
• On semantic update operators for answer-set programs
• On the logic of theory change: Partial meet contraction and revision functions
• Preferred history semantics for iterated updates
• Propositional belief base update and minimal change
• Propositional update operators based on formula/literal dependence
• Reconciling description logics and rules
• Representing action and change by logic programs
• STRIPS: A new approach to the application of theorem proving to problem solving
• Splitting and updating hybrid knowledge bases
• Updating action domain descriptions
• What does it take to enforce an argument? Minimal change in abstract argumentation

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)