Characterizing causal action theories and their implementations in answer set programming

DOI10.1016/J.ARTINT.2017.02.008MaRDI QIDQ2407453zbMATH OpenOpenAlexFDO

Authors Haodi Zhang, Fangzhen Lin

Publication date 29 September 2017

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2017.02.008

zbMATH Keywords

action languagescausal action theorieslogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Translating first-order causal theories into answer set programming
• Representing the language of the causal calculator in answer set programming
• Towards causality-based conflict resolution in answer set programs
• Logic Programming and Nonmonotonic Reasoning
• A causal operational semantics of action refinement
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Specifying causality in action theories: A default logic approach
• Using causal relationships to deal with the ramification problem in action formalisms based on description logics

Cites work

• A logic of universal causation
• Discovering classes of strongly equivalent logic programs
• Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 2000825 (Why is no real title available?)
• scientific article; zbMATH DE number 1453060 (Why is no real title available?)
• Metatheory of actions: beyond consistency
• On the logic of causal explanation
• Ramification and causality
• Reformulating action language \(\mathcal{C}+\) in answer set programming
• Representing first-order causal theories by logic programs
• Strongly equivalent logic programs

Cited in

(6)

• A causal operational semantics of action refinement
• Representing the language of the causal calculator in answer set programming
• On the relationship between two modular action languages: a translation from MAD into \(\mathcal {ALM}\)
• Translating first-order causal theories into answer set programming
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
• Eliminating function symbols from a nonmonotoic causal theory

This page was built for publication: Characterizing causal action theories and their implementations in answer set programming

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