@inproceedings{1590f1fccefe4a6aa732d4b0c02318f1,
title = "Verifying heterogeneous multi-agent programs",
abstract = "We present a new approach to verifying heterogeneous multi-agent programs - multi-agent systems in which the agents are implemented in different (BDI-based) agent programming languages. Our approach is based on meta-APL, a BDI-based agent programming language that allows both an agent's plans and its deliberation strategy to be encoded as part of the agent program. The agent programs comprising a heterogeneous multi-agent program are first translated into meta-APL, and the resulting system is then verified using the Maude term rewriting system. We prove correctness of translations of Jason and 3APL programs and deliberation strategies into meta-APL. Preliminary experimental results indicate that our approach can significantly out-perform previous approaches to verification of heterogeneous multi-agent programs.",
keywords = "Agent programming languages, Agent programs, Verification",
author = "Doan, {Thu Trang} and Yuan Yao and Natasha Alechina and Brian Logan",
note = "Publisher Copyright: Copyright {\textcopyright} 2014, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014 ; Conference date: 05-05-2014 Through 09-05-2014",
year = "2014",
language = "English",
series = "13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "149--156",
booktitle = "13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014",
}