Characterizing causal action theories and their implementations in answer set programming

DOI10.1016/j.artint.2017.02.008zbMath1420.68201OpenAlexW2592933345MaRDI QIDQ2407453

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

logic programmingaction languagescausal action theories

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs
• Metatheory of actions: beyond consistency
• On the logic of causal explanation
• Ramification and causality
• A logic of universal causation
• Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming
• Representing first-order causal theories by logic programs
• Strongly equivalent logic programs

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