On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$

DOI10.1007/978-3-319-23264-5_34zbMath1467.68182OpenAlexW2396382552MaRDI QIDQ3449224

Daniela Inclezan

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_34

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• Representing actions in logic programs and default theories a situation calculus approach
• ASP with non-herbrand partial functions: a language and system for practical use

This page was built for publication: On the Relationship Between Two Modular Action Languages: A Translation from MAD into $$\mathcal {ALM}$$