{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T17:44:04Z","timestamp":1791308644199,"version":"4.3.1"},"reference-count":80,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell'Istruzione, dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["2005-0112932005-015491"],"award-info":[{"award-number":["2005-0112932005-015491"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["IST-2001-32530"],"award-info":[{"award-number":["IST-2001-32530"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2008,8]]},"abstract":"<jats:p>SCIFF is a framework thought to specify and verify interaction in open agent societies. The SCIFF language is equipped with a semantics based on abductive logic programming; SCIFF's operational component is a new abductive logic programming proof procedure, also named SCIFF, for reasoning with expectations in dynamic environments. In this article we present the declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results of the SCIFF proof procedure, and we demonstrate SCIFF's possible application in the multiagent domain.<\/jats:p>","DOI":"10.1145\/1380572.1380578","type":"journal-article","created":{"date-parts":[[2008,9,4]],"date-time":"2008-09-04T12:51:35Z","timestamp":1220532695000},"page":"1-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":96,"title":["Verifiable agent interaction in abductive logic programming"],"prefix":"10.1145","volume":"9","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[{"name":"University of Ferrara, Ferrara (FE), Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna (BO), Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara (FE), Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara (FE), Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna (BO), Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[{"name":"University of Bologna, Bologna (BO), Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,8,29]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044731.1044735"},{"key":"e_1_2_1_2_1","first-page":"3","article-title":"The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system","author":"Alberti M.","year":"2005","unstructured":"Alberti , M. and Chesani , F. 2005 . The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system . Intelligenza Artificiale II , 3 (Sept.), 45--51. Alberti, M. and Chesani, F. 2005. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale II, 3 (Sept.), 45--51.","journal-title":"Intelligenza Artificiale"},{"key":"e_1_2_1_3_1","volume-title":"Eds. Ulmer Informatik-Berichte","volume":"01","author":"Alberti M.","unstructured":"Alberti , M. , Chesani , F. , Gavanelli , M. , and Lamma , E . 2005. The CHR-based implementation of a system for generation and confirmation of hypotheses, A. Wolf, T. Fr\u00fchwirth, and M. Meister , Eds. Ulmer Informatik-Berichte , vol. 2005- 01 , Ulm University, Ulm, Germany, 111--122. Alberti, M., Chesani, F., Gavanelli, M., and Lamma, E. 2005. The CHR-based implementation of a system for generation and confirmation of hypotheses, A. Wolf, T. Fr\u00fchwirth, and M. Meister, Eds. Ulmer Informatik-Berichte, vol. 2005-01, Ulm University, Ulm, Germany, 111--122."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140342"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/08839510500479546"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11759683_7"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-006-9544-8"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, Eds. Lecture Notes in Artificial Intelligence","volume":"2829","author":"Alberti M.","unstructured":"Alberti , M. , Gavanelli , M. , Lamma , E. , Mello , P. , and Torroni , P . 2003. An abductive interpretation for open agent societies. In AI&ast;IA 2003: Advances in Artificial Intelligence , Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, Eds. Lecture Notes in Artificial Intelligence , vol. 2829 . Springer-Verlag, Berlin, Germany, 287--299. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., and Torroni, P. 2003. An abductive interpretation for open agent societies. In AI&ast;IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, Eds. Lecture Notes in Artificial Intelligence, vol. 2829. Springer-Verlag, Berlin, Germany, 287--299."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001960"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02)","volume":"2424","author":"Alferes J. J.","unstructured":"Alferes , J. J. , Brogi , A. , Leite , J. A. , and Pereira , L. M . 2002. Evolving logic programs . In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02) , S. Flesca, S. Greco, N. Leone, and G. Ianni, Eds. Lecture Notes in Artificial Intelligence , vol. 2424 . Springer-Verlag, Berlin, Germany, 50--61. Alferes, J. J., Brogi, A., Leite, J. A., and Pereira, L. M. 2002. Evolving logic programs. In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), S. Flesca, S. Greco, N. Leone, and G. Ianni, Eds. Lecture Notes in Artificial Intelligence, vol. 2424. Springer-Verlag, Berlin, Germany, 50--61."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LXVII.265.100"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Apt K. R. and Bezem M. 1991. Acyclic programs. New Gen. Comput. 9 3\/4 335--364.  Apt K. R. and Bezem M. 1991. Acyclic programs. New Gen. Comput. 9 3\/4 335--364.","DOI":"10.1007\/BF03037168"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.757633"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545070"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/872752.873511"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-5955-7"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90027-2"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the First International Conference on Multiagent Systems","author":"Castelfranchi C.","year":"1995","unstructured":"Castelfranchi , C. 1995 . Commitments: From individual intentions to groups and organizations . In Proceedings of the First International Conference on Multiagent Systems , San Francisco, California, USA. AAAI Press, Menlo Porle, CA, 41--48. Castelfranchi, C. 1995. Commitments: From individual intentions to groups and organizations. In Proceedings of the First International Conference on Multiagent Systems, San Francisco, California, USA. AAAI Press, Menlo Porle, CA, 41--48."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227597"},{"key":"e_1_2_1_21_1","volume-title":"Negation as failure","author":"Clark K. L.","unstructured":"Clark , K. L. 1978. Negation as failure . In Logic and Data Bases, H. Gallaire and J. Minker, Eds. Plenum Press , New York, NY , 293--322. Clark, K. L. 1978. Negation as failure. In Logic and Data Bases, H. Gallaire and J. Minker, Eds. Plenum Press, New York, NY, 293--322."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0303_1"},{"key":"e_1_2_1_23_1","volume-title":"Eds. Lecture Notes in Artificial Intelligence","volume":"2990","author":"Colombetti M.","year":"2003","unstructured":"Colombetti , M. , Fornara , N. , and Verdicchio , M . 2004. A social approach to communication in multiagent systems. In Declarative Agent Languages and Technologies, J. A. Leite, A. Omicini, L. Sterling, and P. Torroni , Eds. Lecture Notes in Artificial Intelligence , vol. 2990 . Springer-Verlag, Berlin, Germany, 191--220. First International Workshop, DALT 2003 . Melbourne, Australia, July 2003. Revised selected and invited papers. Colombetti, M., Fornara, N., and Verdicchio, M. 2004. A social approach to communication in multiagent systems. In Declarative Agent Languages and Technologies, J. A. Leite, A. Omicini, L. Sterling, and P. Torroni, Eds. Lecture Notes in Artificial Intelligence, vol. 2990. Springer-Verlag, Berlin, Germany, 191--220. First International Workshop, DALT 2003. Melbourne, Australia, July 2003. Revised selected and invited papers."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.5.661"},{"key":"e_1_2_1_25_1","volume-title":"European Workshop, JELIA'98","author":"Dell'Acqua P.","year":"1998","unstructured":"Dell'Acqua , P. , Sadri , F. , and Toni , F . 1998. Combining introspection and communication with rationality and reactivity in agents. In Logics in Artificial Intelligence , European Workshop, JELIA'98 , Dagstuhl, Germany, October 12--15 , 1998 , Proceedings, J. Dix, L. Fari\u00f1as del Cerro, and U. Furbach, Eds. Lecture Notes in Computer Science, vol. 1489. Springer-Verlag, Berlin, Germany, 17--32. Dell'Acqua, P., Sadri, F., and Toni, F. 1998. Combining introspection and communication with rationality and reactivity in agents. In Logics in Artificial Intelligence, European Workshop, JELIA'98, Dagstuhl, Germany, October 12--15, 1998, Proceedings, J. Dix, L. Fari\u00f1as del Cerro, and U. Furbach, Eds. Lecture Notes in Computer Science, vol. 1489. Springer-Verlag, Berlin, Germany, 17--32."},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"Denecker M.","unstructured":"Denecker , M. and De Schreye, D. 1992. SLDNFA: An abductive procedure for normal abductive programs . In Proceedings of the Joint International Conference and Symposium on Logic Programming , Washington, USA, K. R. Apt, Ed. MIT Press, Cambridge, MA, 686--702. Denecker, M. and De Schreye, D. 1992. SLDNFA: An abductive procedure for normal abductive programs. In Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington, USA, K. R. Apt, Ed. MIT Press, Cambridge, MA, 686--702."},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 1993 International Symposium","author":"Denecker M.","unstructured":"Denecker , M. and De Schreye, D. 1993. Representing incomplete knowledge in abductive logic programming. In Logic Programming , Proceedings of the 1993 International Symposium , Vancouver, British Columbia, Canada. MIT Press, Cambridge, MA, 147--163. Denecker, M. and De Schreye, D. 1993. Representing incomplete knowledge in abductive logic programming. In Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada. MIT Press, Cambridge, MA, 147--163."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00074-5"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544909"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00005-3"},{"key":"e_1_2_1_31_1","volume-title":"9th European Conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004, Proceedings, J. J. Alferes and J. A. Leite, Eds. Lecture Notes in Artificial Intelligence","volume":"3229","author":"Endriss U.","unstructured":"Endriss , U. , Mancarella , P. , Sadri , F. , Terreni , G. , and Toni , F . 2004. The CIFF proof procedure for abductive logic programming with constraints. In Logics in Artificial Intelligence , 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004, Proceedings, J. J. Alferes and J. A. Leite, Eds. Lecture Notes in Artificial Intelligence , vol. 3229 . Springer-Verlag, Berlin, Germany, 31--43. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., and Toni, F. 2004. The CIFF proof procedure for abductive logic programming with constraints. In Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004, Proceedings, J. J. Alferes and J. A. Leite, Eds. Lecture Notes in Artificial Intelligence, vol. 3229. Springer-Verlag, Berlin, Germany, 31--43."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 6th International Conference on Logic Programming, G. Levi and M. Martelli, Eds. MIT Press","author":"Eshghi K.","unstructured":"Eshghi , K. and Kowalski , R. A . 1989. Abduction compared with negation by failure . In Proceedings of the 6th International Conference on Logic Programming, G. Levi and M. Martelli, Eds. MIT Press , Cambridge, MA, 234--255. Eshghi, K. and Kowalski, R. A. 1989. Abduction compared with negation by failure. In Proceedings of the 6th International Conference on Logic Programming, G. Levi and M. Martelli, Eds. MIT Press, Cambridge, MA, 234--255."},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of the International Conference on Fifth Generation Computer Systems","author":"Evans C.","unstructured":"Evans , C. and Kakas , A . 1992. Hypotheticodeductive reasoning . In Proceedings of the International Conference on Fifth Generation Computer Systems ( Tokyo). 546--554. Evans, C. and Kakas, A. 1992. Hypotheticodeductive reasoning. In Proceedings of the International Conference on Fifth Generation Computer Systems (Tokyo). 546--554."},{"key":"e_1_2_1_34_1","volume-title":"Foundation for Intelligent Physical Agents. Aug. Published on","author":"FIPA.","year":"2001","unstructured":"FIPA. 2001 . FIPA Communicative Act Library Specification. Experimental specification XC00037H , Foundation for Intelligent Physical Agents. Aug. Published on August 10, 2001; available for download from the FIPA Web site, http:\/\/www.fipa.org. FIPA. 2001. FIPA Communicative Act Library Specification. Experimental specification XC00037H, Foundation for Intelligent Physical Agents. Aug. Published on August 10, 2001; available for download from the FIPA Web site, http:\/\/www.fipa.org."},{"key":"e_1_2_1_35_1","volume-title":"FIPA Request Interaction Protocol Specification. Standard SC00026H","year":"2002","unstructured":"FIPA. 2002. FIPA Request Interaction Protocol Specification. Standard SC00026H , Foundation for Intelligent Physical Agents. Dec. Published on December 3, 2002 ; available for download from the FIPA Web site, http:\/\/www.fipa.org. FIPA. 2002. FIPA Request Interaction Protocol Specification. Standard SC00026H, Foundation for Intelligent Physical Agents. Dec. Published on December 3, 2002; available for download from the FIPA Web site, http:\/\/www.fipa.org."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544868"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860659"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)00026-5"},{"key":"e_1_2_1_41_1","unstructured":"Gavanelli M. Lamma E. and Mello P. 2005a. Proof of completeness of the SCIFF proof-procedure. Tech. rep. CS-2005-02. Dipartimento di Ingegneria Universit\u00e0 di Ferrara Ferrara Italy. Available at online http:\/\/www.ing.unife.it\/informatica\/tr\/CS-2005-02.pdf.  Gavanelli M. Lamma E. and Mello P. 2005a. Proof of completeness of the SCIFF proof-procedure. Tech. rep. CS-2005-02. Dipartimento di Ingegneria Universit\u00e0 di Ferrara Ferrara Italy. Available at online http:\/\/www.ing.unife.it\/informatica\/tr\/CS-2005-02.pdf."},{"key":"e_1_2_1_42_1","unstructured":"Gavanelli M. Lamma E. and Mello P. 2005b. Proof of properties of the SCIFF proof-procedure. Tech. rep. CS-2005-01. Dipartimento di Ingegneria Universit\u00e0 di Ferrara Ferrara Italy. Available online at http:\/\/www.ing.unife.it\/informatica\/tr\/CS-2005-01.pdf.  Gavanelli M. Lamma E. and Mello P. 2005b. Proof of properties of the SCIFF proof-procedure. Tech. rep. CS-2005-01. Dipartimento di Ingegneria Universit\u00e0 di Ferrara Ferrara Italy. Available online at http:\/\/www.ing.unife.it\/informatica\/tr\/CS-2005-01.pdf."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI","author":"Kakas A.","year":"2004","unstructured":"Kakas , A. , Mancarella , P. , Sadri , F. , Stathis , K. , and Toni , F . 2004. The KGP model of agency . In Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004 ), R. Lopez de Mantaras and L. Saitta, Eds. IOS Press, Amsterdam, The Netherlands. Kakas, A., Mancarella, P., Sadri, F., Stathis, K., and Toni, F. 2004. The KGP model of agency. In Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004), R. Lopez de Mantaras and L. Saitta, Eds. IOS Press, Amsterdam, The Netherlands."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI-90","author":"Kakas A. C.","unstructured":"Kakas , A. C. and Mancarella , P . 1990. On the relation between truth maintenance and abduction . In Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI-90 , Nagoya, Japan, T. Fukumura, Ed. Ohmsha Ltd., Tokyo, Japan, 438--443. Kakas, A. C. and Mancarella, P. 1990. On the relation between truth maintenance and abduction. In Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI-90, Nagoya, Japan, T. Fukumura, Ed. Ohmsha Ltd., Tokyo, Japan, 438--443."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00075-8"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","author":"Kakas A. C.","unstructured":"Kakas , A. C. , van Nuffelen , B. , and Denecker , M . 2001. A-System: Problem solving through abduction . In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence , Seattle, Washington, USA (IJCAI-01), B. Nebel, Ed. Morgan Kaufmann Publishers, San Francisco, CA, 591--596. Kakas, A. C., van Nuffelen, B., and Denecker, M. 2001. A-System: Problem solving through abduction. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, Seattle, Washington, USA (IJCAI-01), B. Nebel, Ed. Morgan Kaufmann Publishers, San Francisco, CA, 591--596."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/296327.296328"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/11750734_1"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018934223383"},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the CADE-15 Workshop on Strategies in Automated Deduction, B. Gramlich and F. Pfenning, Eds. 49--56","author":"Kowalski R. A.","unstructured":"Kowalski , R. A. , Sadri , F. , and Toni , F . 1998b. An agent architecture that combines backward and forward reasoning . In Proceedings of the CADE-15 Workshop on Strategies in Automated Deduction, B. Gramlich and F. Pfenning, Eds. 49--56 . Kowalski, R. A., Sadri, F., and Toni, F. 1998b. An agent architecture that combines backward and forward reasoning. In Proceedings of the CADE-15 Workshop on Strategies in Automated Deduction, B. Gramlich and F. Pfenning, Eds. 49--56."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90007-0"},{"key":"e_1_2_1_55_1","volume-title":"2nd extended ed","author":"Lloyd J. W.","unstructured":"Lloyd , J. W. 1987. Foundations of Logic Programming , 2nd extended ed . Springer-Verlag , Berlin, Germany . Lloyd, J. W. 1987. Foundations of Logic Programming, 2nd extended ed. Springer-Verlag, Berlin, Germany."},{"key":"e_1_2_1_56_1","volume-title":"Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, Eds. Lecture Notes in Artificial Intelligence","volume":"2829","author":"Mancarella P.","unstructured":"Mancarella , P. and Terreni , G . 2003. An abductive proof procedure handling active rules. In AI&ast;IA 2003: Advances in Artificial Intelligence , Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, Eds. Lecture Notes in Artificial Intelligence , vol. 2829 . Springer-Verlag, Berlin, Germany, 105--117. Mancarella, P. and Terreni, G. 2003. An abductive proof procedure handling active rules. In AI&ast;IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, A. Cappelli and F. Turini, Eds. Lecture Notes in Artificial Intelligence, vol. 2829. Springer-Verlag, Berlin, Germany, 105--117."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093637776"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370671"},{"key":"e_1_2_1_59_1","volume-title":"On closed-word data bases","author":"Reiter R.","unstructured":"Reiter , R. 1978. On closed-word data bases . In Logic and Data Bases, H. Gallaire and J. Minker, Eds. Plenum Press , New York, NY , 55--76. Reiter, R. 1978. On closed-word data bases. In Logic and Data Bases, H. Gallaire and J. Minker, Eds. Plenum Press, New York, NY, 55--76."},{"key":"e_1_2_1_60_1","volume-title":"Computer Science: Normative System Specification, J.-J","author":"Ryu Y. U.","year":"1993","unstructured":"Ryu , Y. U. and Lee , R. M . 1993 . Defeasible deontic reasoning: A logic programming model. In Deontic Logic in Computer Science: Normative System Specification, J.-J . Meyer and R. Wieringa, Eds. John Wiley & Sons , New York, NY, 225--241. Ryu, Y. U. and Lee, R. M. 1993. Defeasible deontic reasoning: A logic programming model. In Deontic Logic in Computer Science: Normative System Specification, J.-J. Meyer and R. Wieringa, Eds. John Wiley & Sons, New York, NY, 225--241."},{"key":"e_1_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Sadri F.\n     and \n      Toni F\n  . \n  2000\n  . Abduction with negation as failure for active and reactive rules. In AI&ast;IA'99: Advances in Artificial Intelligence Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence Bologna E. Lamma and P. Mello Eds. Number 1792 in \n  Lecture Notes in Artificial Intelligence vol. \n  1792\n  . \n  Springer-Verlag Berlin Germany 49--60.   Sadri F. and Toni F. 2000. Abduction with negation as failure for active and reactive rules. In AI&ast;IA'99: Advances in Artificial Intelligence Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence Bologna E. Lamma and P. Mello Eds. Number 1792 in Lecture Notes in Artificial Intelligence vol. 1792. Springer-Verlag Berlin Germany 49--60.","DOI":"10.1007\/3-540-46238-4_5"},{"key":"e_1_2_1_62_1","volume-title":"Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), S. Greco and N. Leone, Eds. Lecture Notes in Computer Science","volume":"2424","author":"Sadri F.","unstructured":"Sadri , F. , Toni , F. , and Torroni , P . 2002. An abductive logic programming architecture for negotiating agents . In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), S. Greco and N. Leone, Eds. Lecture Notes in Computer Science , vol. 2424 . Springer-Verlag, Berlin, Germany, 419--431. Sadri, F., Toni, F., and Torroni, P. 2002. An abductive logic programming architecture for negotiating agents. In Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), S. Greco and N. Leone, Eds. Lecture Notes in Computer Science, vol. 2424. Springer-Verlag, Berlin, Germany, 419--431."},{"key":"e_1_2_1_63_1","volume-title":"Legal Reasoning: A Cognitive Approach to the Law","author":"Sartor G.","year":"2005","unstructured":"Sartor , G. 2005 . Legal Reasoning: A Cognitive Approach to the Law . Springer , Berlin, Germany . Sartor, G. 2005. Legal Reasoning: A Cognitive Approach to the Law. Springer, Berlin, Germany."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.5555\/518904.878867"},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"Satoh K.","unstructured":"Satoh , K. and Iwayama , N . 1992. A query evaluation method for abductive logic programming . In Proceedings of the Joint International Conference and Symposium on Logic Programming , Washington, USA, K. Apt, Ed. MIT Press, Cambridge, MA, 671--685. Satoh, K. and Iwayama, N. 1992. A query evaluation method for abductive logic programming. In Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington, USA, K. Apt, Ed. MIT Press, Cambridge, MA, 671--685."},{"key":"e_1_2_1_66_1","series-title":"Series In Engineering And Computer Science","volume-title":"Kluwer Int","author":"Shanahan M. P.","unstructured":"Shanahan , M. P. 2000. Reinventing Shakey . In Logic-based Artificial Intelligence, J. Minker, Ed. Kluwer Int . Series In Engineering And Computer Science , vol. 597 . Kluwer , Dordrecht, The Netherlands, 233--253. Shanahan, M. P. 2000. Reinventing Shakey. In Logic-based Artificial Intelligence, J. Minker, Ed. Kluwer Int. Series In Engineering And Computer Science, vol. 597. Kluwer, Dordrecht, The Netherlands, 233--253."},{"key":"e_1_2_1_67_1","unstructured":"SICStus 2006. SICStus Prolog user manual release 3.12.7. Available online at http:\/\/www.sics.se\/isl\/sicstus\/.  SICStus 2006. SICStus Prolog user manual release 3.12.7. Available online at http:\/\/www.sics.se\/isl\/sicstus\/."},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.735849"},{"key":"e_1_2_1_69_1","unstructured":"SOCS. 2002--2005. Societies Of ComputeeS (SOCS): A computational logic model for the description analysis and verification of global and open societies of heterogeneous computees. IST-2001-32530. http:\/\/lia.deis.unibo.it\/research\/socs\/.  SOCS. 2002--2005. Societies Of ComputeeS (SOCS): A computational logic model for the description analysis and verification of global and open societies of heterogeneous computees. IST-2001-32530. http:\/\/lia.deis.unibo.it\/research\/socs\/."},{"key":"e_1_2_1_70_1","unstructured":"SOCS-PR. 2005. The SOCS protocol repository. Available online at http:\/\/edu59.deis.unibo.it:8079\/SOCSProtocolsRepository\/jsp\/index.jsp.  SOCS-PR. 2005. The SOCS protocol repository. Available online at http:\/\/edu59.deis.unibo.it:8079\/SOCSProtocolsRepository\/jsp\/index.jsp."},{"key":"e_1_2_1_71_1","unstructured":"SOCS-SI 2006. SOCS-SI home page. Available online at http:\/\/lia.deis.unibo.it\/research\/socs_si\/.  SOCS-SI 2006. SOCS-SI home page. Available online at http:\/\/lia.deis.unibo.it\/research\/socs_si\/."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1048"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008359312576"},{"key":"e_1_2_1_74_1","volume-title":"Proceedings of the Eigth International Conference","volume":"2","author":"van Hentenryck P.","unstructured":"van Hentenryck , P. and Deville , Y . 1991. The Cardinality Operator: A new logical connective for constraint logic programming. In Logic Programming , Proceedings of the Eigth International Conference ( Paris, France), K. Furukawa, Ed. Vol. 2 . 745--759. van Hentenryck, P. and Deville, Y. 1991. The Cardinality Operator: A new logical connective for constraint logic programming. In Logic Programming, Proceedings of the Eigth International Conference (Paris, France), K. Furukawa, Ed. Vol. 2. 745--759."},{"key":"e_1_2_1_75_1","unstructured":"van Hentenryck P. Saraswat V. and Deville Y. 1993. Design implementation and evaluation of the constraint language cc(FD). Tech. rep. CS-93-02. Department of Computer Sciences Brown University Providence RI.   van Hentenryck P. Saraswat V. and Deville Y. 1993. Design implementation and evaluation of the constraint language cc(FD). Tech. rep. CS-93-02. Department of Computer Sciences Brown University Providence RI."},{"key":"e_1_2_1_76_1","volume-title":"Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'00","author":"van Nuffelen B.","unstructured":"van Nuffelen , B. and Denecker , M . 2000. Problem solving in ID-logic with aggregates . In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'00 , Breckenridge, CO). 1--9. van Nuffelen, B. and Denecker, M. 2000. Problem solving in ID-logic with aggregates. In Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR'00, Breckenridge, CO). 1--9."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.5555\/786768.786967"},{"key":"e_1_2_1_78_1","volume-title":"Introduction to Multi-Agent Systems","author":"Wooldridge M.","unstructured":"Wooldridge , M. 2002. Introduction to Multi-Agent Systems . John Wiley & Sons , New York, NY . Wooldridge, M. 2002. Introduction to Multi-Agent Systems. John Wiley & Sons, New York, NY."},{"key":"e_1_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213006002631"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LX.237.1"},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544867"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1380572.1380578","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1380572.1380578","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:45Z","timestamp":1750255065000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1380572.1380578"}},"subtitle":["The SCIFF framework"],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":80,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["10.1145\/1380572.1380578"],"URL":"https:\/\/doi.org\/10.1145\/1380572.1380578","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]},"assertion":[{"value":"2006-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2007-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2008-08-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}