A new incarnation of action language H

DOI10.1007/978-3-642-30743-0_38MaRDI QIDQ2900548zbMATH OpenOpenAlexFDO

Authors Richard Watson

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

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

Recommendations

• Reasoning about multi-agent domains using action language \(\mathcal{C}\): a preliminary study
• Action language Hybrid AL
• Multivalued Action Languages with Constraints in CLP(FD)
• Modular action language \(\mathcal{ALM}\)
• scientific article; zbMATH DE number 1929151

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Integrating answer set programming and constraint logic programming
• Reasoning agents in dynamic domains
• Representing action and change by logic programs
• Representing actions in logic programs and default theories a situation calculus approach
• Representing constraint satisfaction problems in answer set programming

Cited in

(3)

• A general theory of action languages
• Action language Hybrid AL
• Advances in Artificial Intelligence

This page was built for publication: A new incarnation of action language H

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