{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:46Z","timestamp":1777299586203,"version":"3.51.4"},"reference-count":223,"publisher":"Maximum Academic Press","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"content-version":"unspecified","delay-in-days":308,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2018]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>In this paper, we discuss the potential role of answer set programming (ASP) in the context of approaches to the development of agents and multi-agent systems especially in the realm of Computational Logic. After shortly recalling the main (computational-logic-based) agent-oriented frameworks, we introduce ASP; then, we discuss the usefulness of a potential integration of the two paradigms in a modular heterogeneous framework, and the feasibility of such integration. This also in the more general view of improving and empowering flexibility of agent-oriented frameworks. Relevant literature will be mentioned and discussed. Possible future directions and potential developments will be outlined.<\/jats:p>","DOI":"10.1017\/s0269888918000164","type":"journal-article","created":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T05:56:56Z","timestamp":1541397416000},"source":"Crossref","is-referenced-by-count":13,"title":["Answer set programming and agents"],"prefix":"10.48130","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-6124","authenticated-orcid":false,"given":"Abeer","family":"Dyoub","sequence":"first","affiliation":[]},{"given":"Stefania","family":"Costantini","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9521-4711","authenticated-orcid":false,"given":"Giovanni","family":"De Gasperis","sequence":"additional","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"S0269888918000164_ref80","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/8.3.233"},{"key":"S0269888918000164_ref75","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30578-1_13"},{"key":"S0269888918000164_ref70","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"S0269888918000164_ref69","unstructured":"Costantini S. & Tocchio A. 2008. DALI: an architecture for intelligent logical agents. In AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 13\u201318. AAAI."},{"key":"S0269888918000164_ref64","unstructured":"Costantini S. & Formisano A. 2016. Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules. In Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, Revised Selected Papers, Lecture Notes in Computer Science 10003, 104\u2013121."},{"key":"S0269888918000164_ref63","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2013.798997"},{"key":"S0269888918000164_ref160","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2010.05.006"},{"key":"S0269888918000164_ref59","doi-asserted-by":"crossref","unstructured":"Costantini S. , De Gasperis G. & Nazzicone G. 2015. Exploration of unknown territory via DALI agents and ASP modules. In Distributed Computing and Artificial Intelligence, 12th International Conference, DCAI 2015, S. Omatu, Q. M. Malluhi, S. Rodr\u00edguez-Gonz\u00e1lez, G. Bocewicz, E. Bucciarelli, G. Giulioni and F. Iqba (eds), Advances in Intelligent Systems and Computing 373, 285\u2013292. Springer.","DOI":"10.1007\/978-3-319-19638-1_33"},{"key":"S0269888918000164_ref48","unstructured":"Coen M. H. 1994. Sodabot: a software agent environment and construction system. In Proceedings of the 12th National Conference on Artificial Intelligence, Volume 2, 1433. AAAI Press\/MIT Press."},{"key":"S0269888918000164_ref45","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90032-9"},{"key":"S0269888918000164_ref39","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183528"},{"key":"S0269888918000164_ref37","unstructured":"Brewka G. , Eiter T. , Fink M. & Weinzierl A. 2011b. Managed multi-context systems. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, T. Walsh (ed.), 786\u2013791. IJCAI\/AAAI."},{"key":"S0269888918000164_ref36","unstructured":"Brewka G. , Eiter T. & Fink M. 2011a. Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources. In Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, M. Balduccini and T. C. Son (eds), Lecture Notes in Computer Science 6565. Springer, 233\u2013258."},{"key":"S0269888918000164_ref35","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00284.x"},{"key":"S0269888918000164_ref105","first-page":"56","article-title":"Visual querying and application programming interface for an ASP-based ontology language","volume":"7","author":"Gallucci","year":"2007","journal-title":"Proceedings of SEA"},{"key":"S0269888918000164_ref56","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00290-9"},{"key":"S0269888918000164_ref30","unstructured":"Bordini R. H. & H\u00fcbner J. F. 2006. BDI agent programming in AgentSpeak using Jason (tutorial paper). In Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, Revised Selected and Invited Papers, F. Toni and P. Torroni (eds), LNCS 3900. Springer, 143\u2013164."},{"key":"S0269888918000164_ref29","first-page":"33","article-title":"A survey of programming languages and platforms for multi-agent systems","volume":"30","author":"Bordini","year":"2006","journal-title":"Informatica (Slovenia)"},{"key":"S0269888918000164_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_12"},{"key":"S0269888918000164_ref19","doi-asserted-by":"crossref","unstructured":"Baral C. , Gelfond G. , Son T. C. & Pontelli E. 2010. Using answer set programming to model multi-agent scenarios involving agents\u2019 knowledge about other\u2019s knowledge. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: Volume 1, 259\u2013266. International Foundation for Autonomous Agents and Multiagent Systems.","DOI":"10.65109\/UZMV3027"},{"key":"S0269888918000164_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"S0269888918000164_ref12","unstructured":"Balduccini M. 2007 b. Modules and signature declarations for a-prolog: progress report. In Workshop on Software Engineering for Answer Set Programming (SEA\u201907), 41\u201355."},{"key":"S0269888918000164_ref6","unstructured":"Anderson J. R. & Lebiere C. 1998. The Atomic Components of Thought. Lawrence Erlbaum Associates."},{"key":"S0269888918000164_ref5","unstructured":"Amendola G. , Greco G. , Leone N. & Veltri P. 2016. Modeling and reasoning about NTU games via answer set programming. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, 38\u201345. IJCAI\/AAAI Press, July 9\u201315."},{"key":"S0269888918000164_ref4","unstructured":"Ambros-Ingerson J. A. & Steel S. 1988. Integrating planning, execution and monitoring. In Proceedings of the 7th National Conference on Artificial Intelligence, 83\u201388, August 21\u201326."},{"key":"S0269888918000164_ref2","first-page":"14","article-title":"A survey of agent-oriented software engineering paradigm: towards its industrial acceptance","volume":"1","author":"Akbari","year":"2010","journal-title":"Journal of Computer Engineering Research"},{"key":"S0269888918000164_ref72","unstructured":"Dastani M. 2008. 2APL: a practical agent programming language, Autonomous Agents and Multi-Agent Systems 16(3), 214\u2013248."},{"key":"S0269888918000164_ref129","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2810"},{"key":"S0269888918000164_ref203","unstructured":"Son T. C. , Pontelli E. , Gelfond M. & Balduccini M. 2016. An answer set programming framework for reasoning about truthfulness of statements by agents. In Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016, OASICS 52, 8:1\u20138:4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik."},{"key":"S0269888918000164_ref187","volume-title":"Computation and Cognition","author":"Pylyshyn","year":"1990"},{"key":"S0269888918000164_ref158","doi-asserted-by":"publisher","DOI":"10.1162\/artl.1993.1.1_2.135"},{"key":"S0269888918000164_ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"S0269888918000164_ref91","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.012"},{"key":"S0269888918000164_ref52","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002589"},{"key":"S0269888918000164_ref180","unstructured":"Oikarinen E. 2008. Modularity in Answer Set Programs. PhD thesis, Helsinki University of Technology."},{"key":"S0269888918000164_ref23","unstructured":"Bauters K. 2011 b. Modeling negotiation using multi-focused answer sets. In 2011 European Summer School in Logic, Language and Information (ESSLLI 2011): Student session, 25\u201333."},{"key":"S0269888918000164_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39387-2_2"},{"key":"S0269888918000164_ref73","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888915000077"},{"key":"S0269888918000164_ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02846-5_16"},{"key":"S0269888918000164_ref156","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"S0269888918000164_ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51676-9_10"},{"key":"S0269888918000164_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S0269888918000164_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9026-1"},{"key":"S0269888918000164_ref175","first-page":"241","volume-title":"Annals of Mathematics and Artificial Intelligence","volume":"25","author":"Niemel\u00e4","year":"1999"},{"key":"S0269888918000164_ref196","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008727601100"},{"key":"S0269888918000164_ref50","unstructured":"Cort\u00e9s U. , Tolchinsky P. , Nieves J. , L\u00f3pez-Navidad A. & Caballero F. 2005. Arguing the discard of organs for tranplantation in CARREL In CATAI 2005, 93\u2013105."},{"key":"S0269888918000164_ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00259-L"},{"key":"S0269888918000164_ref77","unstructured":"De Vos M. , Cliffe O. , Watson R. , Crick T. , Padget J. A. , Needham J. & Brain M. 2005. T-laima: answer set programming for modelling agents with trust. In EUMAS, Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten, 126\u2013136."},{"key":"S0269888918000164_ref24","unstructured":"Bauters K. , Janssen J. , Schockaert S. , De Cock M. & Vermeir D. 2010. Communicating answer set programs. In 26th International Conference of Logic Programming (ICLP 2010), 7, 34\u201343. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik."},{"key":"S0269888918000164_ref66","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45757-7_1"},{"key":"S0269888918000164_ref10","unstructured":"Baldoni M. , Baroglio C. , Mascardi V. , Omicini A. & Torroni P. 2010. Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? In A 25-Year Perspective on Logic Programming, Dovier, A. & Pontelli, E. (eds). Springer-Verlag, 204\u2013230."},{"key":"S0269888918000164_ref167","unstructured":"Miller D. 1986. A theory of modules for logic programming. In SLP, 106\u2013114. IEEE-CS."},{"key":"S0269888918000164_ref206","unstructured":"Tari L. , Baral C. & Anwar S. 2005. A language for modular answer set programming: application to ACC tournament scheduling. In Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd International ASP\u201905 Workshop, CEUR Workshop Proceedings 142, CEUR-WS.org."},{"key":"S0269888918000164_ref97","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014005"},{"key":"S0269888918000164_ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30227-8_57"},{"key":"S0269888918000164_ref218","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning About Rational Agents","author":"Wooldridge","year":"2000"},{"key":"S0269888918000164_ref149","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_1"},{"key":"S0269888918000164_ref176","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45241-9_12"},{"key":"S0269888918000164_ref224","volume-title":"Heterogeneous agent systems","author":"Dix","year":"2000"},{"key":"S0269888918000164_ref186","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"S0269888918000164_ref173","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-170150-5.50016-0"},{"key":"S0269888918000164_ref58","unstructured":"Costantini S. & De Gasperis G. 2015. Exchanging data and ontological definitions in multi-agent-contexts systems. In Challenge+DC@RuleML, CEUR Workshop Proceedings 1417. CEUR-WS.org."},{"key":"S0269888918000164_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/11546207_25"},{"key":"S0269888918000164_ref137","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"S0269888918000164_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24609-1_3"},{"key":"S0269888918000164_ref111","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S0269888918000164_ref38","unstructured":"Brewka G. , Ellmauthaler S. & P\u00fchrer J. 2014. Multi-context systems for reactive reasoning in dynamic environments. In ECAI 2014, Proceedings of the 21st European Conference on Artificial Intelligence, T. Schaub (ed.), 159\u2013164. IJCAI\/AAAI."},{"key":"S0269888918000164_ref104","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75289"},{"key":"S0269888918000164_ref68","unstructured":"Costantini S. & Tocchio A. 2005. Learning by knowledge exchange in logical agents. In WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d: Simulation and Formal Analysis of Complex Systems, F. D. Paoli, E. Merelli and A. Omicini (eds). Pitagora Editrice Bologna, 1\u20138."},{"key":"S0269888918000164_ref20","unstructured":"Baral C. & Gelfond M. 2000. Reasoning agents in dynamic domains. In Logic-Based Artificial Intelligence, van der Hoek, W., Kaminka, G. A., Lesp\u00e9rance, Y., Luck, M. & Sen, S. (eds). Springer, 257\u2013279."},{"key":"S0269888918000164_ref166","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.104.1.3"},{"key":"S0269888918000164_ref76","unstructured":"De Gasperis G. , Costantini S. & Nazzicone G. 2014. Dali multi agent systems framework, doi 10.5281\/zenodo.11042, DALI GitHub Software Repository. DALI. http:\/\/github.com\/AAAI-DISIM-UnivAQ\/DALI"},{"key":"S0269888918000164_ref204","unstructured":"Sridharan M. 2016. Towards an architecture for representation, reasoning and learning in human-robot collaboration. In 2016 AAAI Spring Symposium Series."},{"key":"S0269888918000164_ref172","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5605.003.0003","volume-title":"Learning, Development, and Production Systems","author":"Neches","year":"1987"},{"key":"S0269888918000164_ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24206-9_3"},{"key":"S0269888918000164_ref210","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74610-2_6"},{"key":"S0269888918000164_ref46","unstructured":"Castellucci A. , Ianni G. , Vasile D. & Costa S. 2001. Searching and surfing the web using a semi-adaptive meta-engine. In 2001 International Symposium on Information Technology (ITCC 2001), 416\u2013420. IEEE Computer Society, April 2\u20134."},{"key":"S0269888918000164_ref106","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000554"},{"key":"S0269888918000164_ref32","volume-title":"Abstract State Machines. A Method for High-Level System Design and Analysis","author":"B\u00f6rger","year":"2003"},{"key":"S0269888918000164_ref128","unstructured":"JADE website 2016. Available at http:\/\/jade.tilab.com\/"},{"key":"S0269888918000164_ref16","unstructured":"Balduccini M. , Regli W. C. & Nguyen D. N. 2014. An ASP-based architecture for autonomous UAVs in dynamic environments: Progress report, CoRR abs\/1405.1124."},{"key":"S0269888918000164_ref14","unstructured":"Balduccini M. & Gelfond M. 2008. The AAA architecture: an overview. In Architectures for Intelligent Theory-Based Agents, Papers from the 2008 AAAI Spring Symposium, Technical Report SS-08-02, 1\u20136. AAAI, March 26\u201328."},{"key":"S0269888918000164_ref98","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49057-4_15"},{"key":"S0269888918000164_ref140","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031739"},{"key":"S0269888918000164_ref108","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03007-6"},{"key":"S0269888918000164_ref208","unstructured":"Togelius J. 2003. Evolution of the Layers in a Subsumption Architecture Robot Controller, Master\u2019s thesis, University of Sussex."},{"key":"S0269888918000164_ref7","unstructured":"Answer Set Programming Solvers 2016. Available at http:\/\/assat.cs.ust.hk; http:\/\/www.cs.utexas.edu\/users\/tag\/ccalc\/; https:\/\/potassco.org\/clasp\/; http:\/\/www.cs.utexas.edu\/users\/tag\/cmodels\/; http:\/\/www.cs.uky.edu\/ai\/; http:\/\/www.dlvsystem.com\/dlv\/; http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"S0269888918000164_ref197","unstructured":"R.Thomas S. 1993. PLACA, An Agent Oriented Programming Language. PhD thesis, Computer Science Department, Stanford University. Available as Technical Report STAN-CS-93-1487."},{"key":"S0269888918000164_ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_24"},{"key":"S0269888918000164_ref85","unstructured":"Erdem E. , Erdem Y. , Erdogan H. & \u00d6ztok U. 2011. Finding answers and generating explanations for complex biomedical queries. In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, W. Burgard and D. Roth, (eds). AAAI Press, August 7\u201311."},{"key":"S0269888918000164_ref139","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.01.008"},{"key":"S0269888918000164_ref194","doi-asserted-by":"publisher","DOI":"10.1017\/S147106841100007X"},{"key":"S0269888918000164_ref117","unstructured":"Gon\u00e7alves R. , Knorr M. & Leite J. 2014. Evolving bridge rules in evolving multi-context systems. In Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV. Proceedings, N. Bulling, L. W. N. van der Torre, S. Villata, W. Jamroga and W. W. Vasconcelos (eds), 52\u201369."},{"key":"S0269888918000164_ref61","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp071"},{"key":"S0269888918000164_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69619-3_4"},{"key":"S0269888918000164_ref99","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.2007.00295.x"},{"key":"S0269888918000164_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21311-3_4"},{"key":"S0269888918000164_ref95","doi-asserted-by":"publisher","DOI":"10.1109\/2.144395"},{"key":"S0269888918000164_ref146","unstructured":"Leite J.-A. 2003. Evolving knowledge bases: specification and semantics, Frontiers in Artificial Intelligence and Applications, 81. IOS Press."},{"key":"S0269888918000164_ref34","volume-title":"Intention, Plans, and Practical Reason","author":"Bratman","year":"1999"},{"key":"S0269888918000164_ref31","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"Bordini","year":"2007"},{"key":"S0269888918000164_ref189","unstructured":"Rao A. S. & Georgeff M. 1991. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR\u201991), 473\u2013484. Morgan Kaufmann."},{"key":"S0269888918000164_ref25","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000561"},{"key":"S0269888918000164_ref126","unstructured":"Ianni G. , Calimeri F. , Lio V. & Galizia S. 2003. Reasoning about the semantic web using answer set programming. In Proceedings of the 2003 Joint Conference on Declarative Programming, AGP-2003, F. Buccafurri (ed.), 324\u2013336."},{"key":"S0269888918000164_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9082-1"},{"key":"S0269888918000164_ref82","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"S0269888918000164_ref200","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90034-9"},{"key":"S0269888918000164_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_28"},{"key":"S0269888918000164_ref26","doi-asserted-by":"publisher","DOI":"10.1613\/jair.4424"},{"key":"S0269888918000164_ref87","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000598"},{"key":"S0269888918000164_ref79","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44525-0_11"},{"key":"S0269888918000164_ref131","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010090405266"},{"key":"S0269888918000164_ref123","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44631-1_16"},{"key":"S0269888918000164_ref49","first-page":"32","article-title":"Trial by fire: understanding the design requirements for agents in complex environments","volume":"10","author":"Cohen","year":"1989","journal-title":"AI Magazine"},{"key":"S0269888918000164_ref201","unstructured":"Sloman A. & Logan B. 1998. Architectures and tools for human-like agents. In Proceedings of the 2nd European Conference on Cognitive Modelling, 58, 65. University of Nottingham Press."},{"key":"S0269888918000164_ref138","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031846"},{"key":"S0269888918000164_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"S0269888918000164_ref60","unstructured":"Costantini S. , De Gasperis G. , Pitoni V. & Salutari A. 2017. DALI: a multi agent system framework for the web, cognitive robotic and complex event processing. In Proceedings of the 32nd Italian Conference on Computational Logic, CEUR Workshop Proceedings 1949, 286\u2013300. CEUR-WS.org. http:\/\/ceur-ws.org\/Vol-1949\/CILCpaper05.pdf"},{"key":"S0269888918000164_ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45628-7_21"},{"key":"S0269888918000164_ref78","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000034524.89865.d2"},{"key":"S0269888918000164_ref81","unstructured":"Duch W. , Oentaryo R. J. & Pasquier M. 2008. Cognitive architectures: Where do we go from here? In AGI Conference, 171, 122\u2013136. IOS Press."},{"key":"S0269888918000164_ref83","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63255-7_22"},{"key":"S0269888918000164_ref86","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"S0269888918000164_ref88","unstructured":"Erdem E. , Patoglu V. & Saribatur Z. G. 2015. Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In IEEE International Conference on Robotics and Automation, ICRA 2015, 2007\u20132013. IEEE, May 26\u201330."},{"key":"S0269888918000164_ref89","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000525"},{"key":"S0269888918000164_ref90","unstructured":"Etzioni O. , Lesh N. & Segal R. 1994. Building Softbots for Unix (Preliminary Report). Technical report. AAAI Press."},{"key":"S0269888918000164_ref92","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_12"},{"key":"S0269888918000164_ref93","unstructured":"Febbraro O. , Leone N. , Grasso G. & Ricca F. 2012. JASP: a framework for integrating answer set programming with java. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012. AAAI Press, June 10\u201314."},{"key":"S0269888918000164_ref100","unstructured":"Formisano A. & Petturiti D. 2010. RASP and P-RASP: an implementation. http:\/\/www.dmi.unipg.it\/formis\/raspberry\/"},{"key":"S0269888918000164_ref101","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013570"},{"key":"S0269888918000164_ref102","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.8"},{"key":"S0269888918000164_ref103","unstructured":"Friedrich G. , Ryabokon A. , Falkner A. A. , Haselb\u00f6ck A. , Schenner G. & Schreiner H. 2011. (Re)configuration based on model generation. In Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, C. Drescher, I. Lynce and R. Treinen (eds), EPTCS 65, 26\u201335, September 12."},{"key":"S0269888918000164_ref107","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27775-0_2"},{"key":"S0269888918000164_ref109","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124"},{"key":"S0269888918000164_ref110","unstructured":"Gelfond M. & Lifschitz V. 1988. The stable model semantics for logic programming. In Proceedings of the 5th International Conference and Symposium on Logic Programming, R. Kowalski and K. Bowen (eds), 1070\u20131080. MIT Press."},{"key":"S0269888918000164_ref113","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49057-4_1"},{"key":"S0269888918000164_ref114","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2009.05.006"},{"key":"S0269888918000164_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.04.008"},{"key":"S0269888918000164_ref115","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90001-9"},{"key":"S0269888918000164_ref116","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"S0269888918000164_ref118","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39666-3_3"},{"key":"S0269888918000164_ref119","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.03.016"},{"key":"S0269888918000164_ref120","unstructured":"Havur G. , Ozbilgin G. , Erdem E. & Patoglu V. 2014. Geometric rearrangement of multiple movable objects on cluttered surfaces: a hybrid reasoning approach. In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, 445\u2013452. IEEE, May 31 to June 7."},{"key":"S0269888918000164_ref121","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79043-3_10"},{"key":"S0269888918000164_ref122","doi-asserted-by":"crossref","unstructured":"Hindriks K. V. , De Boer F. S. , Van der Hoek W. & Meyer J.-J. C. 1999. Agent programming in 3APL, Autonomous Agents and Multi-Agent Systems 2(4): 357\u2013401.","DOI":"10.1023\/A:1010084620690"},{"key":"S0269888918000164_ref124","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOSE.2007.016266"},{"key":"S0269888918000164_ref125","first-page":"197","article-title":"Intelligent anticipated exploration of web sites","volume":"14","author":"Ianni","year":"2001","journal-title":"AI Communications"},{"key":"S0269888918000164_ref127","unstructured":"Ianni G. , Ielpa G. , Pietramala A. , Santoro M. C. & Calimeri F. 2004. Enhancing answer set programming with templates. In 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Proceedings, 233\u2013239."},{"key":"S0269888918000164_ref130","first-page":"289","volume-title":"International Journal of Intelligent and Cooperative Information Systems, World Scientific","volume":"2","author":"Jennings","year":"1993"},{"key":"S0269888918000164_ref133","doi-asserted-by":"publisher","DOI":"10.1145\/122344.122361"},{"key":"S0269888918000164_ref134","unstructured":"Kakas A. C. , Mancarella P. , Sadri F. , Stathis K. & Toni F. 2004. The KGP model of agency. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, R. L. de M\u00e1ntaras and L. Saitta (eds), 33\u201337. IOS Press."},{"key":"S0269888918000164_ref135","unstructured":"Kautz H. A. & Selman B. 1992. Planning as satisfiability. In ECAI, 359\u2013363."},{"key":"S0269888918000164_ref136","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2065.001.0001","volume-title":"Concepts, Kinds, and Cognitive Development","author":"Keil","year":"1989"},{"key":"S0269888918000164_ref141","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7688.001.0001"},{"key":"S0269888918000164_ref142","unstructured":"Laird J. E. 2008. Extending the SOAR cognitive architecture. In Proceedings of the First Artificial General Intelligence Conference, 224\u2013235."},{"key":"S0269888918000164_ref143","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90050-6"},{"key":"S0269888918000164_ref22","unstructured":"Bauters K. 2011 a. Modeling coalition formation using multi-focused answer sets. In Proceedings of ESSLLI, 11, 25\u201333."},{"key":"S0269888918000164_ref188","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031845"},{"key":"S0269888918000164_ref144","doi-asserted-by":"crossref","unstructured":"Langley P. 2005. An adaptive architecture for physical agents. In The 2005 IEEE\/WIC\/ACM International Conference on Web Intelligence, 2005. Proceedings, 18\u201325. IEEE.","DOI":"10.1109\/WI.2005.24"},{"key":"S0269888918000164_ref145","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2006.07.004"},{"key":"S0269888918000164_ref147","doi-asserted-by":"crossref","unstructured":"Leite J. , Alferes J. J. & Mito B. 2009. Resource allocation with answer-set programming. In 8th International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS 2009, Proceedings, C. Sierra and C. Castelfranchi and K. S. Decker and J. Sim\u00e3o Sichman (eds), 649\u2013656. IFAAMAS.","DOI":"10.65109\/KZQY4266"},{"key":"S0269888918000164_ref148","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45448-9_11"},{"key":"S0269888918000164_ref150","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21768-0_10"},{"key":"S0269888918000164_ref151","unstructured":"Lierler Y. & Truszczy\u0144ski M. 2013. Modular answer set solving, Late-Breaking Developments in the Field of Artificial Intelligence, WS-13-17. AAAI Press."},{"key":"S0269888918000164_ref152","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"S0269888918000164_ref153","unstructured":"Lifschitz V. & Ren W. 2006. A modular action description language. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, 6, 853\u2013859. AAAI Press."},{"key":"S0269888918000164_ref154","unstructured":"Lifschitz V. & Turner H. 1994. Splitting a logic program. In Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, P. V. Hentenryck (ed.), 23\u201337. MIT Press."},{"key":"S0269888918000164_ref155","first-page":"186","article-title":"First order predicate logic with generalized quantifiers","volume":"32","author":"Lindstr\u00f6m","year":"1966","journal-title":"Theoria, Wiley Online Library"},{"key":"S0269888918000164_ref157","doi-asserted-by":"publisher","DOI":"10.1145\/122344.122367"},{"key":"S0269888918000164_ref159","unstructured":"Mancarella P. & Pedreschi D. 1988. An algebra of logic programs. In Logic Programming, Proceedings of the Fifth International Conference and Symposium, 1006\u20131023. MIT Press."},{"key":"S0269888918000164_ref161","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_36"},{"key":"S0269888918000164_ref162","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S0269888918000164_ref165","volume-title":"Introduction to the Theory of Programming Languages","author":"Meyer","year":"1990"},{"key":"S0269888918000164_ref169","doi-asserted-by":"publisher","DOI":"10.4064\/fm-44-1-12-36"},{"key":"S0269888918000164_ref171","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/j.jal.2008.10.001","article-title":"Hypothesizing about signaling networks","volume":"7","author":"Nam","year":"2009","journal-title":"Journal of Applied Logic"},{"key":"S0269888918000164_ref174","volume-title":"Unified Theories of Cognition","author":"Newell","year":"1990"},{"key":"S0269888918000164_ref177","unstructured":"Nov\u00e1k P. 2008. An Open Agent Architecture: Fundamentals. Technical Report No. IfI-07-10, Department of Informatics, Clausthal University of Technology (November 2007)."},{"key":"S0269888918000164_ref178","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03278-3_5"},{"key":"S0269888918000164_ref181","unstructured":"O\u2019Keefe R. A. 1985. Towards an algebra for constructing logic programs. In Proceedings of the 1985 Symposium on Logic Programming, 152\u2013160. IEEE-CS."},{"key":"S0269888918000164_ref182","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44564-1_12"},{"key":"S0269888918000164_ref184","doi-asserted-by":"publisher","DOI":"10.1109\/64.546579"},{"key":"S0269888918000164_ref190","unstructured":"Rao A. S. & Georgeff M. 1995. BDI agents: from theory to practice. in Proceedings of the First International Conference on Multiagent Systems ICMAS95, V. R. Lesser and L. Gasser (eds), 312\u2013319. The MIT Press."},{"key":"S0269888918000164_ref191","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"S0269888918000164_ref192","unstructured":"Ricca F. 2003. The DLV java wrapper. In APPIA-GULP-PRODE, 263\u2013274. Citeseer."},{"key":"S0269888918000164_ref193","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-357","article-title":"A logic-based system for e-tourism","volume":"105","author":"Ricca","year":"2010","journal-title":"Fundamenta Informaticae"},{"key":"S0269888918000164_ref195","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71103-2_4"},{"key":"S0269888918000164_ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_20"},{"key":"S0269888918000164_ref198","first-page":"195","article-title":"Toward a unified catalog of implemented cognitive architectures","volume":"221","author":"Samsonovich","year":"2010","journal-title":"BICA"},{"key":"S0269888918000164_ref199","unstructured":"Shardlow N. 1990. Action and Agency in Cognitive Science, Master\u2019s thesis, Department of Psycology, University of Manchester."},{"key":"S0269888918000164_ref207","unstructured":"Tiihonen J. , Soininen T. , Niemel\u00e4 I. & Sulonen R. 2003. A practical tool for mass-customising configurable products. In DS 31: Proceedings of ICED 03, the 14th International Conference on Engineering Design."},{"key":"S0269888918000164_ref209","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000034530.72860.31"},{"key":"S0269888918000164_ref211","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69619-3_2"},{"key":"S0269888918000164_ref212","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160864"},{"key":"S0269888918000164_ref213","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1990.tb00128.x"},{"key":"S0269888918000164_ref214","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44564-1_14"},{"key":"S0269888918000164_ref42","unstructured":"Brustoloni J. C. 1991. Autonomous Agents: Characterization and Requirements, Technical report, Carnegie Mellon University."},{"key":"S0269888918000164_ref215","volume-title":"Planning and Decision-Making in Dynamic Domains","author":"Wood","year":"1993"},{"key":"S0269888918000164_ref132","unstructured":"Juneidi S. J. & Vouros G. A. 2004. Survey and evaluation of agent oriented software engineering. In IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, 2004, M. H. Hamza (ed.), 433\u2013440. IASTED\/ACTA Press."},{"key":"S0269888918000164_ref216","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19971026"},{"key":"S0269888918000164_ref217","unstructured":"Wooldridge M. 1999. Multiagent systems. In Multiagent Systems, G. Weiss, (ed.), chapter on Intelligent Agents, 27\u201377. MIT Press. http:\/\/dl.acm.org\/citation.cfm?id=305606.305607"},{"key":"S0269888918000164_ref219","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58855-8_1"},{"key":"S0269888918000164_ref220","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"},{"key":"S0269888918000164_ref221","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"S0269888918000164_ref222","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2422531"},{"key":"S0269888918000164_ref223","unstructured":"Zlog n.d. www.exeura.eu\/en\/solution\/customer-profiling"},{"key":"S0269888918000164_ref164","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068404002029"},{"key":"S0269888918000164_ref94","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20895-9_37"},{"key":"S0269888918000164_ref185","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-26350-0_6"},{"key":"S0269888918000164_ref96","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"S0269888918000164_ref183","doi-asserted-by":"crossref","unstructured":"Osorio M. , Zepeda C. , Nieves J. C. & Cort\u00e9s U. 2005. Inferring acceptable arguments with answer set programming. In Sixth Mexican International Conference on Computer Science (ENC) 2005), I198\u2013205. EEE Computer Society.","DOI":"10.1109\/ENC.2005.26"},{"key":"S0269888918000164_ref33","unstructured":"Bracciali A. , Demetriou N. , Endriss U. , Kakas A. , Lu W. , Mancarella P. , Sadri F. , Stathis K. , Terreni G. & Toni F. 2005. The KGP model of agency: computational model and prototype implementation. In Global Computing: IST\/FET Intl. Workshop, Revised Selected Papers, LNAI 3267, Springer-Verlag, 340\u2013367."},{"key":"S0269888918000164_ref21","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000517"},{"key":"S0269888918000164_ref65","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2010-356","article-title":"Extending and implementing RASP","volume":"105","author":"Costantini","year":"2010","journal-title":"Fundamenta Informaticae."},{"key":"S0269888918000164_ref112","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"S0269888918000164_ref163","unstructured":"Mascardi V. , Demergasso D. & Ancona D. 2005. Languages for programming BDI-style agents: an overview. In WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA\/TABOO Joint Workshop \u201cFrom Objects to Agents\u201d: Simulation and Formal Analysis of Complex Systems, F. D. Paoli, E. Merelli and A. Omicini (eds), 9\u201315. Pitagora Editrice Bologna."},{"key":"S0269888918000164_ref168","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"S0269888918000164_ref202","unstructured":"SOAR-Research-Group 2010. SOAR: a comparison with rule-based systems. http:\/\/sitemaker.umich.edu\/soar\/home"},{"key":"S0269888918000164_ref11","unstructured":"Balduccini M. 2007 a. Learning action descriptions with a-prolog: action language c. In AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, AAAI, Technical Report SS-07-05, 13\u201318."},{"key":"S0269888918000164_ref84","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-012-0119-x"},{"key":"S0269888918000164_ref74","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-26350-0_2"},{"key":"S0269888918000164_ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26184-3_5"},{"key":"S0269888918000164_ref170","doi-asserted-by":"publisher","DOI":"10.1142\/S021821579400003X"},{"key":"S0269888918000164_ref179","unstructured":"Nov\u00e1k P. & Dix J. 2008. Adding structure to agent programming languages. In Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers, M. Dastani, A. E. Fallah-Seghrouchni, A. Ricci and M. Winikoff (eds), Lecture Notes in Computer Science 4908, 140\u2013155. Springer."}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888918000164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:40:24Z","timestamp":1775259624000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888918000164\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":223,"alternative-id":["S0269888918000164"],"URL":"https:\/\/doi.org\/10.1017\/s0269888918000164","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"article-number":"e19"}}