{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:25:31Z","timestamp":1779074731010,"version":"3.51.4"},"reference-count":65,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1979,11,1]],"date-time":"1979-11-01T00:00:00Z","timestamp":310262400000},"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":[[1979,11]]},"DOI":"10.1016\/0004-3702(79)90008-0","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"231-272","source":"Crossref","is-referenced-by-count":1119,"title":["A truth maintenance system"],"prefix":"10.1016","volume":"12","author":[{"given":"Jon","family":"Doyle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0004-3702(79)90008-0_BIB1","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1145\/359460.359470","article-title":"List processing in real time on a serial computer","volume":"21","author":"Baker","year":"1978","journal-title":"C. ACM"},{"key":"10.1016\/0004-3702(79)90008-0_BIB2","series-title":"Contfempoorary Aspects Philosophy","article-title":"How a computer should think","author":"Belnap","year":"1976"},{"key":"10.1016\/0004-3702(79)90008-0_BIB3","series-title":"Chess as problem solving: The development of a tactics analyzer","author":"Berliner","year":"1974"},{"key":"10.1016\/0004-3702(79)90008-0_BIB4","series-title":"Artificial Intelligence Programming","author":"Charniak","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB5","article-title":"On knowing what to say: Planning speech acts","author":"Cohen","year":"1978","journal-title":"Department of Computer Science, University of Toronto, TR-118"},{"key":"10.1016\/0004-3702(79)90008-0_BIB6","series-title":"Computer Models of Thought and Language","first-page":"251","article-title":"Simulations of belief systems","author":"Colby","year":"1973"},{"key":"10.1016\/0004-3702(79)90008-0_BIB7","article-title":"Deduction plans: A graphical proof procedure for the first-order predicate calculus","author":"Cox","year":"1977","journal-title":"Department of Computer Science, University of Waterloo, Research Report CS-77-28"},{"key":"10.1016\/0004-3702(79)90008-0_BIB8","article-title":"State deltas: A formalism for representing segments of computation","author":"Crocker","year":"1977","journal-title":"University of Southern California, Information Sciences Institute, RR-77-61"},{"key":"10.1016\/0004-3702(79)90008-0_BIB9","article-title":"Local methods for localization of failures in electronic circuits","author":"De Kleer","year":"1976","journal-title":"MIT AI Lab, Memo 394"},{"key":"10.1016\/0004-3702(79)90008-0_BIB10","article-title":"Causal and teleological reasoning in circuit recognition","author":"De Kleer","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB11_1","series-title":"Proc. ACM Symp. on Artificial Intelligence and Programming Languages","article-title":"Explicit control of reasoning","author":"De Kleer","year":"1977"},{"key":"10.1016\/0004-3702(79)90008-0_BIB11_2","author":"De Kleer","year":"1977","journal-title":"MIT AI Lab, Memo 427"},{"key":"10.1016\/0004-3702(79)90008-0_BIB12","article-title":"Propagation of constraints applied to circuit synthesis","author":"De Kleer","year":"1978","journal-title":"MIT AI Lab, Memo 485"},{"key":"10.1016\/0004-3702(79)90008-0_BIB13","first-page":"300","article-title":"How to change your mind","author":"Dennett","year":"1978"},{"key":"10.1016\/0004-3702(79)90008-0_BIB14","article-title":"The use of dependency relationships in the control of reasoning","author":"Doyle","year":"1976","journal-title":"MIT AI Lab, Working Paper 133"},{"key":"10.1016\/0004-3702(79)90008-0_BIB15","article-title":"Truth maintenance systems for problem solving","author":"Doyle","year":"1978","journal-title":"MIT AI Lab, TR-419"},{"key":"10.1016\/0004-3702(79)90008-0_BIB16","article-title":"Reflexive interpreters","author":"Doyle","year":"1978","journal-title":"MIT Department of Electrical Engineering and Computer Science, Ph.D. proposal"},{"key":"10.1016\/0004-3702(79)90008-0_BIB17","series-title":"netl: A System for Representing and Using Real World Knowledge","author":"Fahlman","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB18","series-title":"Proc. Fourth International Joint Conference on Artificial Intelligence","first-page":"99","article-title":"Deductive retrieval mechanisms for state description models","author":"Fikes","year":"1975"},{"key":"10.1016\/0004-3702(79)90008-0_BIB19","article-title":"Plausible inference: A multi-valued logic for problem solving","author":"Friedman","year":"1979","journal-title":"Jet Propulsion Laboratory, Pasadena, CA, Report 79-11"},{"key":"10.1016\/0004-3702(79)90008-0_BIB20","series-title":"Fact, Fiction, and Forecast","first-page":"3","article-title":"The problem of counterfactual conditionals","author":"Goodman","year":"1973"},{"key":"10.1016\/0004-3702(79)90008-0_BIB21","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(79)90008-0_BIB22","series-title":"Proc. Fourth IJCAI","first-page":"181","article-title":"A representation for robot plans","author":"Hayes","year":"1975"},{"key":"10.1016\/0004-3702(79)90008-0_BIB23","series-title":"Knowledge and Belief","author":"Hintikka","year":"1962"},{"issue":"4","key":"10.1016\/0004-3702(79)90008-0_BIB24","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1145\/360032.360048","article-title":"Logical analysis of programs","volume":"19","author":"Katz","year":"1976","journal-title":"C. ACM"},{"key":"10.1016\/0004-3702(79)90008-0_BIB25","series-title":"Proc. Fourth IJCAI","first-page":"53","article-title":"A note on deduction rules with negative premises","author":"Kramosil","year":"1975"},{"key":"10.1016\/0004-3702(79)90008-0_BIB26","article-title":"Une application de l'intelligence artificielle a la conception assist\u00e9e par ordinateur (tropic)","author":"Latombe","year":"1977","journal-title":"Universit\u00e9 Scientifique et M\u00e9dicale de Gren\u00f4ble, Thesis D.Sc. Mathematiques"},{"key":"10.1016\/0004-3702(79)90008-0_BIB27","series-title":"Proc. Sixth IJCAI","article-title":"Failure processing in a system for designing complex assemblies","author":"Latombe","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB28","series-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"10.1016\/0004-3702(79)90008-0_BIB29","article-title":"Dependency networks as a representation for modelling in general problem solvers","author":"London","year":"1978","journal-title":"Department of Computer Science University of Maryland, TR-698"},{"key":"10.1016\/0004-3702(79)90008-0_BIB30","article-title":"A three-valued truth maintenance system","author":"McAllester","year":"1978","journal-title":"MIT AI Lab., Memo 473"},{"key":"10.1016\/0004-3702(79)90008-0_BIB31","article-title":"The use of equality in deduction and knowledge representation","author":"McAllester","year":"1979","journal-title":"MIT Department of Electrical Engineering and Computer Science, M.S. Thesis"},{"key":"10.1016\/0004-3702(79)90008-0_BIB32","article-title":"Assimilation of new information by a natural language understanding system","author":"McDermott","year":"1974","journal-title":"MIT AI Lab., AI-TR-291"},{"key":"10.1016\/0004-3702(79)90008-0_BIB33","article-title":"Very large planner-type data bases","author":"McDermott","year":"1975","journal-title":"MIT AI Lab. AI Memo 339"},{"key":"10.1016\/0004-3702(79)90008-0_BIB34","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1207\/s15516709cog0202_1","article-title":"Planning and acting","volume":"2","author":"McDermott","year":"1978","journal-title":"Cognitive Science"},{"key":"10.1016\/0004-3702(79)90008-0_BIB35","article-title":"Non-monotonic logic I","author":"McDermott","year":"1978","journal-title":"MIT AI Lab., Memo 486"},{"key":"10.1016\/0004-3702(79)90008-0_BIB36","article-title":"A framework for representing knowledge","author":"Minsky","year":"1974","journal-title":"MIT AI Lab., Memo 306"},{"key":"10.1016\/0004-3702(79)90008-0_BIB37","article-title":"K-lines: A theory of memory","author":"Minsky","year":"1979","journal-title":"MIT AI Lab., Memo 516"},{"key":"10.1016\/0004-3702(79)90008-0_BIB38","article-title":"Reasoning about knowledge and action","author":"Moore","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB39","article-title":"A system for incrementally designing and verifying programs","author":"Moriconi","year":"1977","journal-title":"University of Southern California, Information Sciences Institute, RR-77-65"},{"issue":"4","key":"10.1016\/0004-3702(79)90008-0_BIB40","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. ACM"},{"key":"10.1016\/0004-3702(79)90008-0_BIB41","article-title":"Two dogmas of empiricism","author":"Quine","year":"1953"},{"key":"10.1016\/0004-3702(79)90008-0_BIB42","series-title":"Philosophy of Logic","author":"Quine","year":"1970"},{"key":"10.1016\/0004-3702(79)90008-0_BIB43","series-title":"The Web of Belief","author":"Quine","year":"1978"},{"key":"10.1016\/0004-3702(79)90008-0_BIB44","series-title":"Hypothetical Reasoning","author":"Rescher","year":"1964"},{"key":"10.1016\/0004-3702(79)90008-0_BIB45","series-title":"Proc. Second Symp. on Theoretical Issues in Natural Language Processing","article-title":"On reasoning by default","author":"Reiter","year":"1978"},{"key":"10.1016\/0004-3702(79)90008-0_BIB46","article-title":"Computer aided evolutionary design for software engineering","author":"Rich","year":"1979","journal-title":"MIT AI Lab., Memo 506"},{"key":"10.1016\/0004-3702(79)90008-0_BIB47","series-title":"Proc. Fifth IJCAI","first-page":"480","article-title":"Plan recognition using a hypothesize and revise paradigm: An example","author":"Schmidt","year":"1977"},{"key":"10.1016\/0004-3702(79)90008-0_BIB48","series-title":"Theories of History","article-title":"Truisms as the grounds for historical explanations","author":"Scriven","year":"1959"},{"key":"10.1016\/0004-3702(79)90008-0_BIB49","series-title":"Speech Acts","author":"Searle","year":"1969"},{"key":"10.1016\/0004-3702(79)90008-0_BIB50","article-title":"Dependency directed reasoning for complex program understanding","author":"Shrobe","year":"1979","journal-title":"MIT AI Lab., TR-503"},{"key":"10.1016\/0004-3702(79)90008-0_BIB51","series-title":"Proc. Fifth IJCAI","first-page":"265","article-title":"Representation of actions that have side-effects","author":"Sridharan","year":"1977"},{"issue":"4","key":"10.1016\/0004-3702(79)90008-0_BIB52","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/TC.1976.1674621","article-title":"The architecture of coherent information system: A general problem solving system","volume":"C-25","author":"Srinivasan","year":"1976","journal-title":"IEEE Trans. Computers"},{"issue":"2","key":"10.1016\/0004-3702(79)90008-0_BIB53","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(79)90008-0_BIB54","article-title":"Integrating truth maintenance systems with propagation of strength of belief as a means of addressing the fusion problem","author":"Stansfield","year":"1978","journal-title":"MIT AI Lab., draft proposal"},{"key":"10.1016\/0004-3702(79)90008-0_BIB55","article-title":"Structural complexity of proofs","author":"Statman","year":"1974","journal-title":"Stanford University Department of Mathematics, Ph.D. Thesis"},{"key":"10.1016\/0004-3702(79)90008-0_BIB56","article-title":"Constraints","author":"Steele","year":"1978","journal-title":"MIT AI Lab., Memo 502"},{"key":"10.1016\/0004-3702(79)90008-0_BIB57","series-title":"Foundation Problems in the Special Sciences","article-title":"A survey of contemporary learning theories","author":"Suppes","year":"1977"},{"key":"10.1016\/0004-3702(79)90008-0_BIB58","series-title":"Proc. AFIPS FJCC","first-page":"1171","article-title":"From planner to conniver\u2014A genetic approach","author":"Sussman","year":"1972"},{"issue":"11","key":"10.1016\/0004-3702(79)90008-0_BIB59","doi-asserted-by":"crossref","first-page":"857","DOI":"10.1109\/TCS.1975.1083985","article-title":"Heuristic techniques in computer-aided circuit analysis","volume":"CAS-22","author":"Sussman","year":"1975","journal-title":"IEEE Trans. Circuits and Systems"},{"key":"10.1016\/0004-3702(79)90008-0_BIB60","series-title":"Proc. Sixth IJCAI","article-title":"Network truth maintenance for deduction and modelling","author":"Thompson","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB61","series-title":"Counterfactuals without possible worlds","author":"Turner","year":"1978"},{"key":"10.1016\/0004-3702(79)90008-0_BIB62","article-title":"The structure of natural explanations: Theory and applications","author":"Weiner","year":"1979"},{"key":"10.1016\/0004-3702(79)90008-0_BIB63","article-title":"Prolegomena to a theory of formal reasoning","author":"Weyhrauch","year":"1978","journal-title":"Stanford AI Lab., AIM-315"},{"key":"10.1016\/0004-3702(79)90008-0_BIB64","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","article-title":"Fuzzy logic and approximate reasoning","volume":"30","author":"Zadeh","year":"1975","journal-title":"Synthese"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370279900080?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370279900080?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:26:38Z","timestamp":1553628398000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370279900080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,11]]},"references-count":65,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1979,11]]}},"alternative-id":["0004370279900080"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(79)90008-0","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1979,11]]}}}