{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:32:59Z","timestamp":1725471179063},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457640"},{"type":"electronic","value":"9783540457664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11875604_22","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T09:19:18Z","timestamp":1158916758000},"page":"188-197","source":"Crossref","is-referenced-by-count":2,"title":["A Verifiable Logic-Based Agent Architecture"],"prefix":"10.1007","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Gavanelli","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"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1145\/544862.544873","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II","author":"F. Guerin","year":"2002","unstructured":"Guerin, F., Pitt, J.: Proving properties of open agent systems. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II, Bologna, Italy, pp. 557\u2013558. ACM Press, New York (2002)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-45510-8_1","volume-title":"Modeling and Verification of Parallel Processes","author":"S. Merz","year":"2001","unstructured":"Merz, S.: Model checking: A tutorial overview. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 3\u201338. Springer, Heidelberg (2001)"},{"key":"22_CR3","series-title":"Lecture Notes in Artificial Intelligence","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":"22_CR4","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, 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"22_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","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, pp. 106\u2013124. Springer, Heidelberg (2006)"},{"key":"22_CR6","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, 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"22_CR7","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/0-387-26350-0_5","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","author":"F. Bellifemine","year":"2005","unstructured":"Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: Jade - a java agent development framework. In: Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015, pp. 125\u2013147. Springer, Heidelberg (2005)"},{"key":"22_CR8","unstructured":"FIPA: Foundation for Intelligent Physical Agents, Home Page: http:\/\/www.fipa.org\/"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02, 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR10","first-page":"438","volume-title":"Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI 1990","author":"A.C. Kakas","year":"1990","unstructured":"Kakas, A.C., Mancarella, P.: On the relation between Truth Maintenance and Abduction. In: Fukumura, T. (ed.) Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI 1990, pp. 438\u2013443. Ohmsha Ltd., Nagoya, Japan (1990)"},{"key":"22_CR11","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, 151\u2013165 (1997)","journal-title":"Journal of Logic Programming"},{"key":"22_CR12","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., Schreye, D.D.: SLDNFA: an abductive procedure for abductive logic programs. Journal of Logic Programming\u00a034, 111\u2013167 (1998)","journal-title":"Journal of Logic Programming"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","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 for the specification and verification of agent societies. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, pp. 324\u2013339. Springer, Heidelberg (2005)"},{"key":"22_CR15","unstructured":"FIPA Query Interaction Protocol, Published on August 10 (2001), available for download from the FIPA website http:\/\/www.fipa.org"},{"key":"22_CR16","unstructured":"Gavanelli, M., Lamma, E., Mello, P.: Proof of properties of the SCIFF proof-procedure (Technical Report CS-2005-01)"},{"key":"22_CR17","unstructured":"Gavanelli, M., Lamma, E., Mello, P.: Proof of completeness of the SCIFF proof-procedure (Technical Report CS-2005-02)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in Abductive Logic Programming: A case study. In: Pettorossi, A., Proietti, M., Senni, V. (eds.) CILC 2005 - Convegno Italiano di Logica Computazionale, Universit\u00e0 degli Studi di Roma Tor Vergata (2005)","DOI":"10.1007\/11759683_7"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_19","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"M. Baldoni","year":"2005","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: A first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, Springer, Heidelberg (2005)"},{"key":"22_CR20","volume-title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI 2003)","author":"U. Endriss","year":"2003","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico (IJCAI 2003), Morgan Kaufmann Publishers, Acapulco (2003)"},{"key":"22_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-24608-4_6","volume-title":"Advances in Agent Communication","author":"U. Endriss","year":"2004","unstructured":"Endriss, U., Maudet, N., Sadri, F., Toni, F.: Logic-based agent communication protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 91\u2013107. Springer, Heidelberg (2004)"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-45619-8_3","volume-title":"Logic Programming","author":"A. Russo","year":"2002","unstructured":"Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 22\u201337. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11875604_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T19:13:36Z","timestamp":1683573216000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11875604_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457640","9783540457664"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11875604_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}