{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:41:28Z","timestamp":1725608488864},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642223587"},{"type":"electronic","value":"9783642223594"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22359-4_15","type":"book-chapter","created":{"date-parts":[[2011,9,14]],"date-time":"2011-09-14T08:07:28Z","timestamp":1315987648000},"page":"208-224","source":"Crossref","is-referenced-by-count":2,"title":["Abduction-Based Search for Cooperative Answers"],"prefix":"10.1007","author":[{"given":"Samy","family":"S\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00e3o","family":"Alc\u00e2ntara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Andreasen, T., Christiansen, H.: Flexible query-answering systems modelled in metalogic programming. In: ECAI 1996 Workshop Knowledge Representation Meets Databases, pp. 1\u20137 (1996)"},{"key":"15_CR2","unstructured":"Balduccini, M.: Computing answer sets of cr-prolog programs. Technical report, Texas Tech. University (2006)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artif. Intell.\u00a049, 25\u201360 (1991)","journal-title":"Artif. Intell."},{"key":"15_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/3-540-45628-7_16","volume-title":"Computational Logic: Logic Programming and Beyond","author":"M. Denecker","year":"2002","unstructured":"Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol.\u00a02407, pp. 402\u2013436. Springer, Heidelberg (2002)"},{"issue":"3\/4","key":"15_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF00962922","volume":"1","author":"T. Gaasterland","year":"1992","unstructured":"Gaasterland, T., Godfrey, P., Minker, J.: Relaxation as a platform for cooperative answering. J. Intell. Inf. Syst.\u00a01(3\/4), 293\u2013321 (1992)","journal-title":"J. Intell. Inf. Syst."},{"issue":"3\/4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput.\u00a09(3\/4), 365\u2013386 (1991)","journal-title":"New Generation Comput."},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1142\/S0218843097000070","volume":"6","author":"P. Godfrey","year":"1997","unstructured":"Godfrey, P.: Minimization in cooperative response to failing database queries. International Journal of Cooperative Information Systems\u00a06, 95\u2013149 (1997)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/978-3-642-18381-2_24","volume-title":"SOFSEM 2011: Theory and Practice of Computer Science","author":"R. Halder","year":"2011","unstructured":"Halder, R., Cortesi, A.: Cooperative query answering by abstract interpretation. In: \u010cern\u00e1, I., Gyim\u00f3thy, T., Hromkovi\u010d, J., Jefferey, K., Kr\u00e1lovi\u0107, R., Vukoli\u0107, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol.\u00a06543, pp. 284\u2013296. Springer, Heidelberg (2011)"},{"key":"15_CR9","unstructured":"Inoue, K., Sakama, C.: Abductive framework for nonmonotonic theory change. In: IJCAI, pp. 204\u2013210 (1995)"},{"key":"15_CR10","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: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19\/20","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. J. Log. Program.\u00a0(19\/20), 629\u2013679 (1994)","journal-title":"J. Log. Program."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-14274-1_32","volume-title":"Case-Based Reasoning. Research and Development","author":"O. Pivert","year":"2010","unstructured":"Pivert, O., Jaudoin, H., Brando, C., Hadjali, A.: A method based on query caching and predicate substitution for the treatment of failing database queries. In: Bichindaritz, I., Montani, S. (eds.) ICCBR 2010. LNCS, vol.\u00a06176, pp. 436\u2013450. Springer, Heidelberg (2010)"},{"key":"15_CR13","unstructured":"Sadri, F., Toni, F.: Active behaviour in deductive databases. Technical report (1996)"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1017\/S1471068403001716","volume":"3","author":"C. Sakama","year":"2003","unstructured":"Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. Theory Pract. Log. Program.\u00a03, 671\u2013715 (2003)","journal-title":"Theory Pract. Log. Program."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Sakama, C., Inoue, K.: Negotiation by abduction and relaxation. In: AAMAS, pp. 1022\u20131029 (2007)","DOI":"10.1145\/1329125.1329418"},{"key":"15_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BFb0056017","volume-title":"Flexible Query Answering Systems","author":"G. Wetzel","year":"1998","unstructured":"Wetzel, G., Toni, F.: Semantic query optimization through abduction and constraint handling. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol.\u00a01495, pp. 149\u2013366. Springer, Heidelberg (1998)"}],"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\/978-3-642-22359-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T03:43:19Z","timestamp":1554435799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22359-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642223587","9783642223594"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22359-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}