{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:35:43Z","timestamp":1725467743595},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650829"},{"type":"electronic","value":"9783540496557"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055998","type":"book-chapter","created":{"date-parts":[[2006,7,30]],"date-time":"2006-07-30T08:28:08Z","timestamp":1154248088000},"page":"148-163","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Progress report on the disjunctive deductive database system dlv"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"given":"Cristinel","family":"Mateis","sequence":"additional","affiliation":[]},{"given":"Gerald","family":"Pfeifer","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Scarcello","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,31]]},"reference":[{"issue":"3\/4","key":"12_CR1","first-page":"151","volume":"10","author":"C. Aravindan","year":"1997","unstructured":"C. Aravindan, J. Dix, and I. Niemel\u00e4. Dislop: A research project on disjunctive logic programming. AI Communications, 10(3\/4):151\u2013165, 1997.","journal-title":"AI Communications"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. In Proceedings of 1990 ACM-SIGMOD International Conference, pages 225\u2013236, Atlantic City, NJ, May 1990.","DOI":"10.1145\/93605.98732"},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/69.599933","volume":"9","author":"M. Cadoli","year":"1997","unstructured":"M. Cadoli, T. Eiter, and G. Gottlob. Default Logic as a Query Language. IEEE Transactions on Knowledge and Data Engineering, 9(3):448\u2013463, May\/June 1997.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsur, and C. Zaniolo. The LDL System Prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1), 1990.","DOI":"10.1109\/69.50907"},{"key":"12_CR5","unstructured":"P. Cholewi\u0144ski, V. W. Marek, and M. Truszczy\u0144ski. Default Reasoning System DeReS. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR '96), Cambridge, Massachusetts, USA, 1996."},{"key":"12_CR6","first-page":"128","volume-title":"Research Report PMS-FB10","author":"S. Citrigno","year":"1997","unstructured":"S. Citrigno, T. Eiter, W. Faber, G. Gottlob, C. Koch, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The dlv System: Model Generator and Application Frontends. In Proceedings of the 12th Workshop on Logic Programming (WLP '97), Research Report PMS-FB10, pages 128\u2013137, M\u00fcnchen, Germany, September 1997. LMU M\u00fcnchen."},{"issue":"1\u20132","key":"12_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0304-3975(96)00179-X","volume":"189","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, G. Gottlob, and N. Leone. Abduction From Logic Programs: Semantics and Complexity. Theoretical Computer Science, 189(1\u20132):129\u2013177, December 1997.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1145\/261124.261126","volume":"22","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transactions on Database Systems, 22(3):315\u2013363, September 1997.","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR9","volume-title":"number 1265 in Lecture Notes in AI (LNAI)","author":"T. Eiter","year":"1997","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A Deductive System for Non-monotonic Reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '97), number 1265 in Lecture Notes in AI (LNAI), Berlin, 1997. Springer."},{"key":"12_CR10","volume-title":"Technical report","author":"T. Eiter","year":"1998","unstructured":"T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR System dlv: Progress Report, Comparisons and Benchmarks. Technical report, Institut f\u00fcr Informationssysteme, TU Wien, 1998."},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"A. Kakas, R. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 1993.","DOI":"10.1093\/logcom\/2.6.719"},{"key":"12_CR13","unstructured":"A. Kakas and P. Mancarella. Database Updates Through Abduction. In Proceedings VLDB-90, pages 650\u2013661, 1990."},{"key":"12_CR14","volume-title":"The Stanford GraphBase: a platform for combinatorial computing","author":"D. E. Knuth","year":"1994","unstructured":"D. E. Knuth. The Stanford GraphBase: a platform for combinatorial computing. ACMPress, New York, 1994."},{"key":"12_CR15","unstructured":"N. Leone and P. Rullo. BQM: A System Integrating Logic, Objects, and Non-Monotonic Reasoning. In Invited Paper on 7th IEEE International Conference on Tools with Artificial Intelligence, Washington, November 1995."},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1006\/inco.1997.2630","volume":"135","author":"N. Leone","year":"1997","unstructured":"N. Leone, P. Rullo, and F. Scarcello. Disjunctive stable models: Unfounded sets, fixpoint semantics and computation. Information and Computation, 135(2):69\u2013112, June 1997.","journal-title":"Information and Computation"},{"key":"12_CR17","unstructured":"I. Niemel\u00e4 and P. Simons. Efficient Implementation of the Well-founded and Stable Model Semantics. In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 289\u2013303, Bonn, Germany, Sept. 1996."},{"key":"12_CR18","volume-title":"Philosophical Writings of Peirce","author":"C. S. Peirce","year":"1955","unstructured":"C. S. Peirce. Abduction and induction. In J. Buchler, editor, Philosophical Writings of Peirce, chapter 11. Dover, New York, 1955."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"Y. Peng and J. Reggia. Abductive Inference Models for Diagnostic Problem Solving. Symbolic Computation \u2014 Artificial Intelligence. Springer, 1990.","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proceedings ACM-SIGMOD Conference on Management of Data, pages 308\u2013317, 1991.","DOI":"10.1145\/119995.115840"},{"issue":"1","key":"12_CR21","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"D. Poole. Explanation and Prediction: An Architecture for Default and Abductive Reasoning. Computational Intelligence, 5(1):97\u2013110, 1989.","journal-title":"Computational Intelligence"},{"key":"12_CR22","unstructured":"R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL \u2014 Control, Relations and Logic. In Proceedings of the 18th VLDB Conference, Vancouver, British Columbia, Canada, 1992."},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A Theory of Diagnosis From First Principles. Artificial Intelligence, 32:57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"12_CR24","unstructured":"D. Seipel and H. Th\u00f6ne. DisLog \u2014 A System for Reasoning in Disjunctive Deductive Databases. In Proceedings International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), 1994."},{"key":"12_CR25","unstructured":"A. X3H2 and I. DBL. (ISO-ANSI Working Draft) Foundation (SQL\/Foundation) [ISO DBL:LGW-008 \/ ANSI X3H2-97-030], Apr. 1997. Temporarily available at ftp:\/\/jerry.ece.umassd.edu\/isowg3\/db1\/BASEdocs\/public\/sqlfound.txt."}],"container-title":["Lecture Notes in Computer Science","Flexible Query Answering Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:16:47Z","timestamp":1558271807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650829","9783540496557"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0055998","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"31 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}