Metatheory of actions: beyond consistency

DOI10.1016/J.ARTINT.2007.04.013MaRDI QIDQ1028966zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Ivan Varzinczak

Publication date 9 July 2009

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://philarchive.org/rec/HERMOA

zbMATH Keywords

modularityreasoning about actionsaction theoryramifications

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 140402
• Principles of metareasoning
• scientific article; zbMATH DE number 2101960
• scientific article; zbMATH DE number 1523045
• scientific article; zbMATH DE number 2236616
• On the dynamic logic of agency and action
• scientific article; zbMATH DE number 2243405
• Some contributions to the metatheory of the situation calculus
• Provably correct theories of action

Cites work

• scientific article; zbMATH DE number 4054990 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 741526 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1179096 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1523045 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1759389 (Why is no real title available?)
• scientific article; zbMATH DE number 1929152 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 5046357 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Consequence finding algorithms
• Formalizing action and change in modal logic I: the frame problem
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Linear resolution for consequence finding
• Logic Programming and Nonmonotonic Reasoning
• Modal logic
• Modularity and relevant logic
• Nonmonotonic causal theories
• Proof methods for modal and intuitionistic logics
• Properties of independently axiomatizable bimodal logics
• Ramification and causality
• Reasoning about action. II: The qualification problem
• Regression in modal logic
• Representing action and change by logic programs
• Representing action: indeterminacy and ramifications
• Simulation and transfer results in modal logic -- a survey
• Some contributions to the metatheory of the situation calculus
• State Constraints Revisited
• Updating action domain descriptions

Cited in

(10)

• A general first-order solution to the ramification problem with cycles
• Position systems in dynamic domains
• A unifying action calculus
• scientific article; zbMATH DE number 140402 (Why is no real title available?)
• Reasoning about action and change
• A description logic based situation calculus
• scientific article; zbMATH DE number 1929152 (Why is no real title available?)
• Characterizing causal action theories and their implementations in answer set programming
• Constrained consequence
• Prolegomena to concise theories of action

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: Metatheory of actions: beyond consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028966)