{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T23:01:40Z","timestamp":1696892500709},"reference-count":49,"publisher":"Informa UK Limited","issue":"2-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Artificial Intelligence"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1080\/08839510500479496","type":"journal-article","created":{"date-parts":[[2006,3,31]],"date-time":"2006-03-31T02:43:44Z","timestamp":1143773024000},"page":"105-131","source":"Crossref","is-referenced-by-count":10,"title":["CRAFTING THE MIND OF PROSOCS AGENTS"],"prefix":"10.1080","volume":"20","author":[{"given":"Andrea","family":"Bracciali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulle","family":"Endriss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neophytos","family":"Demetriou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonis","family":"Kakas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenjin","family":"Lu Stathis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Stathis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","unstructured":"Global Computing, Future and Emerging Technologies,http:\/\/www.cordis.lu\/ist\/fetgc.htm ."},{"key":"CIT0002","unstructured":"3APL Platform User Guide,http:\/\/www.cs.uu.nl\/3apl\/download.html ."},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1080\/08839510500479546"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1109\/5254.757633"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Bellifemine , F. , A. Poggi , and G. Rimassa . 2001 . JADE: AFIPA2000 compliant agent development environment . In Proceedings of the Fifth International Conference on Autonomous Agents , pages 216 \u2013 217 . ACM Press .","DOI":"10.1145\/375735.376120"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"CIT0007","unstructured":"Bracciali , A. , N. Demetriou , U. Endriss , A. Kakas , W. Lu , P. Mancarella , F. Sadri , K. Stathis , G. Terreni , and F. Toni . 2004 . TheKGPmodel for global computing: Computational model and prototype implementation . In Post-Proceedings of the Global Computing 2004 Workshop LNCS 3267 , pages 342 \u2013 369 , Rovereto , Italy . Springer-Verlag ."},{"key":"CIT0008","unstructured":"Bracciali , A. and A. Kakas . 2004 . Frame consistency: Computing with frame explanations . In Proceedings of Non\u2013monotonic Reasoning 2004 , pages 79 \u2013 87 ."},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00284.x"},{"key":"CIT0010","doi-asserted-by":"crossref","unstructured":"Carlsson , M. , G. Ottosson , and B. Carlson . 1997 . An open-ended finite domain constraint solver . In Proceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics, and Programs LNCS 1292 , pages 191 \u2013 206 . Springer-Verlag .","DOI":"10.1007\/BFb0033845"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000031195.87297.d9"},{"key":"CIT0012","unstructured":"Dart , P. , E. Kazmierczak , M. Martelli , V. Mascardi , L. Sterling , V. S. Subrahmanian , and F. Zini . 1999 . Combining logical agents with rapid prototyping for engineering distributed applications . In Proceedings of 9th International Conference of Software Technology and Engineering (STEP'99) , Pittsburgh , Pennsylvania , USA . IEEE ."},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00031-X"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383782"},{"key":"CIT0015","unstructured":"Demetriou , N. and A. C. Kakas . 2003 . Argumentation with abduction . In Proceedings of the fourth Panhellenic Symposium on Logic , Thessaloniki , Greece , July 2003 ."},{"key":"CIT0016","unstructured":"Dimopoulos , Y. and A. C. Kakas . 1995 . Logic programming without negation as failure . In Logic Programming, Proceedings of the 1995 International Symposium , pages 369 \u2013 384 , Portland , Oregon , USA ."},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"CIT0018","first-page":"169","volume":"15","author":"Eiter T.","year":"2002","journal-title":"AI Communications"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Endriss , U. , P. Mancarella , F. Sadri , G. Terreni , and F. Toni . 2004 a. Abductive logic programming withCIFF: Implementation and Applications . In Proceedings of the Convegno Italiano di Logica Computazionale (CILC-2004) , University of Parma , Italy.","DOI":"10.1007\/978-3-540-30227-8_56"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Endriss , U. , P. Mancarella , F. Sadri , G. Terreni , and F. Toni . 2004b . Abductive logic programming withCIFF: System description . In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004) , LNCS 3229 , pages 680 \u2013 684 . Springer-Verlag .","DOI":"10.1007\/978-3-540-30227-8_56"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"Endriss , U. , P. Mancarella , F. Sadri , G. Terreni , and F. Toni . 2004 c. The CIFF proof procedure for abductive logic programming with constraints . In Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004) , LNCS 3229 , pages 31 \u2013 43 . Springer-Verlag .","DOI":"10.1007\/978-3-540-30227-8_6"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010084620690"},{"key":"CIT0024","unstructured":"JASON . 2004 . A Java-based AgentSpeak interpreter used with Saci for multi-agent distribution over the Net,http:\/\/jason.sourceforge.net\/ ."},{"key":"CIT0025","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"5","author":"Kakas A. C.","year":"1998"},{"key":"CIT0026","unstructured":"Kakas , A. , P. Mancarella , F. Sadri , K. Stathis , and F. Toni . 2004 . The KGP model of agency . In Proceedings of the 16th European Conference on Artificial Intelligence (ECAI'04) , pages 33 \u2013 37 . IOS Press ."},{"key":"CIT0027","doi-asserted-by":"crossref","unstructured":"Kakas , A. , P. Mancarella , F. Sadri , K. Stathis , and F. Toni . 2005 . Declarative agent control . In Computational Logic in Multi-Agent Systems: 5th International Workshop (CLIMA V) , LNCS 3487 , pages 96 \u2013 110 . Springer-Verlag .","DOI":"10.1007\/11533092_6"},{"key":"CIT0028","unstructured":"Kakas , A. C. , P. Mancarella , and P. M. Dung . 1994 . The acceptability semantics for logic programs . In Proceedings of the Eleventh International Conference on Logic Programming , pages 504 \u2013 519 , Santa Marherita Ligure , Italy . MIT Press ."},{"key":"CIT0029","doi-asserted-by":"crossref","unstructured":"Kakas , A. C. and P. Moraitis . ( 2003 ). Argumentation based decision making for autonomous agents . In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003) , pages 883 \u2013 890 , Melbourne , Victoria . ACM Press .","DOI":"10.1145\/860714.860717"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.4.515"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"CIT0033","first-page":"11","volume-title":"Software Tools for Developing Agents: Papers from the 1998 Workshop","author":"Logan B.","year":"1998"},{"key":"CIT0034","unstructured":"Lu , W. , N. Maudet , and K. Stathis . 2003 . Building socio-cognitive grids by combining peer-to-peer computing with computational logic . In Proceedings of 1st International Workshop on Socio-Cognitive Grids , pages 18 \u2013 22 ."},{"key":"CIT0035","doi-asserted-by":"crossref","unstructured":"Mancarella , P. , F. Sadri , G. Terreni , and F. Toni . 2005 . Planning partially for situated agents . In Computational Logic in Multi-Agent Systems: 5th International Workshop (CLIMA V) LNCS 3487 , pages 230 \u2013 248 . Springer-Verlag .","DOI":"10.1007\/11533092_14"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/9.2.245"},{"key":"CIT0037","doi-asserted-by":"crossref","unstructured":"Nwana , H. S. , D. T. Ndumu , L. C. Lee , and J. C. Collis . 1999 .ZEUS: A toolkit and approach for building distributed multi-agent systems . In Proceedings of the Third International Conference on Autonomous Agents (Agents'99) , pages 360 \u2013 361 , Seattle , Washington , USA . ACM Press .","DOI":"10.1145\/301136.301234"},{"key":"CIT0038","first-page":"76","volume":"3","author":"Pokahr A.","year":"2003","journal-title":"EXP \u2013 In Search of Innovation (Special Issue on JADE)"},{"key":"CIT0039","unstructured":"Poslad , S. , P. Buckle , and R. Hadingham . 2000 . The FIPA-OS agent platform: Open source for open standards . In Proceedings of Practical Applications of Intelligent Agents and Multi\u2013agent Systems'00 , pages 355 \u2013 368 ."},{"key":"CIT0040","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"Prakken H.","year":"1997","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CIT0041","doi-asserted-by":"crossref","unstructured":"Rao , A. S. 1996 . AgentSpeak(L):BDIagents speak out in a logical computable language . In Agents Breaking Away, Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96) , LNCS 1038 , pages 42 \u2013 55 . Eindhoven , The Netherlands . Springer-Verlag .","DOI":"10.1007\/BFb0031845"},{"key":"CIT0042","doi-asserted-by":"crossref","unstructured":"Ricordel , P. M. and Y. Demazeau . 2000 . From analysis to deployment: A multi-agent platform survey . In Engineering Societies in the Agents World, First International Workshop (ESAW 2000) , LNCS 1972 , pages 93 \u2013 105 . Springer-Verlag .","DOI":"10.1007\/3-540-44539-0_7"},{"key":"CIT0043","volume-title":"Agent Toolkits: A General Overview of the Market","author":"Serenko A.","year":"2002"},{"key":"CIT0044","unstructured":"Shanahan , M. P. 1989 . Prediction is deduction but explanation is abduction . In Proceedings of the 11th International Joint Conference on Artificial Intelligence , pages 1055 \u2013 1060 . Morgan Kaufmann ."},{"key":"CIT0045","doi-asserted-by":"crossref","unstructured":"Shanahan , M. 1997 . Event calculus planning revisited . In Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning LNCS 1348 , pages 390 \u2013 402 . Springer-Verlag .","DOI":"10.1007\/3-540-63912-8_101"},{"key":"CIT0046","volume-title":"Location-Aware SOCS: The Leaving San Vincenzo scenario","author":"Stathis K.","year":"2002"},{"key":"CIT0047","unstructured":"Stathis , K. , A. C. Kakas , W. Lu , N. Demetriou , U. Endriss , and A. Bracciali . 2004 .PROSOCS: A platform for programming software agents in computational logic . In Proceedings of the Fourth International Symposium \u201cFrom Agent Theory to Agent Implementation\u201d (AT2AI-4), in Cybernetics and Systems 2004 , 1\u00a0+\u00a02 : 523 \u2013 528 . Austrian Society for Cybernetic Studies ."},{"key":"CIT0048","doi-asserted-by":"crossref","unstructured":"Stathis , K. and F. Toni . 2004 . Ambient intelligence usingKGPagents . In Proceedings of 2nd European Symposium on Ambient Intelligence LNCS 3295 , pages 351 \u2013 362 . Springer-Verlag .","DOI":"10.1007\/978-3-540-30473-9_33"},{"key":"CIT0049","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogenous Active Agents","author":"Subrahmanian V. S.","year":"2000"}],"container-title":["Applied Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/08839510500479496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T12:58:27Z","timestamp":1586782707000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/08839510500479496"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":49,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["10.1080\/08839510500479496"],"URL":"https:\/\/doi.org\/10.1080\/08839510500479496","relation":{},"ISSN":["0883-9514","1087-6545"],"issn-type":[{"value":"0883-9514","type":"print"},{"value":"1087-6545","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}