{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:06:14Z","timestamp":1756461974202,"version":"3.40.4"},"reference-count":24,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T00:00:00Z","timestamp":1348444800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2013,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper presents a knowledge representation formalism, in the form of a high-level<jats:italic>Action Description Language (ADL)<\/jats:italic>for multi-agent systems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository. In their interactions through shared portions of the world, the agents deal with problems of synchronization and concurrency; the action language allows the description of strategies to ensure a consistent global execution of the agents\u2019 autonomously derived plans. A distributed planning problem is formalized by providing the declarative specifications of the portion of the problem pertaining to a single agent. Each of these specifications is executable by a stand-alone CLP-based planner. The coordination among agents exploits a Linda infrastructure. The proposal is validated in a prototype implementation developed in SICStus Prolog.<\/jats:p>","DOI":"10.1017\/s1471068411000615","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T10:20:35Z","timestamp":1348482035000},"page":"149-173","source":"Crossref","is-referenced-by-count":6,"title":["Autonomous agents coordination: Action languages meet CLP() and Linda"],"prefix":"10.1017","volume":"13","author":[{"given":"AGOSTINO","family":"DOVIER","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREA","family":"FORMISANO","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ENRICO","family":"PONTELLI","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2012,9,24]]},"reference":[{"key":"S1471068411000615_ref6","first-page":"28","article-title":"3APL: A programming language for cognitive agents","volume":"53","author":"Dastani","year":"2003","journal-title":"ERCIM News"},{"key":"S1471068411000615_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.12.014"},{"key":"S1471068411000615_ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010091302035"},{"key":"S1471068411000615_ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160678"},{"key":"S1471068411000615_ref17","doi-asserted-by":"crossref","DOI":"10.1145\/1160633","volume-title":"Proc. of the International Joint Conference on Autonomous Agents and Multiagent Systems","author":"Nakashima","year":"2006"},{"key":"S1471068411000615_ref19","first-page":"42","volume-title":"Proc. of the European Workshop on Modeling Autonomous Agents in a Multi-Agent World","author":"Rao","year":"1996"},{"key":"S1471068411000615_ref16","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404002029"},{"key":"S1471068411000615_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-26350-0_6"},{"key":"S1471068411000615_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000013"},{"volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","year":"2007","author":"Bordini","key":"S1471068411000615_ref3"},{"key":"S1471068411000615_ref12","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"S1471068411000615_ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2003.1215666"},{"key":"S1471068411000615_ref1","first-page":"525","volume-title":"Proc. of the International Florida AI Research Society Conference","author":"Bart\u00e1k","year":"2008"},{"key":"S1471068411000615_ref20","unstructured":"Sauro L. , Gerbrandy J. , van der Hoek W. and Wooldridge M. 2006. Reasoning about action and cooperation. See Nakashima et al. (2006), 185\u2013192."},{"key":"S1471068411000615_ref14","doi-asserted-by":"publisher","DOI":"10.1002\/0470841818"},{"key":"S1471068411000615_ref2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"S1471068411000615_ref4","doi-asserted-by":"publisher","DOI":"10.1145\/63334.63337"},{"key":"S1471068411000615_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00031-X"},{"key":"S1471068411000615_ref23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems: Theory and Implementation","author":"Subrahmanian","year":"2000"},{"key":"S1471068411000615_ref11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"S1471068411000615_ref24","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/1082473.1082497","volume-title":"Proc. AAMAS","author":"van der Hoek","year":"2005"},{"key":"S1471068411000615_ref21","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-02846-5_13","volume-title":"Proc. of the International Conference on Logic Programming","author":"Son","year":"2009"},{"key":"S1471068411000615_ref13","unstructured":"Gerbrandy J. 2006. Logics of propositional control. In Nakashima et al. (2006), 193\u2013200."},{"key":"S1471068411000615_ref9","first-page":"423","volume-title":"Proc. LPNMR","author":"Dovier","year":"2009"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068411000615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T08:52:24Z","timestamp":1744188744000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068411000615\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,24]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["S1471068411000615"],"URL":"https:\/\/doi.org\/10.1017\/s1471068411000615","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2012,9,24]]}}}