{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:58Z","timestamp":1725455938728},"publisher-location":"Berlin, Heidelberg","reference-count":136,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628439"},{"type":"electronic","value":"9783540687023"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0023799","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:12:36Z","timestamp":1132384356000},"page":"1-36","source":"Crossref","is-referenced-by-count":6,"title":["Prolegomena to logic programming for non-monotonic reasoning"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Dix","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Teodor","family":"Przymusinski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"29","author":"K. Apt","year":"1991","unstructured":"K. Apt and M. Bezem. Acyclic programs. New Generation Computing, 29(3):335\u2013363, 1991.","journal-title":"New Generation Computing"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\u201320","author":"K. R. Apt","year":"1994","unstructured":"Krysztof R. Apt and Roland N. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19\u201320:9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013142. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"1_CR4","volume-title":"Technical Report TR 1\/97","author":"C. Aravindan","year":"1997","unstructured":"Chandrabose Aravindan, J\u00fcrgen Dix, and Ilkka Niemel\u00e4. The DisLoP-project. Technical Report TR 1\/97, University of Koblenz, Department of Computer Science, Rheinau 1, January 1997."},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR6","series-title":"LNAI 1111","volume-title":"Reasoning with Logic Programming","year":"1996","unstructured":"Jose Julio Alferes and Luiz Moniz Pereira, editors. Reasoning with Logic Programming, LNAI 1111, Berlin, 1996. Springer."},{"key":"1_CR7","volume-title":"Classical\u201d negation in non monotonic reasoning and logic programming","author":"J. J. Alferes","year":"1996","unstructured":"J. J. Alferes, L. M. Pereira, and T. Przymusinski. \u201cClassical\u201d negation in non monotonic reasoning and logic programming. In H. Kautz and B. Selman, editors, 4th Int. Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, USA, January 1996. Florida Atlantic University."},{"key":"1_CR8","volume-title":"Proc. Int. Logic Programming Symposium'93","author":"R. N. Bol","year":"1993","unstructured":"Roland N. Bol and L. Degerstedt. Tabulated resolution for well-founded semantics. In Proc. Int. Logic Programming Symposium'93, Cambridge, Mass., 1993. MIT Press."},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-3-642-51136-3_13","volume-title":"Innovationen bei Rechen-und Kommunikationssystemen","author":"S. Brass","year":"1994","unstructured":"Stefan Brass and J\u00fcrgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, (IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83\u201391, Berlin, 1994. Springer."},{"key":"1_CR10","series-title":"LNAI 927","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BFb0030663","volume-title":"Nonmonotonic Extensions of Logic Programming","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":"1_CR11","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. (Extended version will appear in the Journal of Automated Reasoning in 1997).","DOI":"10.1007\/3-540-61630-6_19"},{"key":"1_CR12","unstructured":"Gerhard Brewka and J\u00fcrgen Dix. Knowledge representation with logic programs. Technical report, Tutorial Notes of the 12th European Conference on Artificial Intelligence (ECAI '96), 1996. Also appeared as Technical Report 15\/96, Dept. of CS of the University of Koblenz-Landau. Will appear as Chapter 6 in Handbook of Philosophical Logic, 2nd edition (1998), Volume 6, Methodologies."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Stefan Brass and J\u00fcrgen Dix. Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. Journal of Logic Programming, forthcoming, 1997. (Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation LPNMR, Proceedings of the Third International Conference, Kentucky, pages 85\u201398, 1995. Springer.).","DOI":"10.1016\/S0743-1066(96)00115-X"},{"key":"1_CR14","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. (Extended abstract appeared in: Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation, Proceedings of the 12-th International Logic Programming Conference, Tokyo, pages 199\u2013213, 1995. MIT Press.).","DOI":"10.7551\/mitpress\/4298.003.0027"},{"key":"1_CR15","volume-title":"CSLI Lecture Notes 73","author":"G. Brewka","year":"1997","unstructured":"Gerd Brewka, J\u00fcrgen Dix, and Kurt Konolige. Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes 73. CSLI Publications, Stanford, CA, 1997."},{"key":"1_CR16","volume-title":"Technical report","author":"S. Brass","year":"1997","unstructured":"Stefan Brass, J\u00fcrgen Dix, Ilkka Niemel\u00e4, and Teodor. C. Przymusinski. Comparison and Efficient Computation of the Static and the Disjunctive WFS. Technical report, University of Koblenz, Department of Computer Science, Rheinau 1, January 1997. submitted to a conference. Preliminary version appeared as Technical Report 2\/96."},{"key":"1_CR17","first-page":"529","volume-title":"Super Logic Programs","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":"1_CR18","unstructured":"N. Bidoit and C. Froidevaux. General logic databases and programs: default logic semantics and stratification. Journal of Information and Computation, 1988."},{"key":"1_CR19","doi-asserted-by":"publisher","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":"1_CR20","doi-asserted-by":"crossref","unstructured":"Peter Baumgartner, Ulrich Furbach, and Ilkka Niemel\u00e4. Hyper tableaux. In L.M. Pereira J.J. Alferes and E. Orlowska, editors, Logics in Artificial Intelligence (JELIA '96), LNCS 1126, pages 1\u201317. Springer, 1996.","DOI":"10.1007\/3-540-61630-6_1"},{"key":"1_CR21","first-page":"253","volume-title":"number 760 in LNCS","author":"S. Brass","year":"1993","unstructured":"Stefan Brass and Udo W. Lipeck. Bottom-up query evaluation with partially ordered defaults. In Stefano Ceri, Katsumi Tanaka, and Shalom Tsur, editors, Deductive and Object-Oriented Databases, Third Int. Conf., (DOOD'93), number 760 in LNCS, pages 253\u2013266, Berlin, 1993. Springer."},{"key":"1_CR22","doi-asserted-by":"crossref","first-page":"456","DOI":"10.21236\/ADA232064","volume-title":"Generalized Disjunctive Well-founded Semantics for Logic Programs: Procedural Semantics","author":"C. Baral","year":"1990","unstructured":"Chitta Baral, Jorge Lobo, and Jack Minker. Generalized Disjunctive Well-founded Semantics for Logic Programs: Procedural Semantics. In Z.W. Ras, M. Zemankova, and M.L Emrich, editors, Proceedings of the 5th Int. Symp. on Methodologies for Intelligent Systems, Knoxville, TN, October 1990, pages 456\u2013464. North-Holland, 1990."},{"key":"1_CR23","first-page":"23","volume-title":"Implementing Stable Semantics by Linear Programming","author":"C. Bell","year":"1993","unstructured":"Colin Bell, Anil Nerode, Raymond T. Ng, and V. S. Subrahmanian. Implementing Stable Semantics by Linear Programming. In Luis Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop, pages 23\u201342, Cambridge, Mass., July 1993. Lisbon, MIT Press."},{"issue":"6","key":"1_CR24","doi-asserted-by":"publisher","first-page":"1178","DOI":"10.1145\/195613.195637","volume":"41","author":"C. Bell","year":"1994","unstructured":"Colin Bell, Anil Nerode, Raymond T. Ng, and V. S. Subrahmanian. Mixed Integer Programming Methods for Computing Non-Monotonic Deductive Databases. Journal of the ACM, 41(6):1178\u20131215, November 1994.","journal-title":"Journal of the ACM"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bry. Logic programming as constructivism: A formalization and its application to databases. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89), pages 34\u201350, 1989.","DOI":"10.1145\/73721.73725"},{"key":"1_CR26","unstructured":"C. Baral and V. S. Subrahmanian. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 69\u201386. MIT Press, 1991."},{"key":"1_CR27","unstructured":"A. Colmerauer, H. Kanoui, R. Pasero, and P. Roussel. Un syst\u00e8me de communication homme-machine en fran\u00e7ais. Technical report, Groupe de Intelligence Artificielle Universite de Aix-Marseille II, 1973."},{"key":"1_CR28","series-title":"LNAI 927","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/BFb0030664","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"S. Costantini","year":"1995","unstructured":"Stefania Costantini and Gaetano A. Lanzarone. Static Semantics as Program Transformation and Well-founded Computation. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 927, pages 156\u2013180. Springer, Berlin, 1995."},{"key":"1_CR29","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data-Bases","author":"K. L. Clark","year":"1978","unstructured":"Keith L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Data-Bases, pages 293\u2013322. Plenum, New York, 1978."},{"issue":"3","key":"1_CR30","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. Chen","year":"1995","unstructured":"Weidong Chen, Terrance Swift, and David S. Warren. Efficient Top-Down Computation of Queries under the Well-Founded Semantics. Journal of Logic Programming, 24(3):219\u2013245, 1995.","journal-title":"Journal of Logic Programming"},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/0743-1066(93)90034-E","volume":"17","author":"W. Chen","year":"1993","unstructured":"Weidong Chen and David S. Warren. A Goal Oriented Approach to Computing The Well-founded Semantics, Journal of Logic Programming, 17:279\u2013300, 1993.","journal-title":"Journal of Logic Programming"},{"key":"1_CR32","first-page":"279","volume":"17","author":"W. Chen","year":"1995","unstructured":"Weidong Chen and David S. Warren. Computing of Stable Models and its Integration with Logical Query Processing. IEEE Transactions on Knowledge and Data Engineering, 17:279\u2013300, 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"1_CR33","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. Chen","year":"1996","unstructured":"Weidong Chen and David S. Warren. Tabled Evaluation with Delaying for General Logic Programs. Journal of the ACM, 43(1):20\u201374, January 1996.","journal-title":"Journal of the ACM"},{"key":"1_CR34","unstructured":"C. V. Dam\u00e1sio. Paraconsistent Extended Logic Programming with Constraints. PhD thesis, Universidade Nova de Lisboa, October 1996."},{"key":"1_CR35","first-page":"89","volume":"2","author":"J. Dix","year":"1996","unstructured":"J. Dix and U. Furbach. The DFG-Project DisLoP on Disjunctive Logic Programming. Computational Logic, 2:89\u201390, 1996.","journal-title":"Computational Logic"},{"key":"1_CR36","series-title":"LNAI","volume-title":"Logic Programming and Non-monotonic Reasoning","year":"1997","unstructured":"J. Dix, U. Furbach, and A. Nerode, editors. Logic Programming and Non-monotonic Reasoning, LNAI to appear, Berlin, 1997. Springer."},{"key":"1_CR37","series-title":"LNAI 1050","volume-title":"Extensions of Logic Programming","year":"1996","unstructured":"Roy Dyckhoff, Heinrich Herre, and Peter Schroeder-Heister, editors. Extensions of Logic Programming, LNAI 1050, Berlin, 1996. Springer."},{"key":"1_CR38","unstructured":"J. Dix. Classifying semantics of logic programs. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 166\u2013180. MIT Press, 1991."},{"key":"1_CR39","unstructured":"J. Dix. A framework for representing and characterizing semantics of logic programs. In B. Nebel, C. Rich, and W. Swartout, editors, 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1992."},{"key":"1_CR40","first-page":"798","volume-title":"Classifying Semantics of Disjunctive Logic Programs","author":"J. Dix","year":"1992","unstructured":"J\u00fcrgen Dix. Classifying Semantics of Disjunctive Logic Programs. In K. R. Apt, editor, Logic Programming: Proceedings of the 1992 Joint International Conference and Symposium, pages 798\u2013812, Cambridge, Mass., November 1992. MIT Press."},{"issue":"3","key":"1_CR41","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamenta Informaticae, XXII(3):227\u2013255, 1995.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"1_CR42","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties. Fundamenta Informaticae, XXII(3):257\u2013288, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"1_CR43","unstructured":"J\u00fcrgen Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview. In Andre Fuhrmann and Hans Rott, editors, Logic, Action and Information \u2014 Essays on Logic in Philosophy and Artificial Intelligence, pages 241\u2013327. DeGruyter, 1995."},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"J\u00fcrgen Dix, Donald Loveland, Jack Minker, and David. S. Warren. Disjunctive Logic Programming and databases: Nonmonotonic Aspects. Technical Report Dagstuhl Seminar Report 150, IBFI GmbH, Schlo\u00df Dagstuhl, 1996.","DOI":"10.1007\/3-540-63255-7"},{"key":"1_CR45","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. In Proc. of the Workshop W1, Structural Complexity and Recursion-theoretic Methods in Logic Programming, following the JICSLP '92, pages 15\u201328. H. Blair and W. Marek and A. Nerode and J. Remmel, November 1992. also available as Technical Report 13\/93, University of Koblenz, Department of Computer Science."},{"key":"1_CR46","first-page":"43","volume-title":"Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties","author":"J. Dix","year":"1993","unstructured":"J\u00fcrgen Dix and Martin M\u00fcller. Implementing Semantics for Disjunctive Logic Programs Using Fringes and Abstract Properties. In Luis Moniz Pereira and Anil Nerode, editors, Logic Programming and Non-Monotonic Reasoning, Proceedings of the Second International Workshop, pages 43\u201359, Cambridge, Mass., July 1993. Lisbon, MIT Press."},{"key":"1_CR47","series-title":"LNAI 927","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BFb0030665","volume-title":"Non-monotonic Extensions of Logic Programming","author":"L. Degerstedt","year":"1995","unstructured":"Lars Degerstedt and Ulf Nilsson. Magic Computation of Well-founded Semantics. In J. Dix, L. Pereira, and T. Przymusinski, editors, Non-monotonic Extensions of Logic Programming, LNAI 927, pages 181\u2013204. Springer, Berlin, 1995."},{"key":"1_CR48","series-title":"LNAI 927","volume-title":"Non-Monotonic Extensions of Logic Programming","year":"1995","unstructured":"J. Dix, L. Pereira, and T. Przymusinski, editors. Non-Monotonic Extensions of Logic Programming, LNAI 927, Berlin, 1995. Springer."},{"key":"1_CR49","unstructured":"P. M. Dung. Negation as hypotheses: An abductive framework for logic programming. In K. Furukawa, editor, 8th Int. Conf. on LP, pages 3\u201317. MIT Press, 1991."},{"issue":"2","key":"1_CR50","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(93)90073-3","volume":"144","author":"T. Eiter","year":"1993","unstructured":"Thomas Eiter and Georg Gottlob. Propositional Circumscription and Extended Closed World Reasoning are \u03a0 2 P -complete. Theoretical Computer Science, 144(2):231\u2013245, Addendum: vol. 118, p. 315, 1993, 1993.","journal-title":"Theoretical Computer Science"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"T. Eiter, G. Gottlob, J. Lu, and V. S. Subrahmanian. Computing Non-Ground Representations of Stable Models. Technical report, University of Maryland, 1996.","DOI":"10.1007\/3-540-63255-7_14"},{"key":"1_CR52","unstructured":"Thomas Eiter, Georg Gottlob, and Heikki Mannila. Expressive Power and Complexity of Disjunctive DATALOG. In Proceedings of Workshop on Logic Programming with Incomplete Information, Vancouver Oct. 1993, following ILPS' 93, pages 59\u201379, 1993."},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Thomas Eiter, Georg Gottlob, and Heikki Mannila. Adding disjunction to datalog. In Proc. of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database. Systems (PODS'94), pages 267\u2013278, 1994.","DOI":"10.1145\/182591.182639"},{"issue":"23","key":"1_CR54","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. Emden Van","year":"1976","unstructured":"M. Van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733\u2013742, 1976.","journal-title":"Journal of ACM"},{"issue":"4","key":"1_CR55","first-page":"295","volume":"2","author":"M. Fitting","year":"1985","unstructured":"M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of LP, 2(4):295\u2013312, 1985.","journal-title":"Journal of LP"},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"J. A. Fern\u00e1ndez, J. Lobo, J. Minker, and V.S. Subrahmanian. Disjunctive LP + Integrity Constraints=Stable Model Semantics. Annals of Mathematics and Artificial Intelligence, 8(3\u20134), 1993.","DOI":"10.1007\/BF01530802"},{"issue":"1","key":"1_CR57","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0743-1066(94)00106-G","volume":"25","author":"J. A. Fern\u00e1ndez","year":"1995","unstructured":"J. A. Fern\u00e1ndez and J. Minker. Bottom-Up Computation of Perfect Models for Disjunctive Theories. Journal of Logic Programming, 25(1):33\u201351, 1995.","journal-title":"Journal of Logic Programming"},{"key":"1_CR58","unstructured":"M. Gelfond. On stratified autoepistemic theories. In AAAI'87, pages 207\u2013211. Morgan Kaufmann, 1987."},{"key":"1_CR59","doi-asserted-by":"crossref","unstructured":"A. Van Gelder. The alternating fixpoint of logic programs with negation. In 8th Symposium on Principles of Database Systems. ACM SIGACT-SIGMOD, 1989.","DOI":"10.1145\/73721.73722"},{"issue":"1","key":"1_CR60","first-page":"109","volume":"6","author":"A. Gelder Van","year":"1989","unstructured":"A. Van Gelder. Negation as failure using tight derivations for general logic programs. Journal of LP, 6(1):109\u2013133, 1989.","journal-title":"Journal of LP"},{"key":"1_CR61","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th Int. Conf. on LP, pages 1070\u20131080. MIT Press, 1988."},{"key":"1_CR62","series-title":"LNAI 346","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-50701-9_21","volume-title":"Non-Monotonic Reasoning","author":"M. Gelfond","year":"1989","unstructured":"Michael Gelfond and Vladimir Lifschitz. Compiling Circumscriptive Theories into Logic Programs. In Reinfrank, de Kleer, Ginsberg, and Sandewall, editors, Non-Monotonic Reasoning, LNAI 346, pages 74\u201399, Berlin, January 1989. Springer."},{"key":"1_CR63","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfond and Vladimir Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365\u2013387, 1991. (Extended abstract appeared in: Logic Programs with Classical Negation. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 579\u2013597, 1990. MIT Press.).","journal-title":"New Generation Computing"},{"key":"1_CR64","unstructured":"M. Gelfond and V. Lifschitz. Representing actions in extended logic programs. In K. Apt, editor, Int. Joint Conf. and Symp. on LP, pages 559\u2013573. MIT Press, 1992."},{"key":"1_CR65","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"H. Gallaire, J. Minker, and J. Nicolas. Logic and databases: a deductive approach. ACM Computing Surveys, 16:153\u2013185, 1984.","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"1_CR66","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"1_CR67","unstructured":"HMSO. British Nationality Act. Her Majesty's Stationery Office, 1981."},{"key":"1_CR68","series-title":"Number 607 in LNAI","volume-title":"Automated Deduction \u2014 CADE-11","author":"K. Inoue","year":"1992","unstructured":"Katsumi Inoue, M. Koshimura, and R. Hasegawa. Embedding negation-as-failure into a model generation theorem prover. In Deepak Kapur, editor, Automated Deduction \u2014 CADE-11, Number 607 in LNAI, Berlin, 1992. Springer."},{"key":"1_CR69","first-page":"490","volume-title":"Extended logic programs with default assumptions","author":"K. Inoue","year":"1991","unstructured":"K. Inoue. Extended logic programs with default assumptions. In Koichi Furukawa, editor, 8th Int. Conf. on LP, pages 490\u2013504, Cambridge, Mass., 1991. MIT Press."},{"key":"1_CR70","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"5","author":"R. Kowalski","year":"1971","unstructured":"R. Kowalski and D. Khuener. Linear resolution with selection function. Artificial Intelligence, 5:227\u2013260, 1971.","journal-title":"Artificial Intelligence"},{"key":"1_CR71","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0168-0072(94)90010-8","volume":"67","author":"V. Kagan","year":"1994","unstructured":"Vadim Kagan, Anil Nerode, and V. S. Subrahmanian. Computing Definite Logic Programs by Partial Instantiation. Annals of Pure and Applied Logic, 67:161\u2013182, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1_CR72","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(94)00216-9","volume":"155","author":"V. Kagan","year":"1995","unstructured":"Vadim Kagan, Anil Nerode, and V. S. Subrahmanian. Computing Minimal Models by Partial Instantiation. Theoretical Computer Science, 155:157\u2013177, 1995.","journal-title":"Theoretical Computer Science"},{"key":"1_CR73","unstructured":"R.A. Kowalski. Predicate logic as a programming language. In Proceeedings IFIP' 74, pages 569\u2013574. North Holland Publishing Company, 1974."},{"key":"1_CR74","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. Kowalski","year":"1979","unstructured":"R. Kowalski. Algorithm=logic + control. Communications of the ACM, 22:424\u2013436, 1979.","journal-title":"Communications of the ACM"},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"R. Kowalski. The treatment of negation in logic programs for representing legislation. In 2nd Int. Conf. on AI and Law, pages 11\u201315, 1989.","DOI":"10.1145\/74014.74016"},{"key":"1_CR76","series-title":"Basic Research Series","first-page":"1","volume-title":"Computational Logic","author":"R. Kowalski","year":"1990","unstructured":"R. Kowalski. Problems and promises of computational logic. In John W. Lloyd, editor, Computational Logic, Basic Research Series, pages 1\u201336, Berlin, 1990. Springer."},{"key":"1_CR77","doi-asserted-by":"crossref","unstructured":"R. Kowalski. Legislation as logic programs. In Logic Programming in Action, pages 203\u2013230. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55930-2_15"},{"key":"1_CR78","volume-title":"Logic programs with exceptions","author":"R. Kowalski","year":"1990","unstructured":"R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th Int. Conf. on LP, Cambridge, Mass., 1990. MIT Press."},{"key":"1_CR79","unstructured":"David B. Kemp, Peter J. Stuckey, and Divesh Srivastava. Magic Sets and Bottom-Up Evaluation of Well-Founded Models. In Vijay Saraswat and Kazunori Ueda, editors, Proceedings of the 1991 Int. Symposium on Logic Programming, pages 337\u2013351. MIT, June 1991."},{"key":"1_CR80","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"4","author":"K. Kunen","year":"1987","unstructured":"Kenneth Kunen. Negation in Logic Programming. Journal of Logic Programming, 4:289\u2013308, 1987.","journal-title":"Journal of Logic Programming"},{"key":"1_CR81","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-1990-13105","volume":"XIII","author":"K. Kunen","year":"1990","unstructured":"Kenneth Kunen. Some Remarks on the completed Database. Fundamenta Informaticae, XIII:35\u201349, 1990.","journal-title":"Fundamenta Informaticae"},{"key":"1_CR82","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(86)90068-8","volume":"30","author":"H. Levesque","year":"1986","unstructured":"H. Levesque. Making believers out of computers. Artificial Intelligence, 30:81\u2013107, 1986.","journal-title":"Artificial Intelligence"},{"key":"1_CR83","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1145\/320083.320088","volume":"4","author":"W. Lipski Jr.","year":"1979","unstructured":"W. Lipski, Jr.. On semantic issues connected with incomplete information databases. ACM Transactions on Database Systems, 4:262\u2013296, 1979.","journal-title":"ACM Transactions on Database Systems"},{"key":"1_CR84","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"John W. Lloyd. Foundations of Logic Programming. Springer, Berlin, 1987. 2nd edition.","edition":"2nd edition"},{"key":"1_CR85","unstructured":"Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of Disjunctive Logic Programming. MIT-Press, 1992."},{"key":"1_CR86","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. W. Lloyd","year":"1985","unstructured":"John W. Lloyd and Rodney W. Topor. A basis for deductive database systems. The Journal of Logic Programming, 2:93\u2013109, 1985.","journal-title":"The Journal of Logic Programming"},{"key":"1_CR87","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. W. Lloyd","year":"1986","unstructured":"John W. Lloyd and Rodney W. Topor. A basis for deductive database systems II. The Journal of Logic Programming, 3:55\u201367, 1986.","journal-title":"The Journal of Logic Programming"},{"key":"1_CR88","volume-title":"Foundations of Deductive Databases","author":"J. Minker","year":"1988","unstructured":"Jack Minker. Foundations of Deductive Databases. Morgan Kaufmann, 95 First Street, Los Altos, CA 94022, 1st edition, 1988.","edition":"1st edition"},{"key":"1_CR89","doi-asserted-by":"crossref","unstructured":"Jack Minker. An Overview of Nonmonotonic Reasoning and Logic Programming. Journal of Logic Programming, Special Issue, 17, 1993.","DOI":"10.1016\/0743-1066(93)90028-F"},{"key":"1_CR90","first-page":"3","volume-title":"LNCS 1154","author":"J. Minker","year":"1996","unstructured":"Jack Minker. Logic and databases: A 20 year retrospective. In Dino Pedreschi and Carlo Zaniolo, editors, Proceedings of the International Workshop on Logic in Databases (LID), LNCS 1154, pages 3\u201358. Springer, Berlin, 1996."},{"key":"1_CR91","series-title":"LNAI 928","volume-title":"Logic Programming and Nonmonotonic Reasoning","year":"1995","unstructured":"W. Marek, A. Nerode, and M. Truszczy\u0144ski, editors. Logic Programming and Nonmonotonic Reasoning, LNAI 928, Berlin, 1995. Springer."},{"key":"1_CR92","series-title":"Course Notes, 3rd Advanced School on AI","volume-title":"Technical report","author":"L. Monteiro","year":"1992","unstructured":"L. Monteiro. Notes on the negation in logic programs. Technical report, Dep. of Computer Science, Univerdade Nova de Lisboa, 1992. Course Notes, 3rd Advanced School on AI, Azores, Portugal, 1992."},{"key":"1_CR93","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"R. Moore. Semantics considerations on nonmonotonic logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"1_CR94","series-title":"LNAI 927","first-page":"205","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"J. Minker","year":"1995","unstructured":"Jack Minker and Carolina Ruiz. Computing stable and partial stable models of extended disjunctive logic programs. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, LNAI 927, pages 205\u2013229. Springer, Berlin, 1995."},{"issue":"3","key":"1_CR95","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczynski. Autoepistemic logics. Journal of the ACM, 38(3):588\u2013619, 1991.","journal-title":"Journal of the ACM"},{"key":"1_CR96","unstructured":"Martin M\u00fcller. Examples and Run-Time Data from KORF, 1992."},{"key":"1_CR97","first-page":"16","volume":"14","author":"D. Nelson","year":"1949","unstructured":"D. Nelson. Constructible falsity. JSL, 14:16\u201326, 1949.","journal-title":"JSL"},{"volume-title":"Logic Programming and Non-monotonic Reasoning: Proceedings of the First Int. Ws.","year":"1991","key":"1_CR98","unstructured":"A. Nerode, W. Marek, and V. S. Subrahmanian, editors. Logic Programming and Non-monotonic Reasoning: Proceedings of the First Int. Ws., Washington D.C., USA, 1991. The MIT Press."},{"key":"1_CR99","volume-title":"CS-TR 91-66","author":"A. Nerode","year":"1991","unstructured":"Anil Nerode, Raymond T. Ng, and V.S. Subrahmanian. Computing Circumscriptive Deductive Databases. CS-TR 91-66, Computer Science Dept., Univ. Maryland, University of Maryland, College Park, Maryland, 20742, USA, December 1991."},{"key":"1_CR100","first-page":"289","volume-title":"Efficient implementation of the well-founded and stable model semantics","author":"I. Niemel\u00e4","year":"1996","unstructured":"Ilkka Niemel\u00e4 and Patrik Simons. Efficient implementation of the well-founded and stable model semantics. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 289\u2013303, Bonn, Germany, September 1996. The MIT Press."},{"key":"1_CR101","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"1_CR102","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. A practical introduction to well founded semantics. In B. Mayoh, editor, Scandinavian Conf. on AI. IOS Press, 1991."},{"key":"1_CR103","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Counterfactual reasoning based on revising assumptions. In Ueda and Saraswat, editors, Int. LP Symp., pages 566\u2013577. MIT Press, 1991."},{"key":"1_CR104","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Nonmonotonic reasoning with well founded semantics. In Koichi Furukawa, editor, 8th Int. Conf. on LP, pages 475\u2013489. MIT Press, 1991."},{"key":"1_CR105","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Logic programming for nonmonotonic reasoning. In Applied Logic Conf. Preproceedings by ILLC, Amsterdam, 1992. To appear in Springer-Verlag LNAI."},{"key":"1_CR106","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Non-Monotonic Reasoning with Logic Programming. Journal of Logic Programming, 17:227\u2013264, 1993.","journal-title":"Journal of Logic Programming"},{"key":"1_CR107","first-page":"316","volume-title":"Diagnosis and debugging as contradiction removal","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, C. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 316\u2013330, Cambridge, Mass., 1993. MIT Press."},{"volume-title":"Logic Programming and Non-monotonic Reasoning: Proceedings of the Second Int. Ws.","year":"1993","key":"1_CR108","unstructured":"L. M. Pereira and A. Nerode, editors. Logic Programming and Non-monotonic Reasoning: Proceedings of the Second Int. Ws., Lisboa, Portugal, 1993. MIT Press."},{"key":"1_CR109","unstructured":"H. Przymusinska and T. Przymusinski. Weakly perfect model semantics. In R. Kowalski and K. A. Bowen, editors, 5th Int. Conf. on LP, pages 1106\u20131122. MIT Press, 1988."},{"key":"1_CR110","unstructured":"H. Przymusinska and T. Przymusinski. Semantic issues in deductive databases and logic programs. In R. Banerji, editor, Formal Techniques in AI, a Sourcebook, pages 321\u2013367. North Holland, 1990."},{"key":"1_CR111","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. Every logic program has a natural stratification and an iterated fixed point model. In 8th Symp. on Principles of Database Systems. ACM SIGACT-SIGMOD, 1989.","DOI":"10.1145\/73721.73723"},{"key":"1_CR112","unstructured":"T. Przymusinski. Three-valued non-monotonic formalisms and logic programming. In R. Brachman, H. Levesque, and R. Reiter, editors, 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 341\u2013348. Morgan Kaufmann, 1989."},{"key":"1_CR113","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T. Przymusinski","year":"1989","unstructured":"Teodor Przymusinski. On the declarative and procedural Semantics of logic Programs. Journal of Automated Reasoning, 5:167\u2013205, 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR114","first-page":"459","volume-title":"Extended stable semantics for normal and disjunctive programs","author":"T. Przymusinski","year":"1990","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 459\u2013477, Cambridge, Mass., 1990. MIT Press."},{"key":"1_CR115","unstructured":"T. Przymusinski. Autoepistemic logic of closed beliefs and logic programming. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 3\u201320. MIT Press, 1991."},{"key":"1_CR116","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. Przymusinski","year":"1991","unstructured":"Teodor Przymusinski. Stable Semantics for Disjunctive Programs. New Generation Computing Journal, 9:401\u2013424, 1991. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 459\u2013477, 1990. MIT Press, Cambridge, Mass.).","journal-title":"New Generation Computing Journal"},{"key":"1_CR117","series-title":"LNCS 566","volume-title":"DOOD '91, Proceedings of the 2nd International Conference","author":"T. Przymusinski","year":"1991","unstructured":"Teodor Przymusinski. Stationary Semantics for Normal and Disjunctive Logic Programs. In C. Delobel, M. Kifer, and Y. Masunaga, editors, DOOD '91, Proceedings of the 2nd International Conference, Berlin, December 1991. Muenchen, Springer. LNCS 566."},{"key":"1_CR118","first-page":"43","volume-title":"ICLP'94","author":"T. Przymusinski","year":"1995","unstructured":"Teodor Przymusinski. Semantics of normal and disjunctive logic programs: A unifying framework. In J. Dix, L. Pereira, and T. Przymusinski, editors, Proceedings of the Workshop on Non-Monotonic Extensions of Logic Programming at the Eleventh International Logic Programming Conference, ICLP'94, Santa Margherita Ligure, Italy, June 1994, pages 43\u201367. Springer, 1995."},{"key":"1_CR119","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/BF01530826","volume":"14","author":"T. Przymusinski","year":"1995","unstructured":"Teodor Przymusinski. Static Semantics For Normal and Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence, 14:323\u2013357, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"1_CR120","unstructured":"D. Pearce and G. Wagner. Reasoning with negative information I: Strong negation in logic programs. In L. Haaparanta, M. Kusch, and I. Niiniluoto, editors, Language, Knowledge and Intentionality, pages 430\u2013453. Acta Philosophica Fennica 49, 1990."},{"key":"1_CR121","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed-world data bases. In H. Gallaire and J. Minker, editors, Logic and DataBases, pages 55\u201376. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"1_CR122","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Raymond Reiter. On closed world data bases. In Herv\u00e9 Gallaire and Jack Minker, editors, Logic and Data Bases, pages 55\u201376, New York, 1978. Plenum."},{"key":"1_CR123","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter. A Logic for Default-Reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"1_CR124","doi-asserted-by":"crossref","unstructured":"R. Reiter. Towards a logical reconstruction of relational database theory. In M. Brodie and J. Mylopoulos, editors, On Conceptual Modelling, pages 191\u2013233. Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"1_CR125","volume-title":"Artificial Intelligence \u2014 A Modern Approach","author":"S. Russel","year":"1995","unstructured":"Stuart Russel and Peter Norvig. Artificial Intelligence \u2014 A Modern Approach. Prentice Hall, New Jersey 07458, 1995."},{"key":"1_CR126","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(92)90019-Y","volume":"13","author":"K. A. Ross","year":"1992","unstructured":"Kenneth A. Ross. A procedural semantics for well-founded negation in logic programs. Journal of Logic Programming, 13:1\u201322, 1992.","journal-title":"Journal of Logic Programming"},{"key":"1_CR127","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/BF00297247","volume":"4","author":"K. A. Ross","year":"1988","unstructured":"Kenneth A. Ross and Rodney A. Topor. Inferring negative Information from disjunctive Databases. Journal of Automated Reasoning, 4:397\u2013424, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"1_CR128","first-page":"1055","volume-title":"Possible Model Semantics for Disjunctive Databases","author":"C. Sakama","year":"1989","unstructured":"Chiaki Sakama. Possible Model Semantics for Disjunctive Databases. In Won Kim, Jean-Marie Nicolas, and Shojiro Nishio, editors, Deductive and Object-Oriented Databases, Proceedings of the First International Conference (DOOD89), pages 1055\u20131060, Kyoto, Japan, 1989. North-Holland Publ.Co."},{"key":"1_CR129","doi-asserted-by":"crossref","unstructured":"John C. Shepherdson. Negation in Logic Programming. In Jack Minker, editor, Foundations of Deductive Databases, chapter 1, pages 19\u201388. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"1_CR130","unstructured":"J. Shepherdson. Negation as failure, completion and stratification. In Handbook of AI and LP, 1990."},{"key":"1_CR131","volume-title":"Negation in Disjunctive Logic Programs","author":"C. Sakama","year":"1993","unstructured":"Chiaki Sakama and Katsumi Inoue. Negation in Disjunctive Logic Programs. In D. Warren and Peter Szeredi, editors, Proceedings of the 10th Int. Conf. on Logic Programming, Budapest, Cambridge, Mass., July 1993. MIT Press."},{"key":"1_CR132","series-title":"LNCS 883","first-page":"170","volume-title":"Logic Program Synthesis and Transformation \u2014 Meta Programming in Logic","author":"C. Sakama","year":"1995","unstructured":"Chiaki Sakama and Hirohisa Seki. Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. In Logic Program Synthesis and Transformation \u2014 Meta Programming in Logic, LNCS 883, pages 170\u2013182, Berlin, 1995. Springer. Extended version to appear in Journal of Logic Programming."},{"key":"1_CR133","first-page":"84","volume-title":"LNAI","author":"H. Tamaki","year":"1986","unstructured":"H. Tamaki and T. Sato. OLD Resolution with Tabulation. In Proceedings of the Third International Conference on Logic Programming, London, LNAI, pages 84\u201398, Berlin, June 1986. Springer."},{"key":"1_CR134","series-title":"LNCS 495","first-page":"357","volume-title":"Mathematical Foundations of Database Systems","author":"G. Wagner","year":"1991","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H-D. Gerhardt, editors, Mathematical Foundations of Database Systems, LNCS 495, pages 357\u2013371, Berlin, 1991. Springer."},{"key":"1_CR135","first-page":"51","volume-title":"GI-Fachgespr\u00e4ch 2: Disjunktive logische Programmierung und disjunktive Datenbanken","year":"1994","unstructured":"Bernd Wolfinger, editor. GI-Fachgespr\u00e4ch 2: Disjunktive logische Programmierung und disjunktive Datenbanken, pages 51\u2013100. Springer, Berlin, 1994."},{"key":"1_CR136","doi-asserted-by":"crossref","unstructured":"D. H. Warren, L. M. Pereira, and F. Pereira. Prolog: The language and its implementation compared with Lisp. In Symp. on AI and Programming Languages, pages 109\u2013115. ACM SIGPLAN-SIGART, 1977.","DOI":"10.1145\/872736.806939"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023799","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T23:03:22Z","timestamp":1706742202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023799"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628439","9783540687023"],"references-count":136,"URL":"https:\/\/doi.org\/10.1007\/bfb0023799","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}