{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:36Z","timestamp":1725664536090},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632559"},{"type":"electronic","value":"9783540692492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63255-7_25","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:23:13Z","timestamp":1330298593000},"page":"341-352","source":"Crossref","is-referenced-by-count":1,"title":["DisLoP: Towards a disjunctive logic programming system"],"prefix":"10.1007","author":[{"given":"Chandrabose","family":"Aravindan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Dix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilkka","family":"Niemel\u00e4","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"25_CR1","volume-title":"Technical Report RR-10-97","author":"C. Aravindan","year":"1997","unstructured":"Chandrabose Aravindan and Peter Baumgartner. A rational and efficient algorithm for view deletion in databases. Technical Report RR-10-97, Fachbereich Informatik, Universit\u00e4t Koblenz-Landau, Koblenz, Germany, 1997."},{"key":"25_CR2","first-page":"546","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"C. Aravindan","year":"1996","unstructured":"C. Aravindan, P. Baumgartner, J. Dix, U. Furbach, G. Neugebauer, I. Niemel\u00e4, D. Sch\u00e4fer, and F. Stolzenburg. On merging theorem proving and logic programming paradigms. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, page 546, Bonn, Germany, September 1996. The MIT Press."},{"issue":"1","key":"25_CR3","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1080\/11663081.1995.10510843","volume":"5","author":"C. Aravindan","year":"1995","unstructured":"Chandrabose Aravindan and Phan Minh Dung. Knowledge base dynamics, abduction, and database updates. Journal of Applied Non-Classical Logics, 5(1):51\u201376, 1995. A related report is available on the web from http:\/\/www.uni-koblenz.de\/\u223carvind\/papers\/.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Chandrabose Aravindan. An abductive framework for negation in disjunctive logic programming. In J. J. Alferes, L. M. Pereira, and E. Orlowska, editors, Proceedings of Joint European workshop on Logics in AI, Lecture Notes in Artificial Intelligence 1126, pages 252\u2013267. Springer-Verlag, 1996. A related report is available on the web from http:\/\/www.uni-koblenz.de\/\u223carvind\/papers\/.","DOI":"10.1007\/3-540-61630-6_18"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Chandrabose Aravindan. DisLoP: A disjunctive logic programming system based on PROTEIN theorem prover. In G. G\u00f6rz and S. H\u00f6lldobler, editors, Proc. of KI'96, Lecture Notes in Artificial Intelligence 1137, pages 19\u201323. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61708-6_42"},{"key":"25_CR6","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BFb0030663","volume-title":"Nonmonotonic Extensions of Logic Programming, LNAI 927","author":"S. Brass","year":"1995","unstructured":"Stefan Brass and J\u00fcrgen Dix. A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 927, pages 127\u2013155. Springer, Berlin, 1995."},{"key":"25_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.7551\/mitpress\/4298.003.0027","volume-title":"Proceedings of the 12th Int. Conf. on Logic Programming","author":"S. Brass","year":"1995","unstructured":"Stefan Brass and J\u00fcrgen Dix. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In Leon Sterling, editor, Proceedings of the 12th Int. Conf. on Logic Programming, Tokyo, pages 199\u2013213. MIT Press, June 1995."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizing D-WFS: Confluence and Iterated GCWA. In L.M. Pereira J.J. Alferes and E. Orlowska, editors, Logics in Artificial Intelligence (JELIA '96), LNCS 1126, pages 268\u2013283. Springer, 1996.","DOI":"10.1007\/3-540-61630-6_19"},{"key":"25_CR9","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA. Journal of Automated Reasoning, to appear, 1997. (Extended abstract appeared in: Characterizing D-WFS: Confluence and Iterated GCWA. Logics in Artificial Intelligence, JELIA '96, pages 268\u2013283, 1996. Springer, LNCS 1126.)."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Stefan Brass and J\u00fcrgen Dix. Semantics of Disjunctive Logic Programs Based on Partial Evaluation. Journal of Logic Programming, accepted for publication, 1997.","DOI":"10.1016\/S0743-1066(96)00115-X"},{"key":"25_CR11","unstructured":"Stefan Brass, J\u00fcrgen Dix, Ilkka Niemel\u00e4, and Teodor. C. Przymusinski. Comparison and Efficient Computation of the Static and the Disjunctive WFS. In Gerd Brewka, Emil Weydert, and Gees Witteveen, editors, Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning and its Applications, pages 37\u201342. February 1997."},{"key":"25_CR12","first-page":"529","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96)","author":"S. Brass","year":"1996","unstructured":"Stefan Brass, J\u00fcrgen Dix, and Teodor. C. Przymusinski. Super Logic Programs. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96), pages 529\u2013541. San Francisco, CA, Morgan Kaufmann, 1996."},{"key":"25_CR13","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00881948","volume":"13","author":"P. Baumgartner","year":"1994","unstructured":"P. Baumgartner and U. Furbach. Model Elimination without Contrapositives and its Application to PTTP. Journal of Automated Reasoning, 13:339\u2013359, 1994. Short version in: Proceedings of CADE-12, Springer LNAI 814, 1994, pp 87\u2013101.","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"P. Baumgartner and U. Furbach. PROTEIN: A PROver with a Theory Extension Interface. In A. Bundy, editor, Automated Deduction \u2014 CADE-12, volume 814 of LNAI, pages 769\u2013773. Springer, 1994. Available in the WWW, URL: http:\/\/www.uni-koblenz.de\/ag-ki\/Systems\/PROTEIN\/.","DOI":"10.1007\/3-540-58156-1_57"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Peter Baumgartner, Peter Fr\u00f6hlich, Ulrich Furbach, and Wolfgang Nejdl. Semantically Guided Theorem Proving for Diagnosis Applications. In Proc. of IJCAI '97. IJCAI, 1997. To appear.","DOI":"10.1007\/BFb0027406"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Peter Baumgartner, Peter Fr\u00f6hlich, Ulrich Furbach, and Wolfgang Nejdl. Tableaux for Diagnosis Applications. In Tableaux '97, LNAI. Springer, 1997. To appear.","DOI":"10.1007\/BFb0027406"},{"key":"25_CR17","first-page":"1","volume-title":"Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA '96)","author":"P. Baumgartner","year":"1996","unstructured":"Peter Baumgartner, Ulrich Furbach, and Ilkka Niemel\u00e4. Hyper tableaux. In Jos\u00e9 J\u00falio Alferes, Lu\u00eds Moniz Pereira, and Ewa Orlowska, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA '96), pages 1\u201317, \u00c8vora, Portugal, September\/October 1996. Springer-Verlag."},{"key":"25_CR18","volume-title":"Logic Programming and Computing Answers","author":"P. Baumgartner","year":"1995","unstructured":"P. Baumgartner, U. Furbach, and F. Stolzenburg. Model Elimination, Logic Programming and Computing Answers. In 14th International Joint Conference on Artificial Intelligence (IJCAI 95), volume 1, 1995. (Long version in: Research Report 1\/95, University of Koblenz, Germany. To appear in Artificial Intelligence)."},{"key":"25_CR19","first-page":"202","volume-title":"Nonmonotonic Extensions of Logic Programming, LNAI 1216","author":"J. Dix","year":"1997","unstructured":"J\u00fcrgen Dix and Frieder Stolzenburg. Computation of Non-Ground Disjunctive Well-Founded Semantics with Constraint Logic Programming (preliminary report). In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 1216, pages 202\u2013226. Springer, Berlin, 1997."},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Dix and Frieder Stolzenburg. A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming. Journal of Logic Programming, 1998. Special Issue on Constraint Logic Programming, Guest Editors: Kim Marriott and Peter Stuckey, to appear.","DOI":"10.1016\/S0743-1066(98)10003-1"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second extended edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"25_CR22","unstructured":"Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of disjunctive logic programming. MIT Press, 1992."},{"key":"25_CR23","doi-asserted-by":"crossref","unstructured":"Jack Minker. On indefinite databases and the closed world assumption. In Lecture Notes in Computer Science 138, pages 292\u2013308. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0000066"},{"key":"25_CR24","first-page":"80","volume-title":"Proceedings of the European Conference on Artificial Intelligence","author":"I. Niemel\u00e4","year":"1996","unstructured":"I. Niemel\u00e4. Implementing circumscription using a tableau method. In Proceedings of the European Conference on Artificial Intelligence, pages 80\u201384, Budapest, Hungary, August 1996. John Wiley."},{"key":"25_CR25","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-61208-4_18","volume-title":"Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods","author":"I. Niemel\u00e4","year":"1996","unstructured":"I. Niemel\u00e4. A tableau calculus for minimal model reasoning. In Proceedings of the Fifth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 278\u2013294, Terrasini, Italy, May 1996. Springer-Verlag."},{"key":"25_CR26","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00248321","volume":"5","author":"A. Rajasekar","year":"1989","unstructured":"Arcot Rajasekar, Jorge Lobo, and Jack Minker. Weak generalized closed world assumption. Journal of Automated Reasoning, 5:293\u2013307, 1989.","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"25_CR27","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. A. Ross","year":"1988","unstructured":"K. A. Ross and R. W. Topor. Inferring negative information from disjunctive databases. Journal of Automated Reasoning, 4(2):397\u2013424, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"25_CR28","first-page":"269","volume-title":"Proceedings of the 2nd International Conference on Practical Application of Constraint Technology","author":"F. Stolzenburg","year":"1996","unstructured":"Frieder Stolzenburg and Bernd Thomas. Analysing rule sets for the calculation of banking fees by a theorem prover with constraints. In Proceedings of the 2nd International Conference on Practical Application of Constraint Technology, pages 269\u2013282, London, 1996. Practical Application Company."}],"container-title":["Lecture Notes in Computer Science","Logic Programming And Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63255-7_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T18:12:01Z","timestamp":1713636721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63255-7_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632559","9783540692492"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-63255-7_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}