TY - GEN
T1 - Reasoning about multi-agent domains using action language C
T2 - 10th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-X 2009
AU - Baral, Chitta
AU - Son, Tran Cao
AU - Pontelli, Enrico
N1 - Funding Information:
Acknowledgement. The last two authors are partially supported by the NSF grants IIS-0812267, CBET-0754525, CNS-0220590, and CREST-0420407.
PY - 2010
Y1 - 2010
N2 - This paper investigates the use of action languages, originally developed for representing and reasoning about single-agent domains, in modeling multi-agent domains. We use the action language and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.
AB - This paper investigates the use of action languages, originally developed for representing and reasoning about single-agent domains, in modeling multi-agent domains. We use the action language and show that minimal extensions are sufficient to capture several multi-agent domains from the literature. The paper also exposes some limitations of action languages in modeling a specific set of features in multi-agent domains.
UR - http://www.scopus.com/inward/record.url?scp=78649948717&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78649948717&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-16867-3_3
DO - 10.1007/978-3-642-16867-3_3
M3 - Conference contribution
AN - SCOPUS:78649948717
SN - 3642168663
SN - 9783642168666
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 46
EP - 63
BT - Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Revised Selected and Invited Papers
Y2 - 9 September 2009 through 10 September 2009
ER -