{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:10:46Z","timestamp":1760706646774,"version":"3.30.1"},"reference-count":215,"publisher":"Elsevier BV","issue":"2-4","license":[{"start":{"date-parts":[[1993,11,1]],"date-time":"1993-11-01T00:00:00Z","timestamp":752112000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":7200,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1993,11]]},"DOI":"10.1016\/0743-1066(93)90028-f","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"95-126","source":"Crossref","is-referenced-by-count":34,"title":["An overview of nonmonotonic reasoning and logic programming"],"prefix":"10.1016","volume":"17","author":[{"given":"Jack","family":"Minker","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(93)90028-F_BIB1","first-page":"574","article-title":"On Logic Program Semantics with Two Kinds of Negation","author":"Alferes","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB2","series-title":"Logic Programming: Proceedings of the Seventh International Conference","first-page":"617","article-title":"Acyclic Programs","author":"Apt","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB3","first-page":"766","article-title":"Arithmetic Classification of Perfect Models of Stratified Programs","author":"Apt","year":"1988","journal-title":"Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB4","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB5","series-title":"Ph.D. Thesis","article-title":"Issues in Knowledge Representation: Semantics and Knowledge Combination","author":"Baral","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB6","first-page":"309","article-title":"Generalized Negation as Failure and Semantics of Normal Disjunctive Logic Programs","volume":"624","author":"Baral","year":"1992"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1111\/j.1467-8640.1992.tb00337.x","article-title":"Combining Knowledge Bases Consisting of First Order Theories","volume":"8","author":"Baral","year":"1992","journal-title":"Computational Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB8","first-page":"465","article-title":"Generalized Disjunctive Well-Founded Semantics for Logic Programs: Declarative Semantics","author":"Baral","year":"1990","journal-title":"Proceedings of Fifth International Symposium on Methodologies for Intelligent Systems"},{"key":"10.1016\/0743-1066(93)90028-F_BIB9","first-page":"456","article-title":"Generalized Disjunctive Well-Founded Semantics for Logic Programs: Procedural Semantics","author":"Baral","year":"1990","journal-title":"Proceedings of Fifth International Symposium on Methodologies for Intelligent Systems"},{"key":"10.1016\/0743-1066(93)90028-F_BIB10","series-title":"Proceedings of Tenth International Conference on Automated Deduction","first-page":"102","article-title":"Generalized Well-Founded Semantics for Logic Programs","author":"Baral","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB11","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/3-540-54563-8_109","article-title":"WF3: A Semantics for Negation in Normal Disjunctive Logic Programs","author":"Baral","year":"1991","journal-title":"Proceedings of Sixth International Symposium on Methodologies for Intelligent Systems"},{"key":"10.1016\/0743-1066(93)90028-F_BIB12","series-title":"Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop","first-page":"69","article-title":"Dualities between Alternative Semantics of Logic Programs and Nonmonotonic Formalisms","author":"Baral","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB13","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02341854","article-title":"Stable and Extension Class Theory for Logic Programs and Default Logics","volume":"8","author":"Baral","year":"1992","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/0743-1066(93)90028-F_BIB14","series-title":"Technical Report","article-title":"Computation and Implementation of Non-monotonic Deductive Databases","author":"Bell","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB15","series-title":"Contemporary Aspects of Philosophy","first-page":"30","article-title":"How a Computer Should Think","author":"Belnap","year":"1977"},{"key":"10.1016\/0743-1066(93)90028-F_BIB16","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"8","article-title":"A Useful Four-Valued Logic","author":"Belnap","year":"1977"},{"key":"10.1016\/0743-1066(93)90028-F_BIB17","series-title":"Technical Report","article-title":"Circumscription and Generic Mathematical Objects","author":"Bertossi","year":"1992"},{"year":"1989","author":"Besnard","series-title":"An Introduction to Default Logic","key":"10.1016\/0743-1066(93)90028-F_BIB18"},{"key":"10.1016\/0743-1066(93)90028-F_BIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(51)90003-5","article-title":"Negation in Rule-Based Database Languages: A Survey","volume":"78","author":"Bidoit","year":"1991","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB20","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0890-5401(91)90073-B","article-title":"General Logical Databases and Programs: Default Logic Semantics and Stratification","volume":"91","author":"Bidoit","year":"1991","journal-title":"J. Inform. and Comput."},{"key":"10.1016\/0743-1066(93)90028-F_BIB21","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/6012.15409","article-title":"Positivism vs. Minimalism in Deductive Databases","author":"Bidoit","year":"1986","journal-title":"Proceedings of the ACM SIGACT-SIGMOD Symposium on the Principles of Database Systems"},{"key":"10.1016\/0743-1066(93)90028-F_BIB22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","article-title":"Paraconsistent Logic Programming","volume":"68","author":"Blair","year":"1989","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(93)90028-F_BIB23","first-page":"417","article-title":"Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs","author":"Bonatti","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB24","first-page":"33","article-title":"Hierarchical Knowledge Bases and Efficient Disjunction","author":"Borgida","year":"1989","journal-title":"Proceedings of the First International Conference on Principle of Knowledge Representation and Reasoning (KR-89)"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB25","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","article-title":"Saturation, Nonmonotonic Reasoning and the Closed-World Assumption","volume":"25","author":"Bossu","year":"1985","journal-title":"Artificial Intelligence"},{"year":"1991","author":"Brewka","series-title":"Nonmonotonic Reasoning: Logical Foundations of Common Sense","key":"10.1016\/0743-1066(93)90028-F_BIB26"},{"key":"10.1016\/0743-1066(93)90028-F_BIB27","first-page":"550","article-title":"The Complexity of Closed World Reasoning and Circumscription","author":"Cadoli","year":"1990","journal-title":"Proceedings of the AAAI"},{"key":"10.1016\/0743-1066(93)90028-F_BIB28","series-title":"Technical Report","article-title":"A Survey on Complexity Results for Non-monotonic Logics","author":"Cadoli","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB29","series-title":"Proceedings of Fifth International Conference and Symposium on Logic Programming","first-page":"111","article-title":"Constructive Negation Based on the Completed Databases","author":"Chan","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB30","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","article-title":"Structure and Complexity of Relational Queries","volume":"25","author":"Chandra","year":"1982","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0743-1066(93)90028-F_BIB31","first-page":"589","article-title":"A Goal Oriented Approach to Computing Well Founded Semantics","author":"Chen","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB32_1","series-title":"Technical Report TR-89-036","first-page":"289","article-title":"Generalized Closed World Assumption is \u03a002 Complete","author":"Chomicki","year":"1989"},{"key":"10.1016\/0743-1066(93)90028-F_BIB32_2","doi-asserted-by":"crossref","DOI":"10.1016\/0020-0190(90)90012-M","volume":"34","author":"Chomicki","year":"1990","journal-title":"Information Processing Letters"},{"key":"10.1016\/0743-1066(93)90028-F_BIB33","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"key":"10.1016\/0743-1066(93)90028-F_BIB34","series-title":"Technical Report","article-title":"Un Syst\u00e8me de Communication Homme-Machine en Fran\u00e7ais","author":"Colmerauer","year":"1973"},{"key":"10.1016\/0743-1066(93)90028-F_BIB35","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An Assumption-Based TMS","volume":"32","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB36","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","article-title":"An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report","volume":"36","author":"Delgrande","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB37","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1111\/j.2517-6161.1968.tb00722.x","article-title":"A Generalization of Bayesian Inference","volume":"30","author":"Dempster","year":"1968","journal-title":"J. Roy. Statist. Soc. Ser. B"},{"key":"10.1016\/0743-1066(93)90028-F_BIB38","first-page":"686","article-title":"SLDNFA: An Abductive Procedure for Normal Abductive Programs","author":"Denecker","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB39","series-title":"Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop","first-page":"166","article-title":"Classifying Semantics of Logic Programs","author":"Dix","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB40","first-page":"798","article-title":"Classifying Semantics of Disjunctive Logic Program","author":"Dix","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB41","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00140676","article-title":"Nonmomotonic Reasoning","volume":"4","author":"Donini","year":"1990","journal-title":"Artificial Intelligence Rev."},{"key":"10.1016\/0743-1066(93)90028-F_BIB42","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A Truth Maintenance System","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB43","series-title":"Technical Report","article-title":"Some Theories of Reasoned Assumptions: An Essay in Rational Psychology","author":"Doyle","year":"1982"},{"key":"10.1016\/0743-1066(93)90028-F_BIB44","first-page":"349","article-title":"The Ins and Outs of Reason Maintenance","author":"Doyle","year":"1983","journal-title":"Proceedings of Eighth IJCAI"},{"key":"10.1016\/0743-1066(93)90028-F_BIB45","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0304-3975(92)90285-N","article-title":"On the Relations between Stable and Well-Founded Semantics of Logic Programs","volume":"105","author":"Dung","year":"1992","journal-title":"Theoretical Computer Science: Logic, Semantics and Theory of Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB46","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1080\/09528139008953715","article-title":"Reasoning Situated in Time I: Basic Concepts","volume":"2","author":"Elgot-Drapkin","year":"1990","journal-title":"J. Exp. Theoret. Artificial Intelligence"},{"issue":"4","key":"10.1016\/0743-1066(93)90028-F_BIB47","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. ACM"},{"key":"10.1016\/0743-1066(93)90028-F_BIB48","first-page":"562","article-title":"Abductive Planning with Event Calculus","author":"Eshghi","year":"1988","journal-title":"Proceedings of the Fifth International Conference and Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB49","article-title":"Diagnoses as Stable Models","author":"Eshghi","year":"1990","journal-title":"Proceedings of the First International Workshop on Principles of Diagnoses"},{"key":"10.1016\/0743-1066(93)90028-F_BIB50","series-title":"Technical Report","article-title":"Abduction through Deduction","author":"Eshghi","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB51","first-page":"234","article-title":"Abduction Compared with Negation by Failure","author":"Eshghi","year":"1989","journal-title":"Proceedings of the Sixth Intenational Conference on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB52","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0004-3702(91)90068-U","article-title":"Nonmonotonicity and the Scope of Reasoning","volume":"52","author":"Etherington","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB53","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","article-title":"On the Adequacy of Predicate Circumscription for Closed World Reasoning","volume":"1","author":"Etherington","year":"1985","journal-title":"Computational Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB54","first-page":"104","article-title":"On Inheritance Hierarchies with Exceptions","author":"Etherington","year":"1983","journal-title":"Proceedings of American Association for Artificial Intelligence at National Conference"},{"key":"10.1016\/0743-1066(93)90028-F_BIB55","article-title":"Negation-as-Failure as an Approach to the Hanks and McDermott Problem","author":"Evans","year":"1989","journal-title":"Proceedings of the Second International Conference on Artificial Intelligence"},{"year":"1979","author":"Fahlman","series-title":"NETL: A System for Representing and Using Real-World Knowledge","key":"10.1016\/0743-1066(93)90028-F_BIB56"},{"issue":"3\/4","key":"10.1016\/0743-1066(93)90028-F_BIB57","article-title":"Disjunctive LP+integrity Constraints = Stable Model Semantics","volume":"8","author":"Fern\u00e1ndez","year":"1993","journal-title":"Ann. of Math. and AI"},{"key":"10.1016\/0743-1066(93)90028-F_BIB58","series-title":"Proceedings of the International Conference on Logic Programming","first-page":"660","article-title":"Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases","author":"Fern\u00e1ndez","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB59","series-title":"Proceedings of the ILPS '91 Workshop on Disjunctive Logic Programs","first-page":"110","article-title":"Computing Perfect Models of Disjunctive Stratified Databases","author":"Fern\u00e1ndez","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB60","first-page":"21","article-title":"Semantics of Disjunctive Deductive Databases","volume":"646","author":"Fern\u00e1ndez","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB61","first-page":"332","article-title":"Disjunctive Databases","volume":"624","author":"Fern\u00e1ndez","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB62","series-title":"Programmirovanie J.","article-title":"Theory and Algorithms for Disjunctive Deductive Databases","author":"Fern\u00e1ndez","year":"1993"},{"issue":"4","key":"10.1016\/0743-1066(93)90028-F_BIB63","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","article-title":"A Kripke-Kleene Semantics for Logic Programs","volume":"2","author":"Fitting","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB64","first-page":"71","article-title":"Well-Founded Semantics, Generalized","author":"Fitting","year":"1991","journal-title":"International Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB65","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(91)90043-J","article-title":"Rationality, Transitivity and Contraposition","volume":"52","author":"Freund","year":"1991","journal-title":"Artificial Intelligence"},{"year":"1978","series-title":"Logic and Databases","key":"10.1016\/0743-1066(93)90028-F_BIB66"},{"key":"10.1016\/0743-1066(93)90028-F_BIB67","series-title":"Ph.D. Thesis","article-title":"Default Reasoning: Causal and Conditional Theories","author":"Geffner","year":"1989"},{"key":"10.1016\/0743-1066(93)90028-F_BIB68","series-title":"Proceedings of AAAI-87","first-page":"207","article-title":"On Stratified Autoepistemic Theories","author":"Gelfond","year":"1987"},{"key":"10.1016\/0743-1066(93)90028-F_BIB69","series-title":"Technical Report","article-title":"Logic Programming and Reasoning with Incomplete Information","author":"Gelfond","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB70","series-title":"Association for Logic Programming","first-page":"1070","article-title":"Proceedings of the Fifth Logic Programming Symposium","author":"Gelfond","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB71","series-title":"Logic Programming: Proceedings of the Seventh International Conference","first-page":"579","article-title":"Logic Programs with Classical Negation","author":"Gelfond","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB72","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical Negation in Logic Programming and Disjunctive Databases","volume":"9","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/0743-1066(93)90028-F_BIB73","first-page":"559","article-title":"Representing Action in Extended Logic Programming","author":"Gelfond","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symponium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB74","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, San Mateo, CA, April 22\u201325, 1991","first-page":"230","article-title":"Disjunctive Defaults","author":"Gelfond","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB75","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/6012.15410","article-title":"The Extended Closed World Assumption and Its Realation to Parallel Circumscription","author":"Gelfond","year":"1986","journal-title":"Proceedings of the Fifth ACM SIGACT-SIGMOD Symponium on Principle of Database Systems"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB76","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(89)90068-4","article-title":"On the Relationship between Circumscription and Negation as Failure","volume":"38","author":"Gelfond","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB77","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","article-title":"Counterfactuals","volume":"30","author":"Ginsberg","year":"1986","journal-title":"Artificial Intelligence"},{"year":"1987","author":"Ginberg","series-title":"Readings in Nonmonotonic Reasoning","key":"10.1016\/0743-1066(93)90028-F_BIB78"},{"key":"10.1016\/0743-1066(93)90028-F_BIB79","first-page":"265","article-title":"A Circumscriptive Theorem Prover","volume":"39","author":"Ginberg","year":"1989","journal-title":"Artificial Intelligence"},{"issue":"3","key":"10.1016\/0743-1066(93)90028-F_BIB80","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/122296.122304","article-title":"The MVL Theorem Proving System","volume":"2","author":"Ginberg","year":"1991","journal-title":"SIGART Bulletin"},{"key":"10.1016\/0743-1066(93)90028-F_BIB81","first-page":"261","article-title":"Well Founded Semantics and Stable Semantics of Semi-Strict Programs","volume":"646","author":"Gire","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB82","series-title":"Technical Report","article-title":"Coplexity Results for Nonmonotoniic Logics","author":"Gottlob","year":"1991"},{"doi-asserted-by":"crossref","unstructured":"Grant, J. and Subrahmanian, V. S., Reasoning in Inconsistent Knowledge Bases. IEEE Trans. Knowledge and Data Engineering, to appear.","key":"10.1016\/0743-1066(93)90028-F_BIB83","DOI":"10.1109\/69.368510"},{"key":"10.1016\/0743-1066(93)90028-F_BIB84","series-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, San Mateo, CA., April 22\u201325, 1991","first-page":"289","article-title":"Generalizing Prioritization","author":"Grosof","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB85","series-title":"Proceedings of the Second Symposium on Mathematical Foundations of Computer Science","first-page":"105","article-title":"Computation and Deduction","author":"Hayes","year":"1973"},{"key":"10.1016\/0743-1066(93)90028-F_BIB86","series-title":"foundations of Deductive Databases and Logic Programming","first-page":"395","article-title":"Compiling the GCWA in Indefinite Deductive Databases","author":"Henschen","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB87","first-page":"295","article-title":"PLANNER: A Language for Proving Theorems in Robots","author":"Hewitt","year":"1969","journal-title":"First International Joint Conference on Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB88","first-page":"301","article-title":"Conditionals and Artificial Intelligence","volume":"15","author":"Horty","year":"1991","journal-title":"Fund. Inform. Special Issue on Logics for Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB89","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(90)90057-7","article-title":"A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks","volume":"42","author":"Horty","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB90","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0004-3702(87)90064-6","article-title":"Results on Translating Defaults to Circumscription","volume":"32","author":"Imielinski","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB91","series-title":"Proceedings of the European Conference on Artificial Intelligence, ECAI 90 International Workshop on Truth Maintenance, Stockholm, Lecture Notes in Computer Science","article-title":"An Abductive procedure for the CMS\/ATMS","author":"Inoue","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB92","series-title":"Technical Report 607","article-title":"Hypothetical Reasoning in Logic Programs","author":"Inoue","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB93","first-page":"490","article-title":"Extended Logic Programs with Default Assumptions","author":"Inoue","year":"1991","journal-title":"Proceedings of the Eighth International Conference on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB94","first-page":"400","article-title":"Embedding Negation as Failure into a Model Generation Theorem Prover","author":"Inoue","year":"1992","journal-title":"International Conference on Automated Deduction (CADE-11)"},{"key":"10.1016\/0743-1066(93)90028-F_BIB95","series-title":"Technical Report TR-816","article-title":"Bottom-Up Abduction by Model Generation","author":"Inoue","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB96","series-title":"Technical Report","article-title":"Hypothetical Reasoning Systems on the MGTP","author":"Inoue","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB97","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0167-9236(88)90128-5","article-title":"Computation-Oriented Reductions of Predicate to Propositional Logic","volume":"4","author":"Jeroslow","year":"1988","journal-title":"Dicision Support Systems"},{"key":"10.1016\/0743-1066(93)90028-F_BIB98","series-title":"Technical Report","article-title":"Abductive Logic Programming","author":"Kakas","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB99","article-title":"Database Updates through Abduction","author":"Kakas","year":"1990","journal-title":"Proceedings of the 16th International Conference on Very Large Databases, VLDB 90"},{"key":"10.1016\/0743-1066(93)90028-F_BIB100","first-page":"85","article-title":"Stable Theories for Logic Programs","author":"Kasas","year":"1991","journal-title":"International Symponium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB101","first-page":"189","article-title":"Hard Problems for Simple Default Logics","author":"Kautz","year":"1989","journal-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR-89)"},{"key":"10.1016\/0743-1066(93)90028-F_BIB102","series-title":"Proceedings of 11th International Joint Conference on Artificial Intelligence","first-page":"1093","article-title":"An Evidence Based Framework for a Theory of Inheritance","author":"Kifer","year":"1989"},{"issue":"3","key":"10.1016\/0743-1066(93)90028-F_BIB103","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","article-title":"On the Relation between Default and Autoepistemic Logic","volume":"35","author":"Konolige","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB104","first-page":"115","article-title":"Errata for: On the relation between Default and Autoepistemic Logic","volume":"41","author":"Konolige","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB105","first-page":"275","article-title":"Quantification in Autoepistemic Logic","volume":"15","author":"Konolige","year":"1991","journal-title":"Fund. Inform."},{"key":"10.1016\/0743-1066(93)90028-F_BIB106","first-page":"598","article-title":"Logic Programs with Exceptions","author":"Kowalski","year":"1990","journal-title":"Proceedings of the Seventh International Conference on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB107","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic Reasoning, Preferential Models and Cumulative Logics","volume":"14","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB108","first-page":"325","article-title":"Reasoning about Ignorance: A Note on the Bush-Gorbachev Problem","volume":"15","author":"Kraus","year":"1991","journal-title":"Fund. Inform."},{"key":"10.1016\/0743-1066(93)90028-F_BIB109","series-title":"Reference and Modality","first-page":"63","article-title":"Semantical Consideration on Modal Logic","author":"Kripke","year":"1971"},{"key":"10.1016\/0743-1066(93)90028-F_BIB110","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","article-title":"Signed Dependencies in Logic Programs","volume":"7","author":"Kunen","year":"1989","journal-title":"J. Logic Programming"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB111","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What Does a Conditional Knowledge Base Entail?","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB112","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(84)90009-2","article-title":"Foundations of a Functional Approach to Knowledge Representation","volume":"23","author":"Levesque","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB113","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1146\/annurev.cs.01.060186.001351","article-title":"Knowledge Representation and Reasoning","volume":"1","author":"Levesque","year":"1986","journal-title":"Ann. Rev. Computer Sci."},{"issue":"3\/4","key":"10.1016\/0743-1066(93)90028-F_BIB114","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I Know: A Study in Autoepistemic Logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artificial Intelligence"},{"year":"1973","author":"Lewis","series-title":"Counterfactuals","key":"10.1016\/0743-1066(93)90028-F_BIB115"},{"key":"10.1016\/0743-1066(93)90028-F_BIB116","first-page":"121","article-title":"Computing Circumscription","author":"Lifschitz","year":"1985","journal-title":"Proceedings of IJCAI-85"},{"key":"10.1016\/0743-1066(93)90028-F_BIB117","first-page":"406","article-title":"Pointwise Circumscription: A Preliminary Report","author":"Lifschitz","year":"1986","journal-title":"Proceedings of the American Association for Artificial Intelligence National Conference"},{"key":"10.1016\/0743-1066(93)90028-F_BIB118","series-title":"Nonmonotonic Reasoning: Second International Workshop (Lecture Notes in Artificial Intelligence 346)","first-page":"202","article-title":"Benchmark Problems for Formal Nonmonotonic Reasoning","author":"Lifschitz","year":"1989"},{"key":"10.1016\/0743-1066(93)90028-F_BIB119","series-title":"Research Report","article-title":"Between Circumscription and Autoepistemic Logic","author":"Lifschitz","year":"1989"},{"key":"10.1016\/0743-1066(93)90028-F_BIB120","first-page":"381","article-title":"Nonmonotonic Databases and Epistemic Queries: Preliminary Report","author":"Lifschitz","year":"1991","journal-title":"Proceedings of 12th International Joint Conference on Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB121","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","first-page":"245","article-title":"Argument Systems: A Uniform Basis for Nonmonotomic Reasoning","author":"Lin","year":"1989"},{"key":"10.1016\/0743-1066(93)90028-F_BIB122","series-title":"Theoretical Aspects of Reasoning and Knowledge: Proceedings of the Third Conference","first-page":"111","article-title":"Epistemic Semantics for Fixed-Points Nonmonotonic Logics","author":"Lin","year":"1990"},{"year":"1987","author":"Lyold","key":"10.1016\/0743-1066(93)90028-F_BIB123"},{"key":"10.1016\/0743-1066(93)90028-F_BIB124","series-title":"Proceeding of the North American Conference on Logic Programming","first-page":"704","article-title":"On Constructive Negation for Disjunctive Logic Programs","author":"Lobo","year":"1990"},{"year":"1992","author":"Lobo","series-title":"Foundation of Disjunctive Logic Programming","key":"10.1016\/0743-1066(93)90028-F_BIB125"},{"key":"10.1016\/0743-1066(93)90028-F_BIB126","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0020-0190(92)90052-W","article-title":"Relating Minimal Models and Pre-requisite-Free Normal Defaults","volume":"44","author":"Lobo","year":"1992","journal-title":"Inform. Process. Lett."},{"year":"1990","author":"Lukaszewicz","series-title":"Non-monotonic Reasoning","key":"10.1016\/0743-1066(93)90028-F_BIB127"},{"key":"10.1016\/0743-1066(93)90028-F_BIB128","article-title":"A Theory of Non-monotonic Rule Systems","author":"Marek","year":"1990","journal-title":"Proceedings 1990 Internatinal Symposium on Logic in Computer Science"},{"key":"10.1016\/0743-1066(93)90028-F_BIB129","first-page":"446","article-title":"The Stable Models of a Predicate Logic Program","author":"Marek","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB130","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0304-3975(92)90019-C","article-title":"The Relationship between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs","volume":"103","author":"Marek","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(93)90028-F_BIB131","first-page":"276","article-title":"Relating Autoepistemic and Default Logic","author":"Marek","year":"1989","journal-title":"Proceeding of the First International Conference on Princples of Knowledge Representation and Reasoning"},{"issue":"3","key":"10.1016\/0743-1066(93)90028-F_BIB132","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","article-title":"Autoepistemic Logic","volume":"38","author":"Marek","year":"1991","journal-title":"J. ACM"},{"key":"10.1016\/0743-1066(93)90028-F_BIB133","first-page":"99","article-title":"More on Modal Aspects of Default Logic","volume":"17","author":"Marek","year":"1992","journal-title":"Fund. Inform"},{"year":"1993","author":"Marek","series-title":"Nonmonotonic Logic\u2014Context-Dependent Reasonings","key":"10.1016\/0743-1066(93)90028-F_BIB134"},{"key":"10.1016\/0743-1066(93)90028-F_BIB135_1","first-page":"77","article-title":"Programs with Common Sense","author":"McCarthy","year":"1958","journal-title":"Mechanization of Thought Processes, Proceeding of the Symposium of the National Physics Laboratory"},{"key":"10.1016\/0743-1066(93)90028-F_BIB135_2","series-title":"Reprinted in Semantic Information Processing","first-page":"403","author":"McCarthhy","year":"1968"},{"key":"10.1016\/0743-1066(93)90028-F_BIB136","first-page":"223","article-title":"Epistemmological Problems of Artificial Intellegence","author":"McCarthy","year":"1977","journal-title":"Proceeding of the International Joint Conference on Artificial Intellegence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB137","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014A Form of Non-monotonnic Reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"year":"1991","author":"McCartthy","series-title":"Artificial Intellegence and Mathematical Theory of Computation, Papers in Honor of John McCarthy","key":"10.1016\/0743-1066(93)90028-F_BIB138"},{"key":"10.1016\/0743-1066(93)90028-F_BIB139","series-title":"Machine Intelligence 4","first-page":"463","article-title":"Some Philosophical Problems from the Standpoin of Artificial Intelligence","author":"McCarthy","year":"1969"},{"key":"10.1016\/0743-1066(93)90028-F_BIB140","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic Logic I","volume":"25","author":"McDermott","year":"1980","journal-title":"Artificial Intellegence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB141","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","article-title":"Non-monotonic Logic II","volume":"29","author":"McDermott","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0743-1066(93)90028-F_BIB142","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0000066","article-title":"On Indefinite Databases and the Closed World Assumption","author":"Minker","year":"1982","journal-title":"Proceedings of the Sixth Conference on Automated Deduction"},{"year":"1988","series-title":"Foundations of Deductive Databases and Logic Programming","key":"10.1016\/0743-1066(93)90028-F_BIB143"},{"key":"10.1016\/0743-1066(93)90028-F_BIB144","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0743-1066(88)90006-4","article-title":"Perpectives in Deductive Databases","volume":"5","author":"Minker","year":"1988","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB145","article-title":"An Overview of Nonmonotoni Reasoning and Logic Programming","author":"Minker","year":"1991","journal-title":"Universiity of Mryland Technical Report"},{"key":"10.1016\/0743-1066(93)90028-F_BIB146","series-title":"Artificial Intelligence and Mathematical Theory of Computation","first-page":"281","article-title":"Circumscription and disjunctive Logic Programming","author":"Minker","year":"1991"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB147","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0743-1066(85)80002-9","article-title":"Computing Protected Circumscription","volume":"2","author":"Minker","year":"1985","journal-title":"J. Logic Programming"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB148","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0743-1066(90)90033-2","article-title":"A Fixpoint Semantics for Disjunctive Logic Programs","volume":"9","author":"Minker","year":"1990","journal-title":"J. of Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB149","first-page":"1","article-title":"Proceedings of the Seventhh International symposium on Methologies for Inelligent systems","volume":"689","author":"Minker","year":"1993"},{"issue":"3","key":"10.1016\/0743-1066(93)90028-F_BIB150","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0020-0190(82)90035-7","article-title":"An Extension to Linear Resolution with Selectin Function","volume":"14","author":"Minker","year":"1982","journal-title":"Infrom. Process. Lett."},{"key":"10.1016\/0743-1066(93)90028-F_BIB151_1","article-title":"Technical Report 306","author":"Minsky","year":"1974","journal-title":"MIT Artificial Intelligence Laboratory"},{"key":"10.1016\/0743-1066(93)90028-F_BIB151_2","series-title":"the Psychology of Computer Vision","first-page":"177","author":"Minsky","year":"1975"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB152","first-page":"34","article-title":"Logical versus Analogical or Symbolic versus Connectionist or Neat Versus Scruffy","volume":"12","author":"Minsky","year":"1991","journal-title":"Al Magazine"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB153","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical Considerations on Nonmonotonic Logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intellegence"},{"unstructured":"Nerode, A., Ng, R., and Subrahmanian, V.S., Computing Circumcriptive Databases, Part I: Theory and Algorithms, Inform. and Comput., to appear.","key":"10.1016\/0743-1066(93)90028-F_BIB154"},{"key":"10.1016\/0743-1066(93)90028-F_BIB155","first-page":"551","article-title":"Rlating Dempster-Shafer to Stable Semantics","author":"Ng","year":"1991","journal-title":"International Symposium on Logic Programming"},{"year":"1992","author":"Ng","journal-title":"Dempster-Shafer Logic Programs and Stable Semantics","key":"10.1016\/0743-1066(93)90028-F_BIB156"},{"key":"10.1016\/0743-1066(93)90028-F_BIB157","first-page":"117","article-title":"On the Decidability and Complexity of Autoepistemic Reasoning","volume":"17","author":"Niemel\u00e4","year":"1992","journal-title":"fund. Inform"},{"key":"10.1016\/0743-1066(93)90028-F_BIB158","series-title":"International Conference on Database Theory: Lecture Notes in Computer Science 646","first-page":"276","article-title":"On Finding Extensions of Default theories","author":"Papadimitriou","year":"1992"},{"year":"1988","author":"Pearl","series-title":"Probabilistic Reasoning in Intelligent systems","key":"10.1016\/0743-1066(93)90028-F_BIB159"},{"year":"1990","author":"Peng","series-title":"Abductive Infeence Methods for Diagnostic Problem Solving","key":"10.1016\/0743-1066(93)90028-F_BIB160"},{"key":"10.1016\/0743-1066(93)90028-F_BIB161","first-page":"566","article-title":"Counterfactual Reasoning Based on Revising Assumptions","author":"Pereira","year":"1991","journal-title":"International Symposium on Logic Programming"},{"key":"10.1016\/0743-1066(93)90028-F_BIB162","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1111\/j.1467-8640.1986.tb00083.x","article-title":"On the Consistency of Commonsense Reasoning","volume":"2","author":"Perlis","year":"1986","journal-title":"Computational Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB163","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0004-3702(87)90020-8","article-title":"Circumscribing with Sets","volume":"31","author":"Perlis","year":"1987","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB164","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(88)90003-3","article-title":"Autocircumcription","volume":"36","author":"Perlis","year":"1988","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB165","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0004-3702(86)90029-9","article-title":"Completeness Results for Circumscription","volume":"28","author":"Perlis","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB166","series-title":"Technical Report","article-title":"Glue Manual","author":"Phipps","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB167","series-title":"The Knowledge Frontier","first-page":"331","article-title":"Theorist: A Logical System for Defaults and Diagnosis","author":"Poole","year":"1987"},{"key":"10.1016\/0743-1066(93)90028-F_BIB168","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the Declarative Semantics of Deductive Databases and Logic Programming","author":"Przymusinski","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB169","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0004-3702(89)90067-2","article-title":"An Algorithm to Compute Circumsciption","volume":"38","author":"Przymusinski","year":"1989","journal-title":"Artificial Intelligence"},{"issue":"4","key":"10.1016\/0743-1066(93)90028-F_BIB170","first-page":"445","article-title":"The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics","volume":"13","author":"Pzymusinski","year":"1990","journal-title":"Fund. Inform"},{"key":"10.1016\/0743-1066(93)90028-F_BIB171","series-title":"Proceedings of the North American Conference on Logic Programming","first-page":"40","article-title":"Stationary Semantics for Disjunctive Logic Programs and Deductive Databases","author":"Przymusinski","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB172","series-title":"Proceedings of the First International Workshop on Logic Programming and Nonmonotonic Reasoning","first-page":"3","article-title":"Autoepistemic Logic of Closed Beliefs and Logic Programmming","author":"Przymusinski","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB173","first-page":"42","article-title":"Stable Semantics for Disjunctive Programs","volume":"9","author":"Przymusinki","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/0743-1066(93)90028-F_BIB174","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00248321","article-title":"Weak Generalized Closed World Assumption","volume":"5","author":"Rajasekar","year":"1989","journal-title":"J. of Automated Reasoning"},{"key":"10.1016\/0743-1066(93)90028-F_BIB175","series-title":"Proceedings of the 18th International Conference on Very Large Databases","first-page":"238","article-title":"CORAL\u2014Control, Relations and Logic","author":"Ramakrishnan","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB176","series-title":"Artificial Intelligence and Heuristic Programming","first-page":"159","article-title":"The Frame Problem in Problem Solving System","author":"Raphael"},{"key":"10.1016\/0743-1066(93)90028-F_BIB177","series-title":"Logic and Data Bases","first-page":"55","article-title":"On Closed World Data Bases","author":"Reiter","year":"1978"},{"key":"10.1016\/0743-1066(93)90028-F_BIB178","series-title":"Proceedings of TINLAP-2, Theoretical Issues in Natural Language Processing-2","first-page":"210","article-title":"On Reasoning by Default","author":"Reiter","year":"1978"},{"issue":"1 and 2","key":"10.1016\/0743-1066(93)90028-F_BIB179","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A Logic for Default Reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB180","first-page":"418","article-title":"Circumscription Implies Predicate Completion","author":"Reiter","year":"1982","journal-title":"Prceedings of the American Association for Artificial Intelligence NationalConference"},{"key":"10.1016\/0743-1066(93)90028-F_BIB181","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","article-title":"Nonmonotonic Reasoning","volume":"2","author":"Reiter","year":"1987","journal-title":"Ann. Rev. Computer Sci."},{"key":"10.1016\/0743-1066(93)90028-F_BIB182","series-title":"Computational Logic: Symposium Proceedings","article-title":"On Asking What a Database Knows","author":"Reiter","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB183","first-page":"270","article-title":"On the Interacting Defaults","author":"Reiter","year":"1981","journal-title":"Proceedings of IJCAI-81"},{"key":"10.1016\/0743-1066(93)90028-F_BIB184","first-page":"183","article-title":"Formal Foundations for Assumption-Based Truth Maintenance Systems: Preliminary Report","author":"Reiter","year":"1987","journal-title":"Proceedings of AAAI-87"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB185","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A. Machine-Oriented Logic Based on the Resolution Principle","volume":"12","author":"Robinson","year":"1965","journal-title":"J. ACM"},{"key":"10.1016\/0743-1066(93)90028-F_BIB186","first-page":"352","article-title":"Well-Founded Semantics for disjunctive Logic Programs","author":"Ross","year":"1989","journal-title":"Proceedings of the First International Conference on Deductive and Object Oriented Databases"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB187","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF00297247","article-title":"Inferring Negative Information from Disjunctive Databases","volume":"4","author":"Ross","year":"1988","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/0743-1066(93)90028-F_BIB188","series-title":"Machine Intelligence 7","first-page":"195","article-title":"An Approach to the Freme Problem and its Implementation","author":"Sandewall","year":"1985"},{"key":"10.1016\/0743-1066(93)90028-F_BIB189","first-page":"671","article-title":"A Query Evaluation Method for Abductive Logic Programming","author":"Satoh","year":"1992","journal-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB190","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(87)90062-5","article-title":"Decidability and Definability with Circumscription","volume":"35","author":"Schlipf","year":"1987","journal-title":"Internat. Ann. Pure and Appl. Logic"},{"key":"10.1016\/0743-1066(93)90028-F_BIB191","first-page":"485","article-title":"When Is Closed World Reasoning Tractable?","author":"Schlipf","year":"1988","journal-title":"Proceedings of the Third International Symposium on Methodologies for Intelligent Systems (ISMIS-88)"},{"key":"10.1016\/0743-1066(93)90028-F_BIB192","first-page":"196","article-title":"The Expressive Power of the Logic Programming Semantics","author":"Schlipf","year":"1990","journal-title":"Preceedings of the Ninth Conference on Principles of Database Systems (PODS-90)"},{"key":"10.1016\/0743-1066(93)90028-F_BIB193","series-title":"Ph.D. Thesis","article-title":"Tractable Defeasible Reasoning","author":"Selman","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB194","series-title":"Proceedings of AAAI-91","first-page":"904","article-title":"Knowledge Compilation Using Horn Approximations","author":"Selmman","year":"1991"},{"key":"10.1016\/0743-1066(93)90028-F_BIB195","first-page":"1140","article-title":"The Tractability of Path-Based Inheritance","author":"Selman","year":"1989","journal-title":"Proceeding of IJCAI-89"},{"key":"10.1016\/0743-1066(93)90028-F_BIB196","first-page":"343","article-title":"Abductibe and Default Reasoning: A Computational Core","author":"Selman","year":"1990","journal-title":"Proceedings of the Eighth National Conference on Artificial Intelligence"},{"key":"10.1016\/0743-1066(93)90028-F_BIB197","series-title":"Foundation of Deductive Databases and Logic Programming","first-page":"19","article-title":"Negation in Logic Programming","author":"Shepherdson","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB198","series-title":"Proceeding of TARK-1990","first-page":"97","article-title":"Autoepitemic Modal Logics","author":"Shvarts","year":"1990"},{"issue":"1","key":"10.1016\/0743-1066(93)90028-F_BIB199","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0022-0000(78)90048-X","article-title":"Power Domains","volume":"16","author":"Smyth","year":"1978","journal-title":"J. Comput. System. Sci"},{"issue":"No. 2","key":"10.1016\/0743-1066(93)90028-F_BIB200","article-title":"A Theory of Conditionals","author":"Stalnaker","year":"1968","journal-title":"Studies in Logical Theory, American Philosophical Quarterly Monograph Series"},{"issue":"2","key":"10.1016\/0743-1066(93)90028-F_BIB201","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF00245816","article-title":"Protected Completions of First Order General Logic Programs","volume":"6","author":"Subrahmanian","year":"1990","journal-title":"J. Automated Reasoning"},{"key":"10.1016\/0743-1066(93)90028-F_BIB202","series-title":"Technical Report","article-title":"Wfs+Branch and Bound=Stable Models","author":"Subrahmanian","year":"1992"},{"key":"10.1016\/0743-1066(93)90028-F_BIB203","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-16492-8_66","article-title":"OLD Resolution with Tabulation","author":"Tamaki","year":"1986","journal-title":"Proceedings of the Third International Conference on Logic Programming"},{"year":"1986","author":"Touretzky","series-title":"The Mathematics of Inheritance Systems","key":"10.1016\/0743-1066(93)90028-F_BIB204"},{"key":"10.1016\/0743-1066(93)90028-F_BIB205","series-title":"Logic Programming and Non-monotonic Reasoning: Proceedings of the First Internatinal Workshop","first-page":"151","article-title":"Embedding Dafault Logic into Modal Non-monotonic Logics","author":"Truszczy\u0144ski","year":"1991"},{"year":"1991","author":"Tsur","article-title":"LDL User's Guide","key":"10.1016\/0743-1066(93)90028-F_BIB206"},{"key":"10.1016\/0743-1066(93)90028-F_BIB207","series-title":"Technical Report","article-title":"Design Overview of the Aditi Deductive Database System","author":"Vaghani","year":"1990"},{"key":"10.1016\/0743-1066(93)90028-F_BIB208","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"149","article-title":"Negation as Failure Using Tight Derivations for General Logic Programs","author":"Van Gelder","year":"1988"},{"key":"10.1016\/0743-1066(93)90028-F_BIB209","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/73721.73722","article-title":"The Alternating Fixpoint of Logic Programs with Negation","author":"Van Gelder","year":"1989","journal-title":"Proceedings of the Eighth ACM Symposium on Principles of Database Systems"},{"key":"10.1016\/0743-1066(93)90028-F_BIB210","first-page":"221","article-title":"Unfounded Sets and Well-Founded Semantics for General Logic Programs","author":"Van Gelder","year":"1988","journal-title":"Proceedings of the Seventh Symposium on Principles of Data Systems"},{"issue":"1\/2","key":"10.1016\/0743-1066(93)90028-F_BIB211","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prologomena to a Theory of Mechanized Formal Reasoning","volume":"13","author":"Weyrauch","year":"1980","journal-title":"Artificial Intelligence"},{"issue":"1\/2","key":"10.1016\/0743-1066(93)90028-F_BIB212","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(80)90010-7","article-title":"Extended Inference Modes in Reasoning by Computer Systems","volume":"13","author":"Winograd","year":"1980","journal-title":"Artificial Intelligence"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669390028F?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:074310669390028F?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T21:57:17Z","timestamp":1733522237000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/074310669390028F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,11]]},"references-count":215,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[1993,11]]}},"alternative-id":["074310669390028F"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(93)90028-f","relation":{},"ISSN":["0743-1066"],"issn-type":[{"type":"print","value":"0743-1066"}],"subject":[],"published":{"date-parts":[[1993,11]]}}}