{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:57:49Z","timestamp":1725551869713},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540317821"},{"type":"electronic","value":"9783540317845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11663881_8","type":"book-chapter","created":{"date-parts":[[2006,1,19]],"date-time":"2006-01-19T06:31:46Z","timestamp":1137652306000},"page":"116-136","source":"Crossref","is-referenced-by-count":0,"title":["Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results"],"prefix":"10.1007","author":[{"given":"Gianluigi","family":"Greco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Peirce, C.S.: Abduction and induction. In: Philosophical Writings of Peirce, pp. 150\u2013156 (1955)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Denecker, M., Kakas, A.C.: Abduction in logic programming. Computational Logic: Logic Programming and Beyond, 402\u2013436 (2002)","DOI":"10.1007\/3-540-45628-7_16"},{"key":"8_CR3","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: A semantics for abduction. In: Proc. of ECAI 1990, pp. 385\u2013391 (1990)"},{"key":"8_CR4","unstructured":"Lin, F., You, J.H.: Abduction in logic programming: A new definition and an abductive procedure based on rewriting. In: Proc. of IJCAI 2001, pp. 655\u2013666 (2001)"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Dupre, D.T., Torasso, P.: On the relationship between abduction and deduction. Journal of Logic and Computation\u00a01, 661\u2013690 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR6","unstructured":"Kakas, A.C., Nuffelen, B.V., Denecker, M.: A-system: Problem solving through abduction. In: Proc. of IJCAI 2001, pp. 591\u2013596 (2001)"},{"key":"8_CR7","unstructured":"Dung, P.M.: Negation as hypotheses: An abductive foundation for logic programming. In: Proc. of ICLP 1991, pp. 3\u201317 (1991)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The ciff proof procedure for abductive logic programming with constraints. In: Proc. of JELIA 2004, pp. 31\u201343 (2004)","DOI":"10.1007\/978-3-540-30227-8_6"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/3-540-45628-7_21","volume-title":"Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I","author":"F. Buccafurri","year":"2002","unstructured":"Buccafurri, F., Gottlob, G.: Multiagent compromises, joint fixpoints, and stable models. In: Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, pp. 561\u2013585. Springer, London (2002)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/200836.200838","volume":"42","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: The complexity of logic-based abduction. J. ACM\u00a042, 3\u201342 (1995)","journal-title":"J. ACM"},{"key":"8_CR11","first-page":"123","volume":"5","author":"S. Perri","year":"2005","unstructured":"Perri, S., Scarcello, F., Leone, N.: Abductive logic programs with penalization: Semantics, complexity and implementation. TPLP\u00a05, 123\u2013159 (2005)","journal-title":"TPLP"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.artint.2004.06.001","volume":"159","author":"A.M. Abdelbar","year":"2004","unstructured":"Abdelbar, A.M.: Approximating cost-based abduction is np-hard. Artificial Intelligence\u00a0159, 231\u2013239 (2004)","journal-title":"Artificial Intelligence"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Kakas, A., Moraitis, P.: Argumentation based decision making for autonomous agents. In: Proc. of AAMAS 2003, pp. 883\u2013890 (2003)","DOI":"10.1145\/860575.860717"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1613\/jair.1322","volume":"21","author":"O. Arieli","year":"2004","unstructured":"Arieli, O., Denecker, M., Nuffelen, B.V., Bruynooghe, M.: Coherent integration of databases by abductive logic programming. J. Artif. Intell. Research\u00a021, 245\u2013286 (2004)","journal-title":"J. Artif. Intell. Research"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Pivkina, I., Pontelli, E., Son, T.C.: Revising knowledge in multi-agent systems using revision programming with preferences. In: Proc. of CLIMA IV, pp. 134\u2013158 (2004)","DOI":"10.1007\/978-3-540-30200-1_8"},{"key":"8_CR16","unstructured":"Mura, P.L., Shoham, Y.: Conditional, hierarchical, multi-agent preferences. In: Proc. of TARK 1998, pp. 215\u2013224 (1998)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Faratin, P., de Walle, B.V.: Agent preference relations: Strict, indifferent, and incomparable. In: Proc. of AAMAS 2002, pp. 1317\u20131324 (2002)","DOI":"10.1145\/545056.545125"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Bracciali, A., Mancarella, P., Stathis, K., Toni, F.: On modelling multi-agent systems declaratively. In: Proc. of DALT 2004, pp. 53\u201368 (2004)","DOI":"10.1007\/11493402_4"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-25975-6_7","volume-title":"Advanced Information Systems Engineering","author":"B.V. Nuffelen","year":"2004","unstructured":"Nuffelen, B.V., Cort\u00e9s-Calabuig, A., Denecker, M., Arieli, O., Bruynooghe, M.: Data integration using id-logic. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 67\u201381. Springer, Heidelberg (2004)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45635-X_31","volume-title":"Logic Programming","author":"G. Greco","year":"2001","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 348\u2013364. Springer, Heidelberg (2001)"},{"key":"8_CR21","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of IJCAI 2003, pp. 16\u201321 (2003)"},{"key":"8_CR22","unstructured":"Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. of IJCAI 2003, pp. 10\u201315 (2003)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: Proc. of PODS 2004, pp. 241\u2013251 (2004)","DOI":"10.1145\/1055558.1055593"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Schlosser, M.T., Sintek, M., Decker, S., Nejdl, W.: Hypercup - hypercubes, ontologies, and efficient search on peer-to-peer networks. In: Proc. of AP2PC 2002, pp. 112\u2013124 (2002)","DOI":"10.1007\/3-540-45074-2_11"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Franconi, E., Kuper, G., Lopatenko, A., Serafini, L.: A robust logical and computational characterisation of peer-to-peer database systems. In: Proc. od DBISP2P 2003, pp. 64\u201376 (2003)","DOI":"10.1007\/978-3-540-24629-9_6"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Bertossi, L.E., Bravo, L.: Query answering in peer-to-peer data exchange systems. In: Proc. of EDBT Workshops 2004, pp. 476\u2013485 (2004)","DOI":"10.1007\/978-3-540-30192-9_47"},{"key":"8_CR27","unstructured":"Lenzerini, M.: Principles of p2p data integration. In: Proc. of DiWeb 2004, pp. 7\u201321 (2004)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Greco, G., Scarcello, F.: On the Complexity of Computing Peer Agreements for Consistent Query Answering in Peer-to-Peer Data Integration Systems. In: Proc. of CIKM 2005 (2005)","DOI":"10.1145\/1099554.1099564"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS 2003, pp. 260\u2013271 (2003)","DOI":"10.1145\/773153.773179"},{"key":"8_CR30","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1613\/jair.1683","volume":"24","author":"G. Gottlob","year":"2005","unstructured":"Gottlob, G., Greco, G., Scarcello, F.: Pure nash equilibria: hard and easy games. Journal of Artificial Intelligence Research\u00a024, 357\u2013406 (2005)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"3","key":"8_CR31","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1016\/0022-0000(88)90039-6","volume":"36","author":"M.W. Krentel","year":"1988","unstructured":"Krentel, M.W.: The Complexity of Optimization Problems. Journal of Computer and System Sciences\u00a036(3), 490\u2013509 (1988)","journal-title":"Journal of Computer and System Sciences"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An abductive framework for information exchange in multi-agent systems. In: Proc. of CLIMA IV, pp. 34\u201352 (2004)","DOI":"10.1007\/978-3-540-30200-1_3"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Semantics of communicating agents based on deduction and abduction. Issues in Agent Communication, 63\u201379 (2000)","DOI":"10.1007\/10722777_5"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Proc. of JELIA 2002, pp. 419\u2013431 (2002)","DOI":"10.1007\/3-540-45757-7_35"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A. Ciampolini","year":"2003","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Cooperation and competition in alias: A logic framework for agents that negotiate. Ann. Math. Artif. Intell.\u00a037, 65\u201391 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"8_CR36","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/S0096-0551(01)00020-0","volume":"27","author":"A. Ciampolini","year":"2001","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: Laila: a language for coordinating abductive reasoning among logic agents. Comput. Lang.\u00a027, 137\u2013161 (2001)","journal-title":"Comput. Lang."},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Schroeder, M., de Almeida Mora, I., Pereirat, L.M.: A deliberative and reactive diagnosis agent based on logic programming. In: Proc. of ICTAI 1996, p. 436 (1996)","DOI":"10.1109\/TAI.1996.560771"},{"key":"8_CR38","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/0004-3702(94)90030-2","volume":"66","author":"E. Charniak","year":"1994","unstructured":"Charniak, E., Shimony, S.: Cost-based abduction and map explanations. Artificial Intelligence\u00a066, 345\u2013374 (1994)","journal-title":"Artificial Intelligence"},{"key":"8_CR39","series-title":"Lecture Notes in Artificial Intelligence","first-page":"434","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Syrj\u00e4nen","year":"2001","unstructured":"Syrj\u00e4nen, T., Niemel\u00e4, I.: The smodels system. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 434\u2013438. Springer, Heidelberg (2001)"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell\u2019Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Perri, S., Polleres, A.: The DLV System. In: Proc. of JELIA 2002, pp. 537\u2013540 (2002)","DOI":"10.1007\/3-540-45757-7_50"},{"key":"8_CR41","unstructured":"Brewka, G., Niemel\u00e4, I., Truszczynski, M.: Answer set optimization. In: Proc. of IJCAI 2003, pp. 867\u2013872 (2003)"},{"key":"8_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-540-27775-0_13","volume-title":"Logic Programming","author":"D. Nieuwenborgh Van","year":"2004","unstructured":"Van Nieuwenborgh, D., Heymans, S., Vermeir, D.: On Programs with Linearly Ordered Multiple Preferences. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 180\u2013194. Springer, Heidelberg (2004)"},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O., Needham, J.: Multi-agent Platform using Ordered Choice Logic Programming. In: Proc. of DALT 2005, pp. 67\u201383 (2005)","DOI":"10.1007\/11691792_5"},{"key":"8_CR44","doi-asserted-by":"crossref","unstructured":"De Vos, M., Vermeir, D.: Choice Logic Programs and Nash Equilibria in Strategic Games. In: Proc. of CSL 1999, pp. 266\u2013276 (1999)","DOI":"10.1007\/3-540-48168-0_19"},{"key":"8_CR45","unstructured":"Apt, K.R., Rossi, F., Venable, K.B.: CP-nets and Nash equilibria. In: Proc. of CIRAS 2005 (2005)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11663881_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T02:42:46Z","timestamp":1683340966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11663881_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540317821","9783540317845"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/11663881_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}