Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL

DOI10.1007/978-3-642-40624-9_18zbMath1401.68298OpenAlexW939418660MaRDI QIDQ2851977

Enrico Pontelli, Gregory Gelfond, Tran Cao Son, Chitta R. Baral

Publication date: 4 October 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40624-9_18

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (6)

Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains ⋮ Conditional Epistemic Planning ⋮ Modelling Multi-Agent Epistemic Planning in ASP ⋮ Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic ⋮ An action language for multi-agent domains ⋮ mAL

This page was built for publication: Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL