{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:08:39Z","timestamp":1758265719124},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2006,10,1]],"date-time":"2006-10-01T00:00:00Z","timestamp":1159660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comput Math Organiz Theor"],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1007\/s10588-006-9539-5","type":"journal-article","created":{"date-parts":[[2006,8,8]],"date-time":"2006-08-08T18:57:52Z","timestamp":1155063472000},"page":"101-126","source":"Crossref","is-referenced-by-count":31,"title":["Normative KGP agents"],"prefix":"10.1007","volume":"12","author":[{"given":"Fariba","family":"Sadri","sequence":"first","affiliation":[]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[]},{"given":"Francesca","family":"Toni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9539_CR1","first-page":"570","volume-title":"Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium From Agent Theory to Agent Implementation (AT2AI-4)","author":"M Alberti","year":"2004","unstructured":"Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2004) Compliance verification of agent interaction: a logic-based tool. In: Robert Trappl (ed) Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium \u201cFrom Agent Theory to Agent Implementation\u201d (AT2AI-4), Vienna, Austria, Austrian Society for Cybernetic Studies, pp 570\u2013575"},{"issue":"2","key":"9539_CR2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/5254.757633","volume":"14","author":"KA Arisha","year":"1999","unstructured":"Arisha KA, Ozcan F, Ross R, Subrahmanian VS, Eiter T, Kraus S (1999) IMPACT: a Platform for collaborating agents. IEEE Intell Syst 14(2):64\u201372","journal-title":"IEEE Intell Syst"},{"key":"9539_CR3","doi-asserted-by":"crossref","unstructured":"Artikis A, Pitt J (2001) A formal model of open agent societies. In: M\u00fcller J, Andre E, Sen S, Frasson C (eds) Proceedings of Conference on Autonomous Agents (AA), ACM Press, pp 192\u2013193","DOI":"10.1145\/375735.376108"},{"key":"9539_CR4","doi-asserted-by":"crossref","unstructured":"Artikis A, Pitt J, Sergot M (2002) Animated specifications of computational societies. In: Castelfranchi C, Johnson L (eds) Proceedings of Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), ACM Press, pp 1053\u20131062","DOI":"10.1145\/545056.545070"},{"key":"9539_CR5","doi-asserted-by":"crossref","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 for Global Computing: Computational Model and Prototype implementation. In Global Computing, LNCS. Springer-Verlag","DOI":"10.1007\/978-3-540-31794-4_18"},{"key":"9539_CR6","unstructured":"Brewka G (1994) Reasoning with priorities in default logic. In: Proceedings of AAAI-94, pp 940\u2013945"},{"key":"9539_CR7","doi-asserted-by":"crossref","unstructured":"Broersen J, Dastani M, Hulstijn J, Huang Z, van der Torre L (2001) The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: M\u00fcller, J\u00f6rg P. Andre, E. Sen, S. Frasson, C (eds) Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada. ACM Press, pp 9\u201316","DOI":"10.1145\/375735.375766"},{"key":"9539_CR8","doi-asserted-by":"crossref","unstructured":"Carabelea C, Boissier O, Castelfranchi C (2004) Using social power to enable agents to reason about being part of a group. In: Pre-proceedings of ESAW#04, Toulouse","DOI":"10.1007\/11423355_12"},{"key":"9539_CR9","unstructured":"Castelfranchi C, Dignum F, Jonker CM, Treur J (1999) Deliberative normative agents: Principles and architecture. In: Agent Theories, Architectures, and Languages, pp 364\u2013378"},{"key":"9539_CR10","unstructured":"Dastani M, van der Torre L (2004) Programming boid agents: a deliberation language for conflicts between mental attitudes and plans. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS#04)"},{"key":"9539_CR11","unstructured":"Demetriou N, Kakas AC, Torroni P (2004) Agent planning, negotiation and control of operation. In: European Conference on Artificial Intelligence (ECAI04)"},{"issue":"1","key":"9539_CR12","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F Dignum","year":"1999","unstructured":"Dignum F (1999) Autonomous agents with norms. Artificial Intelligence and Law 7(1):69\u201379","journal-title":"Artificial Intelligence and Law"},{"key":"9539_CR13","doi-asserted-by":"crossref","unstructured":"d\u2019Inverno M, Luck M (2003) Understanding agent systems, 2nd ed. Springer-Verlag","DOI":"10.1007\/978-3-662-10702-7"},{"key":"9539_CR14","volume-title":"Readings in agents","year":"1998","unstructured":"Huhns MN, Singh MP (eds) (1998) Readings in agents. Morgan Kaufmann, San Francisco, CA, USA"},{"key":"9539_CR15","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J Jaffar","year":"1994","unstructured":"Jaffar J, Maher MJ (1994) Constraint logic programming: a survey. J Logic Programm, 19-20:503\u2013582","journal-title":"J Logic Programm"},{"key":"9539_CR16","first-page":"275","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"AJI Jones","year":"1993","unstructured":"Jones AJI, Sergot MJ (1993) On the characterisation of law and computer systems: the normative systems perspective. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chicester pp 275\u2013307"},{"issue":"3","key":"9539_CR17","first-page":"429","volume":"4","author":"AJI Jones","year":"1996","unstructured":"Jones AJI, Sergot MJ (1996) A formal characterisation of institutionalised power. J IGPL pp 4(3):429\u2013445","journal-title":"J IGPL"},{"key":"9539_CR18","doi-asserted-by":"crossref","unstructured":"Kakas A, Mancarella P, Sadri F, Stathis K, Toni F (2004) Declarative agent control. In: Leite J, Torroni P (eds) Proceedings CLIMA#04, 5th International Workshop on Computational Logic in Multi-Agent Systems, Lisbon, Portugal","DOI":"10.1007\/11533092_6"},{"key":"9539_CR19","unstructured":"Kakas A, Mancarella P, Sadri F, Stathis K, Toni F (2004) The KGP model of agency. In: European Conference on Artificial Intelligence (ECAI04), pp 33\u201339"},{"key":"9539_CR20","doi-asserted-by":"crossref","unstructured":"Kakas AC, Kowalski RA, Toni F (1998) The role of abduction in logic programming. In Gabbay DM Hogger CJ, Robinson JA (eds) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, vol.5, pp 235\u2013324","DOI":"10.1093\/oso\/9780198537922.003.0007"},{"key":"9539_CR21","doi-asserted-by":"crossref","unstructured":"Kakas AC, Moraitis P (2003) Argumentation based decision making for autonomous agents. In: Rosenschein JS, Sandholm T, Wooldridge M, Yokoo M (eds) AAMAS 2003, Melbourne, Victoria, ACM, pp 883\u2013890","DOI":"10.1145\/860575.860717"},{"issue":"1","key":"9539_CR22","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"RA Kowalski","year":"1986","unstructured":"Kowalski RA, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4(1):67\u201395","journal-title":"New Gener Comput"},{"key":"9539_CR23","first-page":"275","volume":"4","author":"RA Kowalski","year":"1996","unstructured":"Kowalski RA, Toni F (1996) Abstract argumentation. Artificial Intell and Law Journal, Special Issue on Logical Models of Argumentation 4:275\u2013296","journal-title":"Artificial Intell and Law Journal, Special Issue on Logical Models of Argumentation"},{"key":"9539_CR24","unstructured":"Lopez y Lopez F, Luck M (2002) Towards a model of the dynamics of normative multi-agent systems. In: International workshop on Regulated Agent Based Social Systems: theories and applications (RASTA #02), pp 175\u2013193"},{"key":"9539_CR25","doi-asserted-by":"crossref","unstructured":"Lopez y Lopez F, Luck M (2004) A model of normative multi-agent systems and dynamic relationships. In Paolucci M, Lindemann G, Moldt D (eds) Regulated agent-based social systems, Lecture notes in AI, 2934, Springer, pp 259\u2013280","DOI":"10.1007\/978-3-540-25867-4_16"},{"key":"9539_CR26","unstructured":"Lopez y Lopez F, Luck M, d\u2019Inverno M (2002) Constraining autonomy through norms. In: Proceedings of the 1st Conference on Autonomous Agents and Multiagent Systems (AAMAS#01), pp 674\u2013681"},{"key":"9539_CR27","unstructured":"Lopez y Lopez F, Luck M, d\u2019Inverno M (2004) Normative agent reasoning in dynamic societies. In: Proceedings of the 3rd Conference on Autonomous Agents and Multiagent Systems (AAMAS#04), New York, pp 259\u2013280"},{"key":"9539_CR28","unstructured":"Julian A. Padget (ed) (2001) Collaboration between human and Artificial Societies: Coordination and Agent-based Distributed Computing. Springer, LNAI 1624"},{"key":"9539_CR29","doi-asserted-by":"crossref","unstructured":"Prakken H, Sartor G (1996) A system for defeasible argumentation, with defeasible priorities. In: Proceeding International Conference on Formal and Applied Practical Reasoning, vol. 1085 of LNAI, Springer, Verlag pp 510\u2013524.","DOI":"10.1007\/3-540-61313-7_97"},{"key":"9539_CR30","doi-asserted-by":"crossref","unstructured":"Prakken H and Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non-Classical Log, 7(1)","DOI":"10.1080\/11663081.1997.10510900"},{"key":"9539_CR31","unstructured":"Rao AS, Georgeff MP (1995) BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems, San Francisco"},{"key":"9539_CR32","unstructured":"Sadri F, Toni F (2005) Profiles of behaviour for logic-based agents. In: Proceedings of CLIMA VI"},{"key":"9539_CR33","unstructured":"Stathis K, Kakas A, Lu W, Demetriou N, Endriss U, Bracciali A (2004) PROSOCS: a platform for programming software agents in computational logic. In: M\u00fcller J, Petta P (eds) Proceedings of the Fourth International Symposium \u201cFrom Agent Theory to Agent Implementation\u201d, Vienna, Austria, April 13\u201316"},{"key":"9539_CR34","doi-asserted-by":"crossref","unstructured":"Toni F, Stathis K (2002) Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Proceedings of the Third International Workshop on Engineering Societies in the Agents World (ESAW#02), Lecture Notes in Artificial Intelligence. Springer-Verlag","DOI":"10.1007\/3-540-39173-8_10"}],"container-title":["Computational & Mathematical Organization Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-006-9539-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10588-006-9539-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10588-006-9539-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T12:34:18Z","timestamp":1683549258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10588-006-9539-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10]]},"references-count":34,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["9539"],"URL":"https:\/\/doi.org\/10.1007\/s10588-006-9539-5","relation":{},"ISSN":["1381-298X","1572-9346"],"issn-type":[{"value":"1381-298X","type":"print"},{"value":"1572-9346","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10]]}}}