{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T15:57:59Z","timestamp":1782575879941,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":187,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642143083","type":"print"},{"value":"9783642143090","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14309-0_10","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T13:09:58Z","timestamp":1277298598000},"page":"204-230","source":"Crossref","is-referenced-by-count":16,"title":["Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"OWL-S: Semantic markup for web services, http:\/\/www.w3.org\/Submission\/2004\/SUBM-OWL-S-20041122\/"},{"key":"10_CR2","unstructured":"Reasoning on the web with rules and semantics, network of excellence, http:\/\/rewerse.net"},{"key":"10_CR3","unstructured":"Rule interchange format. W3C, http:\/\/www.w3.org\/2005\/rules\/wiki\/RIF_Working_Group"},{"key":"10_CR4","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":"M. Alberti","year":"2005","unstructured":"Alberti, M., Chesani, F., 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)"},{"issue":"2-4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput. Logic\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"10_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-3-540-25932-9_13","volume-title":"Declarative Agent Languages and Technologies","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 243\u2013262. Springer, Heidelberg (2004)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"1288","DOI":"10.1145\/1160633.1160868","volume-title":"Proc. of AAMAS 2006","author":"N. Alechina","year":"2006","unstructured":"Alechina, N., Bordini, R.H., H\u00fcbner, J.F., Jago, M., Logan, B.: Belief revision for AgentSpeak agents. In: Proc. of AAMAS 2006, pp. 1288\u20131290. ACM, New York (2006)"},{"key":"10_CR9","volume-title":"Web Services","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)"},{"key":"10_CR10","unstructured":"Ancona, D., Mascardi, V., H\u00fcbner, J.F., Bordini, R.H.: Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. In: Proc. of AAMAS 2004, pp. 698\u2013705 (2004)"},{"key":"10_CR11","unstructured":"Appiani, E., Martelli, M., Mascardi, V.: A multi-agent approach to vehicle monitoring in motorway. Technical report, DISI \u2013 Universit\u00e0 di Genova. DISI TR-00-13. Presented at the poster session of the 2nd European Workshop on Advanced Video-based Surveillance Systems, AVBS 2001 (2000)"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/5254.757633","volume":"14","author":"K. Arisha","year":"1999","unstructured":"Arisha, K., Eiter, T., Kraus, S., Ozcan, F., Ross, R., Subrahmanian, V.S.: IMPACT: A platform for collaborating agents. IEEE Intelligent Systems\u00a014(2), 64\u201372 (1999)","journal-title":"IEEE Intelligent Systems"},{"issue":"1","key":"10_CR13","first-page":"53","volume":"70","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. JLAP, special issue on Web Services and Formal Methods\u00a070(1), 53\u201373 (2007)","journal-title":"JLAP, special issue on Web Services and Formal Methods"},{"issue":"4","key":"10_CR14","first-page":"247","volume":"2","author":"M. Baldoni","year":"2007","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Reasoning on choreographies and capability requirements. International Journal of BPIM\u00a02(4), 247\u2013261 (2007)","journal-title":"International Journal of BPIM"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1023\/B:AIRE.0000044296.89727.ff","volume":"22","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Baroglio, C., Patti, V.: Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions. Artificial Intelligence Review\u00a022, 3\u201339 (2004)","journal-title":"Artificial Intelligence Review"},{"key":"10_CR16","unstructured":"Baldoni, M., Baroglio, C., Patti, V., Schifanella, C.: Conservative re-use ensuring matches for service selection. In: Proc. of Sixth European Workshop on Multi-Agent Systems, EUMAS 2008, Bath, UK (December 2008)"},{"issue":"2-4","key":"10_CR17","first-page":"207","volume":"41","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Giordano, L., Martelli, A., Patti, V.: Programming Rational Agents in a Modal Action Logic. AMAI, Special issue on Logic-Based Agent Implementation\u00a041(2-4), 207\u2013257 (2004)","journal-title":"AMAI, Special issue on Logic-Based Agent Implementation"},{"key":"10_CR18","unstructured":"Baselice, S., Bonatti, P.A., Faella, M.: Policy language specification. Technical Report I2-D2, REWERSE network of excellence (2007)"},{"key":"10_CR19","unstructured":"Bazzocchi, L.: Lo SMAU scopre l\u2019intelligenza artificiale. Office Automation, 86\u201390 (November 1988), http:\/\/www.bazzocchi.com\/"},{"key":"10_CR20","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"F.L. Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley, Chichester (2007)"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1160633.1160938","volume-title":"AAMAS 2006","author":"S.S. Benfield","year":"2006","unstructured":"Benfield, S.S., Hendrickson, J., Galanti, D.: Making a strong business case for multiagent technology. In: AAMAS 2006, pp. 10\u201315. ACM, New York (2006)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/978-3-540-89982-2_76","volume-title":"Logic Programming","author":"P.A. Bonatti","year":"2008","unstructured":"Bonatti, P.A., De Coi, J.L., Olmedilla, D., Sauro, L.: Policy-driven negotiations and explanations: Exploiting logic-programming for trust management, privacy & security. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 779\u2013784. Springer, Heidelberg (2008)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"712","DOI":"10.1007\/11762256_51","volume-title":"The Semantic Web: Research and Applications","author":"P.A. Bonatti","year":"2006","unstructured":"Bonatti, P.A., Duma, C., Fuchs, N.E., Nejdl, W., Olmedilla, D., Peer, J., Shahmehri, N.: Semantic web policies \u2013 A discussion of requirements and research issues. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 712\u2013724. Springer, Heidelberg (2006)"},{"key":"10_CR24","unstructured":"Bonatti1, P.A., Coi, J.L.D., Olmedilla, D.: Protunes technical specifications. Technical Report I2-D12, REWERSE (2007)"},{"issue":"2","key":"10_CR25","first-page":"239","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. JAAMAS\u00a012(2), 239\u2013256 (2006)","journal-title":"JAAMAS"},{"key":"10_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in AgentSpeak using Jason (tutorial paper). In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 143\u2013164. Springer, Heidelberg (2006)"},{"key":"10_CR27","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M. (eds.): Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Chichester (2007)"},{"key":"10_CR28","unstructured":"Bozzo, L., Mascardi, V., Ancona, D., Busetta, P.: CooWS: Adaptive BDI agents meet service-oriented computing. In: Proc. of WWW\/Internet, pp. 205\u2013209 (2005)"},{"key":"10_CR29","unstructured":"Braubach, L., Pokahr, A., Lamersdorf, W.: Jadex: A short overview. In: Main Conference Net.ObjectDays 2004, pp. 195\u2013207 (2004)"},{"issue":"2","key":"10_CR30","first-page":"106","volume":"4","author":"D. Briola","year":"2009","unstructured":"Briola, D., Mascardi, V., Martelli, M.: Intelligent agents that monitor, diagnose and solve problems: Two success stories of industry-university collaboration. Journal of Information Assurance and Security\u00a04(2), 106\u2013116 (2009)","journal-title":"Journal of Information Assurance and Security"},{"issue":"1","key":"10_CR31","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"Brogi, A., Ciancarini, P.: The concurrent language, Shared Prolog. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a013(1), 99\u2013123 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"10_CR32","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-88833-8_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"V. Bryl","year":"2008","unstructured":"Bryl, V., Mello, P., Montali, M., Torroni, P., Zannone, N.: B-tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modelling and verification. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol.\u00a05056, pp. 157\u2013176. Springer, Heidelberg (2008)"},{"key":"10_CR33","unstructured":"Burmeister, B., Arnold, M., Copaciu, F., Rimassa, G.: BDI-agents for agile goal-oriented business processes. In: Proc. of AAMAS 2008, pp. 37\u201344. IFAAMAS (2008)"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/11837862_22","volume-title":"Business Process Management Workshops","author":"B. Burmeister","year":"2006","unstructured":"Burmeister, B., Steiert, H.-P., Bauer, T., Baumg\u00e4rtel, H.: Agile processes through goal- and context-oriented business process modeling. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 217\u2013228. Springer, Heidelberg (2006)"},{"key":"10_CR35","unstructured":"Busetta, P., Ronnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents \u2013 components for intelligent agents in Java. AgentLink News Letter\u00a02 (1999)"},{"issue":"3\/4","key":"10_CR36","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1504\/IJAOSE.2007.016267","volume":"1","author":"G. Casella","year":"2007","unstructured":"Casella, G., Mascardi, V.: West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware. IJAOSE\u00a01(3\/4), 396\u2013434 (2007)","journal-title":"IJAOSE"},{"key":"10_CR37","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: Proc. of IJCAI, pp. 91\u201396 (2009)"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042 (1990)","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"10_CR39","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-540-25932-9_11","volume-title":"Declarative Agent Languages and Technologies","author":"M. Colombetti","year":"2004","unstructured":"Colombetti, M., Fornara, N., Verdicchio, M.: A social approach to communication in multiagent systems. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 191\u2013220. Springer, Heidelberg (2004)"},{"issue":"2","key":"10_CR40","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MIS.2008.24","volume":"23","author":"S. Costantini","year":"2008","unstructured":"Costantini, S., Mostarda, L., Tocchio, A., Tsintza, P.: Dalica: Agent-based ambient intelligence for cultural-heritage scenarios. IEEE Intelligent Systems\u00a023(2), 34\u201341 (2008)","journal-title":"IEEE Intelligent Systems"},{"key":"10_CR41","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S. Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 685\u2013688. Springer, Heidelberg (2004)"},{"key":"10_CR42","volume-title":"Proceedings of the FMERail Workshop 5","author":"A. Cuppari","year":"1999","unstructured":"Cuppari, A., Guida, P.L., Martelli, M., Mascardi, V., Zini, F.: An agent-based prototype for freight trains traffic management. In: Proceedings of the FMERail Workshop 5. Springer, Heidelberg (1999)"},{"key":"10_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/978-3-642-14309-0_14","volume-title":"25 Years of Logic Programming in Italy, ch. 14","author":"A. Dal Pal\u00f9","year":"2010","unstructured":"Dal Pal\u00f9, A., Torroni, P.: 25 Years of Applications of Logic Programming. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy, ch. 14. LNCS, vol.\u00a06125, pp. 300\u2013328. Springer, Heidelberg (2010)"},{"issue":"3","key":"10_CR44","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems\u00a016(3), 214\u2013248 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Dastani, M., de Boer, F.S., Dignum, F., Meyer, J.-J.C.: Programming agent deliberation \u2013 an approach illustrated using the 3APL language. In: Proc. of AAMAS 2003 (2003)","DOI":"10.1145\/860591.860592"},{"key":"10_CR46","unstructured":"Davies, W.H., Edwards, P.: Agent-K: An integration of AOP & KQML. In: Proceedings of the Workshop on Intelligent Information Agents (1994)"},{"key":"10_CR47","first-page":"603","volume-title":"Proceedings of KR 2002","author":"G. Giacomo De","year":"2002","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H., Sardi\u00f1a, S.: On the semantics of deliberation in IndiGolog \u2013 from theory to implementation. In: Proceedings of KR 2002, pp. 603\u2013614. Morgan Kaufmann, San Francisco (2002)"},{"key":"10_CR48","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"10_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/978-3-540-40012-7_32","volume-title":"Interactive Multimedia on Next Generation Networks","author":"M. Delato","year":"2003","unstructured":"Delato, M., Martelli, A., Martelli, M., Mascardi, V., Verri, A.: A multimedia, multichannel, and personalized news provider. In: Ventre, G., Canonico, R. (eds.) MIPS 2003. LNCS, vol.\u00a02899, pp. 388\u2013399. Springer, Heidelberg (2003)"},{"key":"10_CR50","volume-title":"The Intentional Stance","author":"D.C. Dennett","year":"1987","unstructured":"Dennett, D.C.: The Intentional Stance. MIT Press, Cambridge (1987)"},{"issue":"2","key":"10_CR51","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/j.scico.2005.02.001","volume":"57","author":"E. Denti","year":"2005","unstructured":"Denti, E., Omicini, A., Ricci, A.: Multi-paradigm Java-Prolog integration in tuProlog. Sci. Comput. Program.\u00a057(2), 217\u2013250 (2005)","journal-title":"Sci. Comput. Program."},{"key":"10_CR52","doi-asserted-by":"crossref","unstructured":"Dickinson, I., Wooldridge, M.: Towards practical reasoning agents for the semantic web. In: Proc. of AAMAS 2003, pp. 827\u2013834 (2003)","DOI":"10.1145\/860575.860708"},{"key":"10_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-44525-0_11","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"M. d\u2019Inverno","year":"2000","unstructured":"d\u2019Inverno, M., Hindriks, K.V., Luck, M.: A formal architecture for the 3APL agent programming language. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 168\u2013187. Springer, Heidelberg (2000)"},{"key":"10_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"issue":"3","key":"10_CR55","first-page":"1","volume":"8","author":"M. d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Luck, M.: Engineering AgentSpeak(L): A formal computational model. Logic and Computation Journal\u00a08(3), 1\u201327 (1998)","journal-title":"Logic and Computation Journal"},{"issue":"37","key":"10_CR56","first-page":"381","volume":"4","author":"J. Dix","year":"2003","unstructured":"Dix, J., Munoz-Avila, H., Nau, D.: IMPACTing SHOP: Putting an AI planner into a Multi-Agent Environment. Annals of Mathematics and AI\u00a04(37), 381\u2013407 (2003)","journal-title":"Annals of Mathematics and AI"},{"key":"10_CR57","series-title":"Lecture Notes in Computer Science","volume-title":"25 Years of Logic Programming in Italy","year":"2010","unstructured":"Dovier, A., Pontelli, E. (eds.): 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125. Springer, Heidelberg (2010)"},{"issue":"2","key":"10_CR58","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. Artif. Intell.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"key":"10_CR59","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1007\/3-540-45628-7_22","volume-title":"Computational Logic: Logic Programming and Beyond, part I","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Mascardi, V., Subrahmanian, V.S.: Error-Tolerant Agents. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond, part I. LNCS (LNAI), vol.\u00a02407, pp. 586\u2013625. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"10_CR60","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0004-3702(99)00005-3","volume":"108","author":"T. Eiter","year":"1999","unstructured":"Eiter, T., Subrahmanian, V.S., Pick, G.: Heterogeneous active agents, I: Semantics. Artificial Intelligence\u00a0108(1-2), 179\u2013255 (1999)","journal-title":"Artificial Intelligence"},{"key":"10_CR61","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-540-25936-7_2","volume-title":"Programming Multi-Agent Systems","author":"R. Evertsz","year":"2004","unstructured":"Evertsz, R., Fletcher, M., Jones, R., Jarvis, J., Brusey, J., Dance, S.: Implementing industrial multi-agent systems using JACK. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 18\u201348. Springer, Heidelberg (2004)"},{"key":"10_CR62","unstructured":"Fensel, D., Lausen, H., de Bruijn, J., Stollberg, M., Roman, D., Polleres, A.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Heidelberg"},{"key":"10_CR63","unstructured":"Finger, M., McBrien, P., Owens, R.: Databases and executable temporal logic. In: Comission of the European Communities (ed.) Proceedings of the Annual ESPRIT Conference 1991, pp. 288\u2013302 (1991)"},{"key":"10_CR64","unstructured":"FIPA\u00a0Home\u00a0Page, http:\/\/www.fipa.org\/"},{"key":"10_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/3-540-55602-8_178","volume-title":"Automated Deduction - CADE-11","author":"M. Fisher","year":"1992","unstructured":"Fisher, M.: A normal form for first-order temporal formulae. In: Kapur, D. (ed.) CADE 1992. LNCS, vol.\u00a0607, pp. 370\u2013384. Springer, Heidelberg (1992)"},{"key":"10_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/3-540-56891-3_15","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"M. Fisher","year":"1993","unstructured":"Fisher, M.: Concurrent METATEM \u2013 A language for modeling reactive systems. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, pp. 185\u2013196. Springer, Heidelberg (1993)"},{"key":"10_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of Concurrent METATEM \u2013 the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"10_CR68","first-page":"316","volume-title":"Proc. of IJCAI 1997","author":"M. Fisher","year":"1997","unstructured":"Fisher, M.: Implementing BDI-like systems by direct execution. In: Proc. of IJCAI 1997, pp. 316\u2013321. Morgan Kaufmann, San Francisco (1997)"},{"key":"10_CR69","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-49057-4_15","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"M. Fisher","year":"1999","unstructured":"Fisher, M.: Representing abstract agent architectures. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 227\u2013241. Springer, Heidelberg (1999)"},{"issue":"1","key":"10_CR70","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1111\/j.1467-8640.2007.00295.x","volume":"23","author":"M. Fisher","year":"2007","unstructured":"Fisher, M., Bordini, R., Hirsch, B., Torroni, P.: Computational logics and agents: A road map of current technologies and future trends. Computational Intelligence\u00a023(1), 61\u201391 (2007)","journal-title":"Computational Intelligence"},{"key":"10_CR71","first-page":"200","volume-title":"Proc. of IJCAI 1999","author":"M. Fisher","year":"1999","unstructured":"Fisher, M., Ghidini, C.: Programming resource-bounded deliberative agents. In: Proc. of IJCAI 1999, pp. 200\u2013205. Morgan Kaufmann, San Francisco (1999)"},{"key":"10_CR72","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1145\/544862.544943","volume-title":"Proc. of AAMAS 2002","author":"M. Fisher","year":"2002","unstructured":"Fisher, M., Ghidini, C.: The ABC of rational agent programming. In: Proc. of AAMAS 2002, pp. 849\u2013856. ACM Press, New York (2002)"},{"key":"10_CR73","volume-title":"Intensional Programming II (ISPLIP 1999)","author":"M. Fisher","year":"2000","unstructured":"Fisher, M., Kakoudakis, T.: Flexible agent grouping in executable temporal logic. In: Intensional Programming II (ISPLIP 1999). World Scientific Publishers, Singapore (2000)"},{"issue":"1","key":"10_CR74","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1142\/S0218843097000057","volume":"6","author":"M. Fisher","year":"1997","unstructured":"Fisher, M., Wooldridge, M.: On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems\u00a06(1), 37\u201365 (1997)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"10_CR75","doi-asserted-by":"crossref","unstructured":"Forgy, C.: Ops5 user\u2019s manual. Technical Report CMU-CS-81-135, Carnegie-Mellon University (1981)","DOI":"10.21236\/ADA106558"},{"issue":"9-10","key":"10_CR76","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence\u00a018(9-10), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"key":"10_CR77","unstructured":"Foundation for Intelligent Physical Agents (FIPA). Agent Communication Language Specifications (2002)"},{"key":"10_CR78","unstructured":"Friedman-Hill, E.: Jess in Action: Java Rule-Based Systems (In Action series). Manning Publications (2002)"},{"key":"10_CR79","unstructured":"Fritz, C., Baier, J.A., McIlraith, S.A.: ConGolog, sin trans: Compiling ConGolog into basic action theories for planning and beyond. In: Proc. of 11th Int. Conf. on PKRR, pp. 600\u2013610 (2008)"},{"issue":"1-3","key":"10_CR80","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming"},{"key":"10_CR81","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-642-02846-5_32","volume-title":"Logic Programming","author":"M. Gavanelli","year":"2009","unstructured":"Gavanelli, M., Alberti, M., Lamma, E.: Integration of abductive reasoning and constraint optimization in SCIFF. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 387\u2013401. Springer, Heidelberg (2009)"},{"key":"10_CR82","unstructured":"Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proc. of AAAI 1987, pp. 677\u2013682 (1987)"},{"issue":"6","key":"10_CR83","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/MEX.1996.546590","volume":"11","author":"M.P. Georgeff","year":"1996","unstructured":"Georgeff, M.P., Rao, A.S.: A profile of the Australian AI institute. IEEE Expert\u00a011(6), 89\u201392 (1996)","journal-title":"IEEE Expert"},{"issue":"5","key":"10_CR84","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L. Giordano","year":"2000","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Ramification and causality in a modal action logic. Journal of Logic and Computation\u00a010(5), 626\u2013662 (2000)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"10_CR85","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1093\/jigpal\/9.2.273","volume":"9","author":"L. Giordano","year":"2001","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Reasoning About Actions in Dynamic Linear Time Temporal Logic. Journal of the IGPL\u00a09(2), 298\u2013303 (2001)","journal-title":"Journal of the IGPL"},{"issue":"2","key":"10_CR86","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic\u00a05(2), 214\u2013234 (2007)","journal-title":"Journal of Applied Logic"},{"key":"10_CR87","unstructured":"Gray, R.S., Kotz, D., Cybenko, G., Rus, D.: Agent Tcl. In: Mobile Agents: Explanations and Examples. Manning Publishing (1997)"},{"key":"10_CR88","unstructured":"Harbers, M., van den Bosch, K., Meyer, J.: Enhancing training by using agents with a theory of mind. In: EduMAS 2009, Proceedings, pp. 23\u201330 (2009)"},{"key":"10_CR89","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-04380-2_17","volume-title":"Intelligent Virtual Agents","author":"M. Harbers","year":"2009","unstructured":"Harbers, M., van den Bosch, K., Meyer, J.-J.C.: A study into preferred explanations of virtual agent behavior. In: Ruttkay, Z., Kipp, M., Nijholt, A., Vilhj\u00e1lmsson, H.H. (eds.) IVA 2009. LNCS, vol.\u00a05773, pp. 132\u2013145. Springer, Heidelberg (2009)"},{"issue":"4","key":"10_CR90","first-page":"357","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks, K.V., Boer, F.S.D., der Hoek, W.V., Meyer, J.-J.C.: Agent programming in 3APL. AAMAS Journal\u00a02(4), 357\u2013401 (1999)","journal-title":"AAMAS Journal"},{"key":"10_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BFb0026761","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"K.V. Hindriks","year":"1998","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Formal semantics for an abstract agent programming language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 215\u2013229. Springer, Heidelberg (1998)"},{"key":"10_CR92","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"key":"10_CR93","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592681.1592683","volume-title":"WREN 2009: Proceedings of the 1st ACM workshop on Research on enterprise networking","author":"T.L. Hinrichs","year":"2009","unstructured":"Hinrichs, T.L., Gude, N.S., Casado, M., Mitchell, J.C., Shenker, S.: Practical declarative network management. In: WREN 2009: Proceedings of the 1st ACM workshop on Research on enterprise networking, pp. 1\u201310. ACM, New York (2009)"},{"key":"10_CR94","series-title":"Lecture Notes in Artificial Intelligence","first-page":"15","volume-title":"Formal Approaches to Agent-Based Systems","author":"B. Hirsch","year":"2003","unstructured":"Hirsch, B., Fisher, M., Ghidini, C.: Organising logic-based agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol.\u00a02699, pp. 15\u201327. Springer, Heidelberg (2003)"},{"key":"10_CR95","doi-asserted-by":"crossref","unstructured":"Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. In: Agents 1999, Third International Conference on Autonomous Agents, Proceedings, pp. 236\u2013243 (1999)","DOI":"10.1145\/301136.301202"},{"key":"10_CR96","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-79043-3_15","volume-title":"Programming Multi-Agent Systems","author":"J.F. H\u00fcbner","year":"2008","unstructured":"H\u00fcbner, J.F., Bordini, R.H.: Developing a team of gold miners using Jason. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.\u00a04908, pp. 241\u2013245. Springer, Heidelberg (2008)"},{"issue":"6","key":"10_CR97","first-page":"33","volume":"7","author":"F.F. Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert Magazine\u00a07(6), 33\u201344 (1992)","journal-title":"IEEE Expert Magazine"},{"key":"10_CR98","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1109\/FOSE.2007.2","volume-title":"FOSE 2007: 2007 Future of Software Engineering","author":"V. Issarny","year":"2007","unstructured":"Issarny, V., Caporuscio, M., Georgantas, N.: A perspective on the future of middleware-based software engineering. In: FOSE 2007: 2007 Future of Software Engineering, Washington, DC, USA, pp. 244\u2013258. IEEE Computer Society, Los Alamitos (2007)"},{"issue":"6","key":"10_CR99","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/64.546585","volume":"11","author":"N.R. Jennings","year":"1996","unstructured":"Jennings, N.R., Mamdani, E.H., Corera, J.M., Laresgoiti, I., Perriollat, F., Skarek, P., Zsolt Varga, L.: Using Archon to develop real-world DAI applications, part 1. IEEE Expert\u00a011(6), 64\u201370 (1996)","journal-title":"IEEE Expert"},{"key":"10_CR100","unstructured":"Jhingran, A.: Enterprise information mashups: integrating information, simply. In: Proc. of VLDB 2006, pp. 3\u20134. VLDB Endowment (2006)"},{"key":"10_CR101","unstructured":"Kakas, A.C., Kowalski, R., Toni, F.: The role of abduction in logic programming. In: Gabbay, C.H.D.M., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming 5, pp. 235\u2013324. Oxford University Press, Oxford"},{"key":"10_CR102","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web services choreography description language version 1.0 (2004), http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"10_CR103","first-page":"12","volume-title":"Proc. of TIME 1997","author":"A. Kellett","year":"1997","unstructured":"Kellett, A., Fisher, M.: Automata representations for concurrent METATEM. In: Proc. of TIME 1997, pp. 12\u201319. IEEE Press, Los Alamitos (1997)"},{"key":"10_CR104","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/3-540-63383-9_96","volume-title":"Coordination Languages and Models","author":"A. Kellett","year":"1997","unstructured":"Kellett, A., Fisher, M.: Concurrent METATEM as a coordination language. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol.\u00a01282, pp. 418\u2013421. Springer, Heidelberg (1997)"},{"key":"10_CR105","doi-asserted-by":"crossref","unstructured":"Kinny, D.: ViP: a visual programming language for plan execution systems. In: Proc. of AAMAS 2002, pp. 721\u2013728 (2002)","DOI":"10.1145\/544862.544914"},{"key":"10_CR106","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1594187.1594202","volume-title":"Proc. of DMSN 2009","author":"D. Klan","year":"2009","unstructured":"Klan, D., Hose, K., Sattler, K.-U.: Developing and deploying sensor network applications with anduin. In: Proc. of DMSN 2009, pp. 1\u20136. ACM, New York (2009)"},{"key":"10_CR107","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-93920-7_7","volume-title":"Declarative Agent Languages and Technologies VI","author":"T. Klapiscak","year":"2009","unstructured":"Klapiscak, T., Bordini, R.H.: JASDL: A practical programming approach combining agent and semantic web technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol.\u00a05397, pp. 91\u2013110. Springer, Heidelberg (2009)"},{"key":"10_CR108","first-page":"235","volume-title":"Readings in Agents","author":"Y. Labrou","year":"1997","unstructured":"Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Readings in Agents, pp. 235\u2013242. Morgan Kaufmann, San Francisco (1997)"},{"key":"10_CR109","unstructured":"Lange, D., Mitsuru, O.: Programming and Deploying Java Mobile Agents with Aglets (1998)"},{"key":"10_CR110","unstructured":"Leckie, C., Senjen, R., Ward, B., Zhao, M.: Communication and coordination for intelligent fault diagnosis agents. In: 8th IFIP\/IEEE International Workshop for Distributed Systems Operations and Management, DSOM 1997, Proceedings, pp. 280\u2013291 (1997)"},{"key":"10_CR111","unstructured":"Lee, J., Durfee, E.H.: Structured circuit semantics for reactive plan execution systems. In: Proc. of AAAI 1994, pp. 1232\u20131237 (1994)"},{"key":"10_CR112","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Declarative Agent Languages and Technologies","year":"2004","unstructured":"Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.): DALT 2003. LNCS (LNAI), vol.\u00a02990. Springer, Heidelberg (2004)"},{"key":"10_CR113","unstructured":"Levesque, H.J., Pagnucco, M.: Legolog: Inexpensive experiments in cognitive robotics. In: Proc. of CogRob 2000 (2000)"},{"key":"10_CR114","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031, 59\u201384 (1997)","journal-title":"Journal of Logic Programming"},{"key":"10_CR115","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/3-540-45448-9_12","volume-title":"Intelligent Agents VIII","author":"R. Machado","year":"2002","unstructured":"Machado, R., Bordini, R.H.: Running agentSpeak(L) agents on SIM_AGENT. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 158\u2013174. Springer, Heidelberg (2002)"},{"key":"10_CR116","unstructured":"Mascardi, V., Demergasso, D., Ancona, D.: Languages for programming BDI-style agents: an overview. In: Corradini, F., Paoli, F.D., Merelli, E., Omicini, A. (eds.) WOA 2005: Dagli Oggetti agli Agenti, Proceedings, pp. 9\u201315. Pitagora Editrice Bologna (2005)"},{"key":"10_CR117","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-85058-8_9","volume-title":"Languages, Methodologies and Development Tools for Multi-Agent Systems","author":"V. Mascardi","year":"2008","unstructured":"Mascardi, V., Martelli, M., Gungui, I.: DCaseLP: a prototyping environment for multi-language agent systems. In: Dastani, M.M., El Fallah Seghrouchni, A., Leite, J., Torroni, P. (eds.) LADS 2007. LNCS (LNAI), vol.\u00a05118, pp. 139\u2013155. Springer, Heidelberg (2008)"},{"issue":"4","key":"10_CR118","first-page":"429","volume":"4","author":"V. Mascardi","year":"2004","unstructured":"Mascardi, V., Martelli, M., Sterling, L.: Logic-based specification languages for intelligent software agents. J. of TPLP\u00a04(4), 429\u2013494 (2004)","journal-title":"J. of TPLP"},{"key":"10_CR119","unstructured":"Banzi, M., Caire, G., Gotta, D.: Wade: A software platform to develop mission critical applications exploiting agents and workflows. In: Proc. of AAMAS 2008 (2008)"},{"issue":"1","key":"10_CR120","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0306-4379(90)90020-P","volume":"15","author":"W. Mellis","year":"1990","unstructured":"Mellis, W.: TWAICE: A knowledge engineering tool. Inf. Syst.\u00a015(1), 137\u2013150 (1990)","journal-title":"Inf. Syst."},{"key":"10_CR121","volume-title":"Communicating and Mobile Systems: the Pi-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: the Pi-Calculus, June 1999. Cambridge University Press, Cambridge (1999)"},{"key":"10_CR122","unstructured":"Minton, S., Knoblock, C.A., Kuokka, D.R., Gil, Y., Joseph, R.L., Carbonell, J.G.: Prodigy 2.0: The manual and tutorial. Technical Report CMU-CS-89-146, Carnegie-Mellon University (1989)"},{"key":"10_CR123","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Open Declarative Interaction Models: a Logic-Based Framework. PhD thesis, DEIS, University of Bologna, Italy (2009)","DOI":"10.1007\/978-3-642-14538-4"},{"key":"10_CR124","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Transactions on the Web (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"10_CR125","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-89982-2_39","volume-title":"Logic Programming","author":"M. Montali","year":"2008","unstructured":"Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Verification from declarative specifications using logic programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.\u00a05366, pp. 440\u2013454. Springer, Heidelberg (2008)"},{"key":"10_CR126","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/11691792_10","volume-title":"Declarative Agent Languages and Technologies III","author":"\u00c1.F. Moreira","year":"2006","unstructured":"Moreira, \u00c1.F., Vieira, R., Bordini, R.H., H\u00fcbner, J.F.: Agent-oriented programming with underlying ontological reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 155\u2013170. Springer, Heidelberg (2006)"},{"key":"10_CR127","unstructured":"Morley, D., Myers, K.: The SPARK agent framework. In: Proc. of AAMAS 2004, pp. 714\u2013721 (2004)"},{"key":"10_CR128","unstructured":"Myers, K.L., Wilkins, D.E.: The Act Formalism, Version 2.2. Technical report, SRI International AI Center Technical Report, SRI International, Menlo Park, CA (1997)"},{"key":"10_CR129","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/3-540-62560-7","volume-title":"Software Agents and Soft Computing: Towards Enhancing Machine Intelligence","author":"H.S. Nwana","year":"1997","unstructured":"Nwana, H.S., Ndumu, D.T.: An introduction to agent technology. In: Nwana, H.S., Azarmi, N. (eds.) Software Agents and Soft Computing: Towards Enhancing Machine Intelligence. LNCS, vol.\u00a01198, pp. 3\u201326. Springer, Heidelberg (1997)"},{"key":"10_CR130","unstructured":"OASIS. Business process execution language for web services v.1.1 (2003)"},{"key":"10_CR131","unstructured":"OASIS, eXtensible Access Control Markup Language (XACML) Version 2.0 (2005), http:\/\/docs.oasis-open.org\/xacml\/2.0\/access_control-xacml-2.0-core-spec-os.pdf"},{"issue":"3","key":"10_CR132","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","volume":"41","author":"A. Omicini","year":"2001","unstructured":"Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming\u00a041(3), 277\u2013294 (2001)","journal-title":"Science of Computer Programming"},{"key":"#cr-split#-10_CR133.1","doi-asserted-by":"crossref","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems??17(3), 432???456 (2008);","DOI":"10.1007\/s10458-008-9053-x"},{"key":"#cr-split#-10_CR133.2","unstructured":"Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems"},{"key":"10_CR134","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1","volume-title":"Declarative Agent Languages and Technologies","author":"A. Omicini","year":"2004","unstructured":"Omicini, A., Zambonelli, F.: MAS as complex systems: A view on the role of declarative approaches. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 1\u201316. Springer, Heidelberg (2004)"},{"key":"10_CR135","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/3-540-48005-6_26","volume-title":"The Semantic Web - ISWC 2002","author":"M. Paolucci","year":"2002","unstructured":"Paolucci, M., Kawamura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 333\u2013347. Springer, Heidelberg (2002)"},{"key":"10_CR136","unstructured":"Peine, H.: ARA - Agents for Remote Action. In: Mobile Agents. Manning Publishing (1997)"},{"key":"10_CR137","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"10_CR138","doi-asserted-by":"crossref","unstructured":"Phung-Khac, A., Beugnard, A., Gilliot, J.-M., Segarra, M.-T.: Model-driven development of component-based adaptive distributed applications. In: Proc. of SAC 2008, pp. 2186\u20132191. ACM, New York (2008)","DOI":"10.1145\/1363686.1364208"},{"key":"10_CR139","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/11762256_45","volume-title":"The Semantic Web: Research and Applications","author":"M. Pistore","year":"2006","unstructured":"Pistore, M., Spalazzi, L., Traverso, P.: A minimalist approach to semantic annotations for web processes compositions. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 620\u2013634. Springer, Heidelberg (2006)"},{"key":"10_CR140","unstructured":"Piunti, M., Santi, A., Ricci, A.: Programming SOA\/WS systems with cognitive agents and artifact-based environments. In: Proc. of MALLOW 2009 Multi-Agent Logics, Languages, and Organisations Federated Workshops, CEUR Workshop Proceedings (2009) ISSN 1613-0073"},{"key":"10_CR141","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"10_CR142","unstructured":"Rao, A.S., Georgeff, M.P.: Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In: Proc. of IJCAI 1991, pp. 498\u2013504 (1991)"},{"issue":"3","key":"10_CR143","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. J. Log. Comput.\u00a08(3), 293\u2013342 (1998)","journal-title":"J. Log. Comput."},{"key":"10_CR144","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998); the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl (September 1996)"},{"issue":"4","key":"10_CR145","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1145\/383779.383780","volume":"2","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: On knowledge-based programming with sensing in the situation calculus. ACM Transactions on Computational Logic (TOCL)\u00a02(4), 433\u2013457 (2001)","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"10_CR146","volume-title":"MKWI 2008","author":"W. Renz","year":"2008","unstructured":"Renz, W.: Models and multi-agent simulations of logistics networks - a case-study in self-organization by microeconomics. In: MKWI 2008. GITO-Verlag, Berlin (2008)"},{"key":"10_CR147","unstructured":"Rimassa, G., Burmeister, B.: Achieving business process agility in engineering change management with agent technology. In: WOA 2007, pp. 1\u20137. Seneca Edizioni Torino (2007)"},{"key":"10_CR148","unstructured":"Roland, J., Vesonder, G., Wilson, J.: C5 user manual, release 2.1. Technical report, AT&T Bell Laboratories (1990)"},{"key":"10_CR149","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"25 Years of Logic Programming in Italy","author":"G. Rossi","year":"2010","unstructured":"Rossi, G.: Logic Programming in Italy: A Historical Perspective. In: Dovier, A., Pontelli, E. (eds.) 25 Years of Logic Programming in Italy. LNCS, vol.\u00a06125, pp. 1\u201314. Springer, Heidelberg (2010)"},{"key":"10_CR150","unstructured":"Sadri, F., Toni, F.: Computational Logic and Multi-Agent Systems: a Roadmap. Technical report, Department of Computing, Imperial College, London (1999)"},{"issue":"2","key":"10_CR151","first-page":"55","volume":"11","author":"J. Salasin","year":"2007","unstructured":"Salasin, J., Madni, A.M.: Metrics for service-oriented architecture (soa) systems: What developers should know. J. Integr. Des. Process Sci.\u00a011(2), 55\u201371 (2007)","journal-title":"J. Integr. Des. Process Sci."},{"key":"10_CR152","series-title":"Lecture Notes in Computer Science","first-page":"293","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. Schroeder","year":"1998","unstructured":"Schroeder, M., de Almeida M\u00f3ra, I., Pereira, L.M.: A deliberative and reactive diagnosis agent based on logic programming. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 293\u2013307. Springer, Heidelberg (1998)"},{"key":"10_CR153","unstructured":"Semantic Annotations for WSDL Working Group. Semantic annotations for wsdl and xml schema. Technical report, W3C (2007)"},{"issue":"1","key":"10_CR154","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MIS.2006.17","volume":"21","author":"G.S. Semmel","year":"2006","unstructured":"Semmel, G.S., Davis, S.R., Leucht, K.W., Rowe, D.A., Smith, K.E., Boloni, L.: Space shuttle ground processing with monitoring agents. IEEE Intelligent Systems\u00a021(1), 68\u201373 (2006)","journal-title":"IEEE Intelligent Systems"},{"key":"10_CR155","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/544741.544746","volume-title":"Proc. of AAMAS 2002","author":"S. Shapiro","year":"2002","unstructured":"Shapiro, S., Lesp\u00e9rance, Y., Levesque, H.J.: The cognitive agent specification language and verification environment for multiagent systems. In: Proc. of AAMAS 2002, pp. 19\u201326. ACM Press, New York (2002)"},{"issue":"1","key":"10_CR156","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. Artificial Intelligence\u00a060(1), 51\u201392 (1993)","journal-title":"Artificial Intelligence"},{"issue":"12","key":"10_CR157","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"10_CR158","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/3540608052_80","volume-title":"Intelligent Agents II - Agent Theories, Architectures, and Languages","author":"A. Sloman","year":"1996","unstructured":"Sloman, A., Poli, R.: SIM_AGENT: A toolkit for exploring agent design. In: Tambe, M., M\u00fcller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol.\u00a01037, pp. 392\u2013407. Springer, Heidelberg (1996)"},{"key":"10_CR159","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/978-3-642-02463-4_17","volume-title":"Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos","author":"S. Sohrabi","year":"2009","unstructured":"Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via the customization of Golog programs with user preferences. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos, pp. 319\u2013334. Springer, Heidelberg (2009)"},{"key":"10_CR160","unstructured":"Sterling, L., Shapiro, E.: The art of Prolog: advanced programming techniques (1986)"},{"key":"10_CR161","unstructured":"Subrahmanian, V., Bonatti, P., Dix, J., Eiter, T., Kraus, S., \u00d6zcan, F., Ross, R.: Heterogenous Active Agents, 580 pages. MIT Press, Cambridge (2000)"},{"key":"10_CR162","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/3-540-58855-8_23","volume-title":"Intelligent Agents","author":"S.R. Thomas","year":"1995","unstructured":"Thomas, S.R.: The PLACA agent programming language. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol.\u00a0890, pp. 355\u2013370. Springer, Heidelberg (1995)"},{"issue":"1-3","key":"10_CR163","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/B:AMAI.0000034530.72860.31","volume":"42","author":"P. Torroni","year":"2004","unstructured":"Torroni, P.: Computational logic in multi-agent systems: Recent advances and future directions. Ann. Math. Artif. Intell.\u00a042(1-3), 293\u2013305 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"10_CR164","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"DALT 2009","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: Satisfied or compensated. In: Baldoni, M., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"10_CR165","series-title":"Lecture Notes in Computer Science","volume-title":"DALT 2009","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: satisfied or compensated. In: Baldoni, M., Bentahar, J., Lloyd, J., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS, Springer, Heidelberg (2010)"},{"key":"10_CR166","doi-asserted-by":"crossref","unstructured":"Torroni, P., Yolum, P., Singh, M.P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, Hershey, Pennsylvania, March 2009, pp. 263\u2013284. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch011"},{"key":"10_CR167","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11549970_4","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"W.M.P. van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life after BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 35\u201350. Springer, Heidelberg (2005)"},{"key":"10_CR168","unstructured":"Van Linder, B.: Modal Logics for Rational Agents. PhD thesis, Universiteit Utrecht, Utrecht, The Netherlands (1987)"},{"key":"10_CR169","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, B., van der Hoek, W., Meyer, J.-J.C.: Agent programming in Dribble: from beliefs to goals using plans. In: Proc. of AAMAS 2003, pp. 393\u2013400 (2003)","DOI":"10.1145\/860575.860639"},{"key":"10_CR170","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-69619-3_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"M.B. Riemsdijk van","year":"2007","unstructured":"van Riemsdijk, M.B., de Boer, F.S., Dastani, M.M., Meyer, J.-J.C.: Prototyping 3APL in the Maude term rewriting language. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 95\u2013114. Springer, Heidelberg (2007)"},{"key":"10_CR171","unstructured":"van Riemsdijk, M.B., Wirsing, M.: Goal-Oriented and Procedural Service Orchestration. A Formal Comparison. In: AWESOME 2007, Durham, UK (September 2007)"},{"key":"10_CR172","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-540-25932-9_12","volume-title":"Declarative Agent Languages and Technologies","author":"W.W. Vasconcelos","year":"2004","unstructured":"Vasconcelos, W.W.: Logic-based electronic institutions. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 221\u2013242. Springer, Heidelberg (2004)"},{"key":"10_CR173","unstructured":"W3C The Platform for Privacy Preferences 1.0 (P3P1.0) Specification (2002), http:\/\/www.w3.org\/TR\/P3P\/"},{"key":"10_CR174","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-04143-3_30","volume-title":"Multiagent System Technologies","author":"N. Weber","year":"2009","unstructured":"Weber, N., Braubach, L., Pokahr, A., Lamersdorf, W.: Agent-based semantic search at motoso.de. In: Braubach, L., van der Hoek, W., Petta, P., Pokahr, A. (eds.) MATES 2009. LNCS, vol.\u00a05774, pp. 278\u2013287. Springer, Heidelberg (2009)"},{"key":"10_CR175","first-page":"537","volume-title":"IEEE Global Telecommunications Conference, Globecom 1992, Proceedings","author":"T. Weihmayer","year":"1992","unstructured":"Weihmayer, T., Tan, M.: Modeling cooperative agents for customer network control using planning and agent-oriented programming. In: IEEE Global Telecommunications Conference, Globecom 1992, Proceedings, pp. 537\u2013543. IEEE, Los Alamitos (1992)"},{"key":"10_CR176","unstructured":"White, S.: Business Process Modeling Notation Specification 1.0. Technical report, OMG (2006)"},{"key":"10_CR177","unstructured":"Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Proc. of KR 2002, pp. 470\u2013481 (2002)"},{"key":"10_CR178","unstructured":"Wooldridge, M.: The Logical Model of Computational Multi\u2013Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK (1992)"},{"key":"10_CR179","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-58855-8_10","volume-title":"Intelligent Agents","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M.: This is MYWORLD: The logic of an agent-oriented testbed for DAI. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol.\u00a0890, pp. 160\u2013178. Springer, Heidelberg (1995)"},{"key":"10_CR180","volume-title":"An Introduction to MultiAgent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley, Chichester (2002)"},{"issue":"2","key":"10_CR181","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. Knowledge Engineering Review\u00a010(2), 115\u2013152 (1995)","journal-title":"Knowledge Engineering Review"},{"key":"10_CR182","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Cooperative Information Agents","author":"M.J. Wooldridge","year":"1997","unstructured":"Wooldridge, M.J.: In: Kandzia, P., Klusch, M. (eds.) CIA 1997. LNCS, vol.\u00a01202, pp. 1\u201318. Springer, Heidelberg (1997)"},{"key":"10_CR183","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/544862.544867","volume-title":"AAMAS","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS, pp. 527\u2013534. ACM, New York (2002)"},{"issue":"3","key":"10_CR184","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/s00778-006-0020-3","volume":"17","author":"Q. Yu","year":"2008","unstructured":"Yu, Q., Liu, X., Bouguettaya, A., Medjahed, B.: Deploying and managing web services: issues, solutions, and directions. The VLDB Journal\u00a017(3), 537\u2013572 (2008)","journal-title":"The VLDB Journal"},{"issue":"4","key":"10_CR185","first-page":"333","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on SEM\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on SEM"},{"issue":"4","key":"10_CR186","first-page":"375","volume":"1","author":"A. Z\u00f6ller","year":"2006","unstructured":"Z\u00f6ller, A., Braubach, L., Pokahr, A., Rothlauf, F., Paulussen, T.O., Lamersdorf, W., Heinzl, A.: Evaluation of a multi-agent system for hospital patient scheduling. International Transactions on Systems Science and Applications\u00a01(4), 375\u2013380 (2006)","journal-title":"International Transactions on Systems Science and Applications"}],"container-title":["Lecture Notes in Computer Science","A 25-Year Perspective on Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14309-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:50:57Z","timestamp":1606186257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14309-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642143083","9783642143090"],"references-count":187,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14309-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}