{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:05:08Z","timestamp":1743087908802,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642234408"},{"type":"electronic","value":"9783642234415"}],"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-23441-5_4","type":"book-chapter","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T22:35:01Z","timestamp":1313188501000},"page":"54-72","source":"Crossref","is-referenced-by-count":10,"title":["Answers that Have Integrity"],"prefix":"10.1007","author":[{"given":"Hendrik","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"68","volume-title":"Proc. 18th PODS","author":"M. Arenas","year":"1999","unstructured":"Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. 18th PODS, pp. 68\u201379. ACM Press, New York (1999)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30597-2_1","volume-title":"Inconsistency Tolerance","author":"L. Bertossi","year":"2005","unstructured":"Bertossi, L., Hunter, A., Schaub, T.: Introduction to inconsistency tolerance. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol.\u00a03300, pp. 1\u201314. Springer, Heidelberg (2005)"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"S. Chakravarthy","year":"1990","unstructured":"Chakravarthy, S., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM TODS\u00a015(2), 162\u2013207 (1990)","journal-title":"ACM TODS"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11965893_1","volume-title":"Database Theory \u2013 ICDT 2007","author":"J. Chomicki","year":"2006","unstructured":"Chomicki, J.: Consistent Query Answering: Five Easy Pieces. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol.\u00a04353, pp. 1\u201317. Springer, Heidelberg (2006)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as Failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1007\/978-3-642-16949-6_23","volume-title":"On the Move to Meaningful Internet Systems, OTM 2010","author":"H. Decker","year":"2010","unstructured":"Decker, H.: Toward a Uniform Cause-Based Approach to Inconsistency-Tolerant Database Semantics. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2010. LNCS, vol.\u00a06427, pp. 983\u2013998. Springer, Heidelberg (2010)"},{"key":"4_CR7","first-page":"318","volume-title":"Proc. 21st DEXA Workshop","author":"H. Decker","year":"2010","unstructured":"Decker, H.: Basic causes for the Inconsistency Tolerance of Query Answering and Integrity Checking. In: Proc. 21st DEXA Workshop, pp. 318\u2013322. IEEE CPS, Los Alamitos (2010)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BFb0055502","volume-title":"Transactions and Change in Logic Databases","author":"H. Decker","year":"1998","unstructured":"Decker, H.: Some Notes on Knowledge Assimilation in Deductive Databases. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol.\u00a01472, pp. 249\u2013286. Springer, Heidelberg (1998)"},{"key":"4_CR9","first-page":"173","volume-title":"Proc. 3rd Workshop on Foundations of Models and Languages for Data and Objects","author":"H. Decker","year":"1991","unstructured":"Decker, H.: On Explanations in Deductive Databases. In: Proc. 3rd Workshop on Foundations of Models and Languages for Data and Objects, vol.\u00a091\/3, pp. 173\u2013185. Inst.f.Informatik, Tech.Univ.Clausthal, Informatik-Bericht (1991)"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1109\/TKDE.2010.87","volume":"23","author":"H. Decker","year":"2011","unstructured":"Decker, H., Martinenghi, D.: Inconsistency-tolerant Integrity Checking. Transactions of Knowledge and Data Engineering\u00a023(2), 218\u2013234 (2011)","journal-title":"Transactions of Knowledge and Data Engineering"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-04947-7_26","volume-title":"Advances in Conceptual Modeling - Challenging Perspectives","author":"H. Decker","year":"2009","unstructured":"Decker, H., Martinenghi, D.: Modeling, Measuring and Monitoring the Quality of Information. In: Heuser, C.A., Pernul, G. (eds.) ER 2009. LNCS, vol.\u00a05833, pp. 212\u2013221. Springer, Heidelberg (2009)"},{"key":"4_CR12","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.: 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":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P. Dung","year":"2006","unstructured":"Dung, P., Kowalski, R., Toni, F.: Dialectic proof procedures for assumption-based admissible argumentation. Artif. Intell.\u00a0170(2), 114\u2013159 (2006)","journal-title":"Artif. Intell."},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T. Fung","year":"1997","unstructured":"Fung, T., Kowalski, R.: The IFF proof procedure for abductive logic programming. J. Logic Programming\u00a033(2), 151\u2013165 (1997)","journal-title":"J. Logic Programming"},{"key":"4_CR15","first-page":"105","volume-title":"Proc. 8th SARA","author":"T. Hinrichs","year":"2009","unstructured":"Hinrichs, T., Kao, J., Genesereth, M.: Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases. In: Proc. 8th SARA, pp. 105\u2013112. AAAI Press, Menlo Park (2009)"},{"key":"4_CR16","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A. Kakas","year":"1998","unstructured":"Kakas, A., Kowalski, R., 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":"4_CR17","first-page":"650","volume-title":"Proc. 16th VLDB","author":"A. Kakas","year":"1990","unstructured":"Kakas, A., Mancarella, P.: Database Updates through Abduction. In: Proc. 16th VLDB, pp. 650\u2013661. Morgan Kaufmann, San Francisco (1990)"},{"key":"4_CR18","first-page":"569","volume-title":"Proc. 6th IFIP","author":"R. Kowalski","year":"1974","unstructured":"Kowalski, R.: Predicate Logic as a Programming Language. In: Proc. 6th IFIP, pp. 569\u2013574. North-Holland, Amsterdam (1974)"},{"key":"4_CR19","volume-title":"Handbook of Applied Expert Systems","author":"J. Liebowitz","year":"1998","unstructured":"Liebowitz, J.: Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)"},{"key":"4_CR20","unstructured":"Lifschitz, V.: What is Answer Set Computing? In: Proc. 23rd AAAI, pp. 1594\u20131597 (2008)"},{"key":"4_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"6","key":"4_CR22","first-page":"691","volume":"9","author":"P. Mancarella","year":"2009","unstructured":"Mancarella, P., Terreni, G., Sadri, F., Toni, F., Endriss, U.: The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments. TPLP\u00a09(6), 691\u2013750 (2009)","journal-title":"TPLP"},{"key":"4_CR23","first-page":"119","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 119\u2013140. Plenum Press, New York (1978)"},{"key":"4_CR24","first-page":"367","volume-title":"Proc. 12th ICLP","author":"F. Toni","year":"1995","unstructured":"Toni, F., Kowalski, R.: Reduction of abductive logic programs to normal logic programs. In: Proc. 12th ICLP, pp. 367\u2013381. MIT Press, Cambridge (1995)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BFb0055503","volume-title":"Transactions and Change in Logic Databases","author":"M.-A. Williams","year":"1998","unstructured":"Williams, M.-A.: Applications of Belief Revision. In: Kifer, M., Voronkov, A., Freitag, B., Decker, H. (eds.) Dagstuhl Seminar 1997, DYNAMICS 1997, and ILPS-WS 1997. LNCS, vol.\u00a01472, pp. 287\u2013316. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23441-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,31]],"date-time":"2019-03-31T09:32:52Z","timestamp":1554024772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23441-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642234408","9783642234415"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23441-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}