A New Incarnation of Action Language H

DOI10.1007/978-3-642-30743-0_38zbMath1357.68214OpenAlexW23459738MaRDI QIDQ2900548

No author found.

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_38

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Integrating answer set programming and constraint logic programming
• Representing action and change by logic programs
• Representing actions in logic programs and default theories a situation calculus approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A New Incarnation of Action Language H