Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming

DOI10.1007/978-3-642-30743-0_28zbMath1357.68222OpenAlexW203258123MaRDI QIDQ2900536

Joohyung Lee

Publication date: 23 July 2012

Published in: Correct Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0_28

Mathematics Subject Classification ID

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

Related Items (1)

Characterizing causal action theories and their implementations in answer set programming

Uses Software

• f2lp
• CCalc

Cites Work

• Stable models and circumscription
• Nonmonotonic causal theories
• Extending and implementing the stable model semantics
• Representing first-order causal theories by logic programs
• Logic Programming and Nonmonotonic Reasoning
• Unnamed Item
• Unnamed Item

This page was built for publication: Reformulating Action Language $\mathcal{C}$ + in Answer Set Programming