{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T05:31:45Z","timestamp":1794375105627,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540241010","type":"print"},{"value":"9783540317944","type":"electronic"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31794-4_18","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T19:11:12Z","timestamp":1267384272000},"page":"340-367","source":"Crossref","is-referenced-by-count":28,"title":["The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation"],"prefix":"10.1007","author":[{"given":"A.","family":"Bracciali","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"N.","family":"Demetriou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"U.","family":"Endriss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Kakas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"W.","family":"Lu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Mancarella","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Sadri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Stathis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Terreni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Toni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Gorgias User Guide (2003), http:\/\/www.cs.ucy.ac.cy\/~nkd\/gorgias\/"},{"key":"18_CR2","unstructured":"Alberti, M., Bracciali, A., Chesani, F., Endriss, U., Gavanelli, M., Lu, W., Stathis, K., Torroni, P.: SOCS prototype. Technical report, SOCS Consortium (2003), Deliverable D9"},{"key":"18_CR3","first-page":"1","volume-title":"Proceedings of AAAI 1995 Fall Symposium on Rational Agency","author":"J. Bell","year":"1995","unstructured":"Bell, J.: A Planning Theory of Practical Rationality. In: Proceedings of AAAI 1995 Fall Symposium on Rational Agency, pp. 1\u20134. AAAI Press, Menlo Park (1995)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence\u00a093, 63\u2013101 (1997)","journal-title":"Artificial Intelligence"},{"key":"18_CR5","unstructured":"Bracciali, A., Demetriou, N., Endriss, U., Gavanelli, M., Kakas, A.C., Lamma, E., Mancarella, P., Mello, P., Moraitis, P., Sadri, F., Stathis, K., Terreni, G., Toni, F., Torroni, P.: Computational model for computees and societies of computees. Technical report, SOCS Consortium (2003), Deliverable D8"},{"key":"18_CR6","unstructured":"Bracciali, A., Kakas, A.: Frame consistency: Reasoning with explanations. In: Proceedings of the 10th International Workshop on \u201cNon-Monotonic Reasoning\u201d (NMR 2004), Whistler BC, Canada (2004)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/978-3-540-31794-4_17","volume-title":"Global Computing","author":"F. Chesani","year":"2005","unstructured":"Chesani, F., Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach to the specification and verification of agent societies. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 314\u2013339. Springer, Heidelberg (2005)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Clark, K.L.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"18_CR9","unstructured":"Dimopoulos, Y., Kakas, A.C.: Logic programming without negation as failure. In: Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, pp. 369\u2013384 (1995)"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-30227-8_6","volume-title":"Logics in Artificial Intelligence","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 31\u201343. Springer, Heidelberg (2004)"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Abductive logic programming with CIFF: implementation and applications. In: Proceedings CILC 2004, Convegno Italiano di Logica Computazionale (2004)","DOI":"10.1007\/978-3-540-30227-8_56"},{"issue":"2","key":"18_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming\u00a033(2), 151\u2013165 (1997)","journal-title":"Journal of Logic Programming"},{"key":"18_CR14","unstructured":"Haugeneder, H., Steiner, D., McCabe, F.: IMAGINE: A framework for building multi-agent systems. In: Deen, S.M. (ed.) Proceedings of the 1994 International Working Conference on Cooperating Knowledge Based Systems (CKBS 1994), DAKE Centre, University of Keele, UK, pp. 31\u201364 (1994)"},{"key":"18_CR15","unstructured":"Huang, Z., Eliens, A., de Bra, P.: An Architecture for Web Agents. In: Proceedings of EUROMEDIA 2001, SCS (2001)"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"key":"18_CR17","unstructured":"Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: A logic-based approach to model computees. Technical report, SOCS Consortium (2003), Deliverable D4"},{"key":"18_CR18","unstructured":"Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The KGP model of agency. In: Proceedings ECAI 2004 (to appear, 2004)"},{"key":"18_CR19","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"18_CR20","unstructured":"Kakas, A.C., Mancarella, P., Dung, P.M.: The acceptability semantics for logic programs. In: Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, pp. 504\u2013519 (1994)"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Kakas, A.C., Miller, R.: A simple declarative language for describing narratives with ations. Logic Programming\u00a031 (1997)","DOI":"10.1016\/S0743-1066(96)00138-0"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1145\/860575.860717","volume-title":"Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003)","author":"A.C. Kakas","year":"2003","unstructured":"Kakas, A.C., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, Victoria, pp. 883\u2013890. ACM Press, New York (2003)"},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1093\/logcom\/9.4.515","volume":"9","author":"A.C. Kakas","year":"1999","unstructured":"Kakas, A.C., Toni, F.: Computing argumentation in logic programming. Journal of Logic and Computation\u00a09, 515\u2013562 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"18_CR24","first-page":"591","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence","author":"A.C. Kakas","year":"2001","unstructured":"Kakas, A.C., van Nuffelen, B., Denecker, M.: A-System: Problem solving through abduction. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 2001, pp. 591\u2013596. Morgan Kaufmann Publishers, San Francisco (2001)"},{"issue":"3-4","key":"18_CR25","first-page":"275","volume":"4","author":"R.A. Kowalski","year":"1996","unstructured":"Kowalski, R.A., Toni, F.: Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation\u00a04(3-4), 275\u2013296 (1996)","journal-title":"Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation"},{"key":"18_CR26","volume-title":"Logic for Problem Solving","author":"R.A. Kowalski","year":"1979","unstructured":"Kowalski, R.A.: Logic for Problem Solving. North-Holland, Amsterdam (1979)"},{"key":"18_CR27","first-page":"1","volume-title":"Proceedings of the Symposium on Computational Logic","author":"R.A. Kowalski","year":"1990","unstructured":"Kowalski, R.A.: Problems and promises of computational logic. In: Proceedings of the Symposium on Computational Logic, pp. 1\u201336. Springer, Heidelberg (1990)"},{"issue":"1","key":"18_CR28","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"18_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd extended edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sartor, G.: A System for Defeasible Argumentation, with Defeasible Priorities, pp. 510\u2013524 (1996)","DOI":"10.1007\/3-540-61313-7_97"},{"key":"18_CR31","doi-asserted-by":"crossref","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics\u00a07(1) (1997)","DOI":"10.1080\/11663081.1997.10510900"},{"key":"18_CR32","unstructured":"Shanahan, M.P.: Prediction is deduction but explanation is abduction. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence, pp. 1055\u20131060 (1989)"},{"key":"18_CR33","volume-title":"Solving the Frame Problem","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem. MIT Press, Cambridge (1997)"},{"key":"18_CR34","unstructured":"SICStus Prolog user manual, release 3.8.4, Swedish Institute of Computer Science (2000)"},{"key":"18_CR35","unstructured":"Stathis, K., Child, C., Lu, W., Lekeas, G.K.: Agents and Environments. Technical report, SOCS Consortium, IST32530\/CITY\/005\/DN\/I\/a1 (2002)"},{"key":"18_CR36","unstructured":"Stathis, K., Kakas, A., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: M\u00fcller, J., Petta, P. (eds.) Proceedings of From Agent Theory to Agent Implementation (AT2AI-4 \u2013 EMCSR 2004 Session M), Vienna, Austria, pp. 523\u2013528 (2004)"},{"key":"18_CR37","first-page":"113","volume-title":"CKBS 1990 \u2014 Proceedings of the International Working Conference on Cooperating Knowledge Based Systems","author":"D.E. Steiner","year":"1991","unstructured":"Steiner, D.E., Haugeneder, H., Mahling, D.: Collaboration of knowledge bases via knowledge based collaboration. In: Deen, S.M. (ed.) CKBS 1990 \u2014 Proceedings of the International Working Conference on Cooperating Knowledge Based Systems, pp. 113\u2013133. Springer, Heidelberg (1991)"},{"key":"18_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-39173-8_10","volume-title":"Engineering Societies in the Agents World III","author":"F. Toni","year":"2003","unstructured":"Toni, F., Stathis, K.: Access-as-you-need: a computational logic framework for flexible resource access in artificial societies. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS, vol.\u00a02577, pp. 126\u2013140. Springer, Heidelberg (2003)"},{"key":"18_CR39","first-page":"282","volume-title":"Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS 2003)","author":"B. Traversat","year":"2003","unstructured":"Traversat, B., Abdelaziz, M., Doolin, D., Duigou, M., Hugly, J.C., Pouyoul, E.: Project JXTA-C: Enabling a web of things. In: Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS 2003), pp. 282\u2013287. IEEE Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Global Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31794-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T09:18:29Z","timestamp":1558862309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31794-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540241010","9783540317944"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31794-4_18","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b103251","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}