{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T10:40:05Z","timestamp":1780051205038,"version":"3.53.1"},"reference-count":47,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1980,4,1]],"date-time":"1980-04-01T00:00:00Z","timestamp":323395200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1980,4]]},"DOI":"10.1016\/0004-3702(80)90012-0","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"41-72","source":"Crossref","is-referenced-by-count":617,"title":["Non-monotonic logic I"],"prefix":"10.1016","volume":"13","author":[{"given":"Drew","family":"McDermott","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jon","family":"Doyle","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(80)90012-0_BIB1","first-page":"49","article-title":"On machines which prove theorems","volume":"32","author":"Beth","year":"1958","journal-title":"Simon Stevin (Wis- en Natuurkundig Tijdschrift)"},{"key":"10.1016\/0004-3702(80)90012-0_BIB2","series-title":"The Unprovability of Consistency","author":"Boolos","year":"1979"},{"key":"10.1016\/0004-3702(80)90012-0_BIB3","series-title":"Artificial Intelligence Programming","author":"Charniak","year":"1980"},{"key":"10.1016\/0004-3702(80)90012-0_BIB4","article-title":"Causal and teleological reasoning in circuit recognition","author":"de Kleer","year":"1979"},{"key":"10.1016\/0004-3702(80)90012-0_BIB5","series-title":"Explicit control of reasoning","author":"de Kleer","year":"1977"},{"key":"10.1016\/0004-3702(80)90012-0_BIB6","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\/0004-3702(80)90012-0_BIB7","article-title":"The justification of deduction","volume":"LIX","author":"Dummett","year":"1973"},{"key":"10.1016\/0004-3702(80)90012-0_BIB8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"Strips: A new approach to the application of theorem, proving to problem solving","volume":"2","author":"Fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(80)90012-0_BIB9","first-page":"533","article-title":"Robotologic","volume":"5","author":"Hayes","year":"1970"},{"key":"10.1016\/0004-3702(80)90012-0_BIB10","first-page":"495","article-title":"A logic of actions","volume":"6","author":"Hayes","year":"1971"},{"key":"10.1016\/0004-3702(80)90012-0_BIB11","series-title":"Artificial and Human Thinking","article-title":"The frame problem and related problems in artificial intelligence","author":"Hayes","year":"1973"},{"key":"10.1016\/0004-3702(80)90012-0_BIB12","series-title":"Description and theoretical analysis (using schemata) of Planner: a language for proving theorems and manipulating models in a robot","author":"Hewitt","year":"1972"},{"key":"10.1016\/0004-3702(80)90012-0_BIB13","series-title":"Intuitionism: An Introduction","author":"Heyting","year":"1956"},{"key":"10.1016\/0004-3702(80)90012-0_BIB14","series-title":"An Introduction to Model Logic","author":"Hughes","year":"1972"},{"key":"10.1016\/0004-3702(80)90012-0_BIB15","series-title":"Pattern Directed Inference Systems","article-title":"Some extensions of a system for inferencing on partial information","author":"Joshi","year":"1978"},{"key":"10.1016\/0004-3702(80)90012-0_BIB16","series-title":"Proc. Workshop on Theoretical Issues in Natural Language Processing","first-page":"79","article-title":"A formalism for relating lexical and pragmatic information: its relevance to recognition and generation","author":"Joshi","year":"1975"},{"key":"10.1016\/0004-3702(80)90012-0_BIB17","series-title":"Proc. Fourth International Joint Conference on Artificial Intelligence","first-page":"53","article-title":"A note on deduction rules with negative premises","author":"Kramosil","year":"1975"},{"key":"10.1016\/0004-3702(80)90012-0_BIB18","series-title":"Formal Systems and Recursive Functions","first-page":"92","article-title":"Semantical analysis of intuitionistic logic I","author":"Kripke","year":"1965"},{"issue":"19","key":"10.1016\/0004-3702(80)90012-0_BIB19","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","article-title":"Outline of a theory of truth","volume":"72","author":"Kripke","year":"1975","journal-title":"J. Philosophy"},{"key":"10.1016\/0004-3702(80)90012-0_BIB20","series-title":"Proc. Symp. on Mathematical Foundations of Computer Science 1977","first-page":"374","article-title":"On the logic of incomplete information","author":"Lipski","year":"1977"},{"key":"10.1016\/0004-3702(80)90012-0_BIB21","series-title":"Dependency networks as a representation for modelling in general problem solvers","author":"London","year":"1978"},{"key":"10.1016\/0004-3702(80)90012-0_BIB22","series-title":"Language in Focus: Foundations, Methods and Systems","first-page":"113","article-title":"On representing\u2018True-in-L\u2019 in L","author":"Martin","year":"1976"},{"key":"10.1016\/0004-3702(80)90012-0_BIB23","series-title":"A three-valued truth maintenance system","author":"McAllester","year":"1978"},{"key":"10.1016\/0004-3702(80)90012-0_BIB24","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"4","author":"McCarthy","year":"1969"},{"key":"10.1016\/0004-3702(80)90012-0_BIB25","series-title":"Proc. Fifth International Joint Conference on Artificial Intelligence","first-page":"1038","article-title":"Epistemological problems of artificial intelligence","author":"McCarthy","year":"1977"},{"key":"10.1016\/0004-3702(80)90012-0_BIB26","series-title":"Assimilation of new information by a natural language-understanding system","author":"McDermott","year":"1974"},{"key":"10.1016\/0004-3702(80)90012-0_BIB27","series-title":"Introduction to Mathematical Logic","author":"Mendelson","year":"1964"},{"key":"10.1016\/0004-3702(80)90012-0_BIB28_1","series-title":"A framework for representing knowledge","author":"Minsky","year":"1974"},{"key":"10.1016\/0004-3702(80)90012-0_BIB28_2","series-title":"The Psychology of Computer Vision","year":"1975"},{"key":"10.1016\/0004-3702(80)90012-0_BIB29","series-title":"Reasoning from incomplete knowledge in a procedural deduction system","author":"Moore","year":"1975"},{"key":"10.1016\/0004-3702(80)90012-0_BIB30","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1145\/321850.321858","article-title":"A human-oriented logic for automatic theorem proving","volume":"21","author":"Nevins","year":"1974","journal-title":"J. Assoc. Comput. Machinery"},{"key":"10.1016\/0004-3702(80)90012-0_BIB31","series-title":"The competence\/performance dichotomy in programming","author":"Pratt","year":"1977"},{"key":"10.1016\/0004-3702(80)90012-0_BIB32","series-title":"From a Logical Point of View","author":"Quine","year":"1953"},{"key":"10.1016\/0004-3702(80)90012-0_BIB33","series-title":"The Web of Belief","author":"Quine","year":"1978"},{"key":"10.1016\/0004-3702(80)90012-0_BIB34","series-title":"On closed world data bases","author":"Reiter","year":"1977"},{"key":"10.1016\/0004-3702(80)90012-0_BIB35","series-title":"Proc. Second Symp. on TINLAP","article-title":"On reasoning by default","author":"Reiter","year":"1978"},{"key":"10.1016\/0004-3702(80)90012-0_BIB36","series-title":"Hypothetical Reasoning","author":"Rescher","year":"1964"},{"key":"10.1016\/0004-3702(80)90012-0_BIB37","series-title":"Logic, Methodology and Philosophy of Science","first-page":"228","article-title":"Formalism 64","author":"Robinson","year":"1965"},{"key":"10.1016\/0004-3702(80)90012-0_BIB38","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. Assoc. Comput. Machinery"},{"key":"10.1016\/0004-3702(80)90012-0_BIB39","first-page":"195","article-title":"An approach to the frame problem, and its implementation","volume":"7","author":"Sandewall","year":"1972"},{"key":"10.1016\/0004-3702(80)90012-0_BIB40","series-title":"Theories of History","article-title":"Truisms as the grounds for historical explanations","author":"Scriven","year":"1959"},{"key":"10.1016\/0004-3702(80)90012-0_BIB41","series-title":"Philosophy and History","article-title":"New issues in the logic of explanation","author":"Scriven","year":"1963"},{"issue":"2","key":"10.1016\/0004-3702(80)90012-0_BIB42","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward reasoning and dependency-directed back-tracking in a system for computer-aided circuit analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(80)90012-0_BIB43","author":"Sussman","year":"1971"},{"key":"10.1016\/0004-3702(80)90012-0_BIB44","series-title":"Logic Methodology and Philosophy of Science III","first-page":"105","article-title":"Formalization principle","author":"Takeuti","year":"1968"},{"issue":"17","key":"10.1016\/0004-3702(80)90012-0_BIB45","doi-asserted-by":"crossref","first-page":"481","DOI":"10.2307\/2024549","article-title":"Singular terms, truth-value gaps and free logic","volume":"LXIII","author":"Van Frassen","year":"1966","journal-title":"J. Phil."},{"key":"10.1016\/0004-3702(80)90012-0_BIB46","series-title":"Prolegomena to a theory of formal reasoning","author":"Weyhrauch","year":"1978"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370280900120?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370280900120?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T23:26:50Z","timestamp":1553642810000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370280900120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,4]]},"references-count":47,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1980,4]]}},"alternative-id":["0004370280900120"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(80)90012-0","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1980,4]]}}}