{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:05Z","timestamp":1761611105597,"version":"3.44.0"},"reference-count":30,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1990,5,1]],"date-time":"1990-05-01T00:00:00Z","timestamp":641520000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1990,5,1]],"date-time":"1990-05-01T00:00:00Z","timestamp":641520000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2005,2,10]],"date-time":"2005-02-10T00:00:00Z","timestamp":1107993600000},"content-version":"vor","delay-in-days":5399,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1990,5]]},"DOI":"10.1016\/0004-3702(90)90086-f","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"219-234","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":57,"title":["A rational reconstruction of nonmonotonic truth maintenance systems"],"prefix":"10.1016","volume":"43","author":[{"given":"Charles","family":"Elkan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(90)90086-F_BIB1","series-title":"Proceedings IJCAI-85","first-page":"178","article-title":"Modal propositional semantics for reason maintenance systems","author":"Brown","year":"1985"},{"key":"10.1016\/0004-3702(90)90086-F_BIB2","series-title":"Proceedings IJCAI-87","first-page":"973","article-title":"An algebraic foundation for truth maintenance","author":"Brown","year":"1987"},{"key":"10.1016\/0004-3702(90)90086-F_BIB3","first-page":"19","article-title":"New results on semantical nonmonotonic reasoning","volume":"346","author":"Brown","year":"1988"},{"year":"1980","series-title":"Artificial Intelligence Programming","author":"Charniak","key":"10.1016\/0004-3702(90)90086-F_BIB4"},{"key":"10.1016\/0004-3702(90)90086-F_BIB5","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear-time algorithms for testing the satisfiability of propositional horn formulae","volume":"3","author":"Dowling","year":"1984","journal-title":"J. Logic Program"},{"key":"10.1016\/0004-3702(90)90086-F_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(90)90086-F_BIB7","series-title":"Proceedings IJCAI-83","article-title":"The ins and outs of reason maintenance","author":"Doyle","year":"1983"},{"key":"10.1016\/0004-3702(90)90086-F_BIB8","series-title":"Proceedings IJCAI-87","first-page":"495","article-title":"A semantics for default logic","author":"Etherington","year":"1987"},{"key":"10.1016\/0004-3702(90)90086-F_BIB9","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1137\/0205048","article-title":"On the complexity of timetable and multicommodity flow problems","volume":"5","author":"Even","year":"1976","journal-title":"SIAM J. Comput."},{"key":"10.1016\/0004-3702(90)90086-F_BIB10","series-title":"Proceedings AAAI-87","first-page":"207","article-title":"On stratified autoepistemic theories","author":"Gelfond","year":"1987"},{"key":"10.1016\/0004-3702(90)90086-F_BIB11","first-page":"1070","article-title":"The stable model semantics for logic programming","volume":"2","author":"Gelfond","year":"1988"},{"key":"10.1016\/0004-3702(90)90086-F_BIB12","series-title":"Proceedings IJCAI-85","first-page":"185","article-title":"A process theory of non-monotonic inference","author":"Goodwin","year":"1985"},{"key":"10.1016\/0004-3702(90)90086-F_BIB13","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\/0004-3702(90)90086-F_BIB14","series-title":"Proceedings IJCAI-89","first-page":"1061","article-title":"A knowledge-level account of abduction","author":"Levesque","year":"1989"},{"year":"1987","series-title":"Foundations of Logic Programming, Symbolic Computation","author":"Lloyd","key":"10.1016\/0004-3702(90)90086-F_BIB15"},{"article-title":"The relationship between stable, supported, default and auto-epistemic semantics for general logic programs","year":"1988","author":"Marek","key":"10.1016\/0004-3702(90)90086-F_BIB16"},{"article-title":"Reasoning utility package user's manual","year":"1982","author":"McAllester","key":"10.1016\/0004-3702(90)90086-F_BIB17"},{"key":"10.1016\/0004-3702(90)90086-F_BIB18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmontonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0004-3702(90)90086-F_BIB19","series-title":"Proceedings AAAI-87","first-page":"437","article-title":"Curing anomalous extensions","author":"Morris","year":"1987"},{"key":"10.1016\/0004-3702(90)90086-F_BIB20","series-title":"Proceedings AAAI-88","first-page":"506","article-title":"Stable closures, defeasible logic, and contradiction tolerant reasoning","author":"Morris","year":"1988"},{"key":"10.1016\/0004-3702(90)90086-F_BIB21","series-title":"Proceedings AAAI-87","first-page":"167","article-title":"Revised dependency-directed backtracking for default reasoning","author":"Petrie","year":"1987"},{"key":"10.1016\/0004-3702(90)90086-F_BIB22","first-page":"54","article-title":"Reason maintenance in expert systems","volume":"2","author":"Petrie","year":"1989","journal-title":"K\u00fcnstliche Intelligenz"},{"article-title":"Complexity analysis of truth maintenance systems, with applications to high-level vision","year":"1988","author":"Provan","key":"10.1016\/0004-3702(90)90086-F_BIB23"},{"key":"10.1016\/0004-3702(90)90086-F_BIB24","first-page":"193","article-title":"On the declarative semantics of stratified deductive databases and logic programs","author":"Przymusinski","year":"1987"},{"key":"10.1016\/0004-3702(90)90086-F_BIB25","series-title":"Proceedings IJCAI-89","first-page":"1206","article-title":"On the relation between truth maintenance and non-monotonic logics","author":"Reinfrank","year":"1989"},{"key":"10.1016\/0004-3702(90)90086-F_BIB26","series-title":"Proceedings Fifth Generation Computer Systems Conference","first-page":"439","article-title":"A uniform approach to reason maintenance and nonmonotonic inference","author":"Reinfrank","year":"1988"},{"key":"10.1016\/0004-3702(90)90086-F_BIB27","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\/0004-3702(90)90086-F_BIB28","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"},{"year":"1980","series-title":"A note on nonmonotonic modal logic","author":"Stalnaker","key":"10.1016\/0004-3702(90)90086-F_BIB29"},{"key":"10.1016\/0004-3702(90)90086-F_BIB30","first-page":"43","article-title":"Formalizing non-monotonic truth maintenance systems","author":"Urba\u0144ski","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029090086F?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029090086F?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T14:19:29Z","timestamp":1756909169000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029090086F"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,5]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1990,5]]}},"alternative-id":["000437029090086F"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(90)90086-f","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1990,5]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A rational reconstruction of nonmonotonic truth maintenance systems","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0004-3702(90)90086-F","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1990 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}