{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:45:37Z","timestamp":1725543937428},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540339960"},{"type":"electronic","value":"9783540339977"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750734_14","type":"book-chapter","created":{"date-parts":[[2006,4,11]],"date-time":"2006-04-11T11:09:15Z","timestamp":1144753755000},"page":"243-264","source":"Crossref","is-referenced-by-count":3,"title":["Specification and Verification of Agent Interaction Using Abductive Reasoning"],"prefix":"10.1007","author":[{"given":"Federico","family":"Chesani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Alberti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"SOCS-SI, http:\/\/lia.deis.unibo.it\/Research\/socs_si\/"},{"key":"14_CR2","series-title":"LNAI","volume-title":"Global Computing","year":"2005","unstructured":"Priami, C., Quaglia, P. (eds.): GC 2004. LNCS (LNAI), vol.\u00a03267. Springer, Heidelberg (2005)"},{"issue":"3","key":"14_CR3","first-page":"45","volume":"II","author":"M. Alberti","year":"2005","unstructured":"Alberti, M., Chesani, F.: The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale\u00a0II(3), 45\u201351 (2005)","journal-title":"Intelligenza Artificiale"},{"key":"14_CR4","unstructured":"Alberti, M., Chesani, F., Ciampolini, A., Mello, P., Montali, M., Storari, S., Torroni, P.: Protocol specification and verification by using computational logic. In: Proceedings of Workshop dagli Oggetti agli Agenti (WOA 2005) (November 2005)"},{"issue":"1","key":"14_CR5","first-page":"22","volume":"II","author":"M. Alberti","year":"2005","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Guerri, A., Lamma, E., Mello, P., Torroni, P.: Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale\u00a0II(1), 22\u201329 (2005)","journal-title":"Intelligenza Artificiale"},{"key":"14_CR6","first-page":"111","volume-title":"19th Workshop on (Constraint) Logic Programming","author":"M. Alberti","year":"2005","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E.: The CHR-based implementation of a system for generation and confirmation of hypotheses. In: Wolf, A., Fr\u00fchwirth, T., Meister, M. (eds.) 19th Workshop on (Constraint) Logic Programming, pp. 111\u2013122. University of Ulm, Germany (2005)"},{"key":"14_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11759683_7","volume-title":"Engineering Societies in the Agents World VI","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in abductive logic programming: a case study. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol.\u00a03963. Springer, Heidelberg (2006)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based tool. In: Trappl [56], pp. 570\u2013575, Extended version to appear in Applied Artificial Intelligence","DOI":"10.1080\/08839510500479546"},{"key":"14_CR9","first-page":"387","volume-title":"Proceedings of WETICE 2004","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A logic based approach to interaction design in open multi-agent systems. In: Proceedings of WETICE 2004, June 14\u201316, pp. 387\u2013392. IEEE Press, Los Alamitos (2004)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SOCS computational logic approach for the specification and verification of agent societies. In: Priami, Quaglia [2], pp. 324\u2013339","DOI":"10.1007\/978-3-540-31794-4_17"},{"key":"14_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45023-8_20","volume-title":"Multi-Agent Systems and Applications III","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 204\u2013213. Springer, Heidelberg (2003)"},{"key":"14_CR12","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Abduction with hypotheses confirmation. In: Giunchiglia, F. (ed.) IJCAI 2005, pp. 1545\u20131546 (2005)"},{"key":"14_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/11558590_14","volume-title":"AI*IA 2005: Advances in Artificial Intelligence","author":"M. Alberti","year":"2005","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: The SCIFF abductive proof-procedure. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005. LNCS (LNAI), vol.\u00a03673, pp. 135\u2013147. Springer, Heidelberg (2005)"},{"key":"14_CR14","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-540-39853-0_24","volume-title":"AI*IA 2003: Advances in Artificial Intelligence","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An Abductive Interpretation for Open Societies. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol.\u00a02829, pp. 287\u2013299. Springer, Heidelberg (2003)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science\u00a085(2) (2003)","DOI":"10.1016\/S1571-0661(05)82605-2"},{"key":"14_CR16","series-title":"LNAI","doi-asserted-by":"publisher","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":"14_CR17","doi-asserted-by":"crossref","unstructured":"Alberti, M., Lamma, E., Gavanelli, M., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory (to appear)","DOI":"10.1007\/s10588-006-9544-8"},{"key":"14_CR18","unstructured":"ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the universal information ecosystem. IST- 1999-10298 (1999), Home Page, http:\/\/www.iis.ee.ic.ac.uk\/~alfebiite\/"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1017\/S1471068403001960","volume":"4","author":"J. Alferes","year":"2004","unstructured":"Alferes, J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming\u00a04, 383\u2013428 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, Lewis Johnson [26], pp. 1053\u20131061","DOI":"10.1145\/545056.545070"},{"key":"14_CR21","unstructured":"Barbuceanu, M., Fox, M.S.: Cool: A language for describing coordination in multi-agent systems. In: Lesser, V. (ed.) Proceedings of the First Intl. Conference on Multi-Agent Systems, pp. 17\u201325. AAAI Press\/The MIT Press (1995)"},{"issue":"1","key":"14_CR22","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/5254.912387","volume":"16","author":"R. Barruffi","year":"2001","unstructured":"Barruffi, R., Milano, M., Montanari, R.: Planning for security management. IEEE Intelligent Systems\u00a016(1), 74\u201380 (2001)","journal-title":"IEEE Intelligent Systems"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-39650-5_15","volume-title":"Computer Security \u2013 ESORICS 2003","author":"D. Basin","year":"2003","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: An on-the-fly model-checker for security protocol analysis. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, pp. 253\u2013270. Springer, Heidelberg (2003)"},{"issue":"1","key":"14_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1002\/1097-024X(200101)31:1<17::AID-SPE355>3.0.CO;2-L","volume":"31","author":"F. Bosi","year":"2001","unstructured":"Bosi, F., Milano, M.: Enhancing CLP branch and bound techniques for scheduling problems. Software Practice & Experience\u00a031(1), 17\u201342 (2001)","journal-title":"Software Practice & Experience"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Demetriou, N., Endriss, U., Kakas, A., Lu, W., Mancarella, P., Sadri, F., Stathis, K., Toni, F., Terreni, G.: The KGP model of agency: Computational model and prototype implementation. In: Priami, Quaglia [2], pp. 340\u2013367","DOI":"10.1007\/978-3-540-31794-4_18"},{"key":"14_CR26","unstructured":"Castelfranchi, C., Lewis Johnson, W. (eds.): Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy. ACM Press, New York (2002)"},{"key":"14_CR27","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45584-1_1","volume-title":"Engineering Societies in the Agents World II","author":"P. Davidsson","year":"2002","unstructured":"Davidsson, P.: Categories of artificial societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol.\u00a02203, pp. 1\u20139. Springer, Heidelberg (2002)"},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"Denecker, M., De Schreye, D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming\u00a034(2), 111\u2013167 (1998)","journal-title":"Journal of Logic Programming"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"Dignum, V., Meyer, J.J., Weigand, H.: Towards an organizational model for agent societies using contracts. In: Castelfranchi, Lewis Johnson [26], pp. 694\u2013695","DOI":"10.1145\/544862.544909"},{"key":"14_CR30","unstructured":"Dincbas, M., van Hentenryck, P., Simonis, H., Aggoun, A.: The constraint logic programming language CHIP. In: Proceedings of the 2nd International Conference on 5th Generation Computer Systems, Tokyo, Japan, pp. 693\u2013702 (1988)"},{"key":"14_CR31","series-title":"LNAI","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 (LNAI), vol.\u00a03229, pp. 31\u201343. Springer, Heidelberg (2004)"},{"key":"14_CR32","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) IJCAI 2003. Morgan Kaufmann, San Francisco (2003)"},{"key":"14_CR33","unstructured":"FIPA: Foundation for Intelligent Physical Agents, http:\/\/www.fipa.org\/"},{"issue":"2","key":"14_CR34","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":"14_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-540-45193-8_68","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"A. Guerri","year":"2003","unstructured":"Guerri, A., Milano, M.: Exploring CP-IP based techniques for the bid evaluation in combinatorial auctions. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 863\u2013867. Springer, Heidelberg (2003)"},{"key":"14_CR36","unstructured":"Java Agent DEvelopment framework, http:\/\/sharon.cselt.it\/projects\/jade\/"},{"key":"14_CR37","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.J.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"1-3","key":"14_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The semantics of constraint logic programs. Journal of Logic Programming\u00a037(1-3), 1\u201346 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"14_CR39","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) language and system. ACM Transactions on Programming Languages and Systems\u00a014(3), 339\u2013395 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR40","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":"14_CR41","unstructured":"Kakas, A.C., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In: Fukumura, T. (ed.) Proceedings of PRICAI 1990, pp. 438\u2013443. Ohmsha Ltd. (1990)"},{"issue":"1-3","key":"14_CR42","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"A.C. Kakas","year":"2000","unstructured":"Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming\u00a044(1-3), 129\u2013177 (2000)","journal-title":"Journal of Logic Programming"},{"key":"14_CR43","first-page":"591","volume-title":"IJCAI 2001","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.) IJCAI 2001, Seattle, Washington, USA, pp. 591\u2013596. Morgan Kaufmann, San Francisco (2001)"},{"issue":"3\/4","key":"14_CR44","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence\u00a025(3\/4), 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR45","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/FI-1998-34301","volume":"34","author":"R.A. Kowalski","year":"1998","unstructured":"Kowalski, R.A., Toni, F., Wetzel, G.: Executing suspended logic programs. Fundamenta Informaticae\u00a034, 203\u2013224 (1998)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR46","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 edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"14_CR47","first-page":"230","volume-title":"Proc. of Principles and Practice of Declarative Programming","author":"A. Pal\u00f9 Dal","year":"2005","unstructured":"Dal Pal\u00f9, A., Dovier, A., Pontelli, E.: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD). In: Barahona, P., Felty, A.P. (eds.) Proc. of Principles and Practice of Declarative Programming, pp. 230\u2013241. ACM Press, New York (2005)"},{"key":"14_CR48","unstructured":"Rao, A., Georgeff, M.: An abstract architecture for rational agents. In: Rich, C., Swartout, W., Nebel, B. (eds.) Proceedings of KR 1992, pp. 439\u2013449 (1992)"},{"key":"14_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-45757-7_35","volume-title":"Logics in Artificial Intelligence","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS, vol.\u00a02424, pp. 419\u2013431. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"14_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(01)00159-X","volume":"135","author":"T. Sandholm","year":"2002","unstructured":"Sandholm, T.: Algorithm for optimal winner determination in combinatorial auction. Artificial Intelligence\u00a0135(1-2), 1\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"14_CR51","unstructured":"The SCIFF abductive proof procedure, http:\/\/lia.deis.unibo.it\/Research\/sciff\/"},{"key":"14_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-48317-9_17","volume-title":"Artificial Intelligence Today","author":"M. Shanahan","year":"1999","unstructured":"Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS, vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)"},{"key":"14_CR53","unstructured":"SICStus prolog user manual, release 3.11.0 (2003), http:\/\/www.sics.se\/sicstus\/"},{"key":"14_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-45634-1_3","volume-title":"Foundations and Applications of Multi-Agent Systems","author":"C. Sierra","year":"2002","unstructured":"Sierra, C., Noriega, P.: Agent-mediated interaction. From auctions to negotiation and argumentation. In: d\u2019Inverno, M., Luck, M., Fisher, M., Preist, C. (eds.) UKMAS Workshops 1996-2000. LNCS, vol.\u00a02403, pp. 27\u201348. Springer, Heidelberg (2002)"},{"key":"14_CR55","unstructured":"Stathis, K., Kakas, A.C., Lu, W., Demetriou, N., Endriss, U., Bracciali, A.: PROSOCS: a platform for programming software agents in computational logic. In: Trappl [56], pp. 523\u2013528. Extended version to appear in Applied Artificial Intelligence"},{"key":"14_CR56","unstructured":"Trappl, R. (ed.): Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Symposium AT2AI-4, Vienna, Austria, April 13-16 (2004)"},{"issue":"3","key":"14_CR57","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multi-Agent Systems\u00a02(3), 217\u2013236 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR58","volume-title":"Introduction to Multi-Agent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M.: Introduction to Multi-Agent Systems. John Wiley & Sons, Ltd., Chichester (2002)"},{"key":"14_CR59","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright","year":"1951","unstructured":"Wright, G.H.: Deontic logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"},{"key":"14_CR60","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Castelfranchi, Lewis Johnson [26], pp. 527\u2013534","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750734_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:40Z","timestamp":1605643540000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750734_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540339960","9783540339977"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/11750734_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}