{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T01:10:28Z","timestamp":1759626628189,"version":"build-2065373602"},"reference-count":31,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1998,5,19]],"date-time":"1998-05-19T00:00:00Z","timestamp":895536000000},"content-version":"vor","delay-in-days":503,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1016\/s0304-3975(96)00127-2","type":"journal-article","created":{"date-parts":[[2003,4,23]],"date-time":"2003-04-23T19:53:40Z","timestamp":1051127620000},"page":"111-146","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"title":["Annotated nonmonotonic rule systems"],"prefix":"10.1016","volume":"171","author":[{"given":"A.","family":"Nerode","sequence":"first","affiliation":[]},{"given":"J.B.","family":"Remmel","sequence":"additional","affiliation":[]},{"given":"V.S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(96)00127-2_BIB1","first-page":"493","article-title":"Logic programming","volume":"Vol. B","author":"Apt","year":"1990"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB2","first-page":"35","article-title":"Paraconsistent logic programming","volume":"68","author":"Blair","year":"1987"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"28","author":"de Kleer","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB4","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\/S0304-3975(96)00127-2_BIB5","series-title":"Proc. 1991 Internat. Conf. on Logic Programming","first-page":"581","article-title":"Towards possibilistic logic programming","author":"Dubois","year":"1991"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB6","series-title":"Proc. 5th Internat. Conf. Symp. on Logic Programming","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB7","series-title":"Proc. 7th Internat. Conf. Symp. on Logic Programming","first-page":"579","article-title":"Logic programs with classical negation","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB8","series-title":"Proc. ACM Principles of Programming Languages","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB9","series-title":"ACM Trans. Programming Languages Systems","article-title":"The CLP(R) language and system","author":"Jaffar","year":"1992"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB10","series-title":"2nd Internat. Conf. on Database Theory","first-page":"102","article-title":"On the semantics of rule-based expert systems with uncertainty","volume":"Vol 326","author":"Kifer","year":"1988"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB11","series-title":"Proc. 1989 North American Conf. on Logic Programming","article-title":"Theory of generalized annotated logic programming and its applications","author":"Kifer","year":"1989"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB12","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of generalized annotated logic programming and its applications","volume":"12","author":"Kifer","year":"1992","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB13","first-page":"14","article-title":"Toward a theory of hybrid knowledge bases","author":"Lu","year":"1993","journal-title":"MSI Techn. Report"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB14","series-title":"IEEE Trans. Knowledge and Data Eng.","article-title":"Hybrid knowledge bases","author":"Lu","year":"1993"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB15","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01531080","article-title":"Non-monotonic rule systems I","volume":"2","author":"Marek","year":"1990","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB16","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01543477","article-title":"Nonmonotonic rule systems II","volume":"5","author":"Marek","year":"1991","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0168-0072(92)90069-C","article-title":"How complicated is the set of stable models of a recursive logic program?","volume":"56","author":"Marek","year":"1992","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB18","series-title":"Ann. Pure Appl. Logic An extended abstract presented during: A Workshop on Defeasible Reasoning and Constraint Solving at International Logic Programming Symp.","article-title":"A context for belief revision: FC-normal nonmonotonic programs","author":"Marek","year":"1992"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB19","article-title":"Rule systems, well-orderings, and forward chaining","author":"Marek","year":"1993","journal-title":"MSI Techn. Report"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB20","series-title":"Logic programming and nonmonotonic reasoning","first-page":"43","article-title":"On logical constraints in logic programming","volume":"Vol. 928","author":"Marek","year":"1993"},{"volume":"Vol. 928","year":"1995","series-title":"Logic programming and nonmonotonic reasoning","key":"10.1016\/S0304-3975(96)00127-2_BIB21"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","article-title":"Nonmonotonic logic II: Nonmonotonic modal theories","volume":"29","author":"McDermott","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Nonmonotonic logic I","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"year":"1991","series-title":"Proc. 1st Internat. Workshop on Logic Programming and Nonmonotonic reasoning","key":"10.1016\/S0304-3975(96)00127-2_BIB24"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB25","article-title":"Hybrid knowledge bases","author":"Nerode","year":"1992","journal-title":"Univ. of Maryland Tech. Report"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB26","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","article-title":"Probabilistic logic programming","volume":"101","author":"Ng","year":"1992","journal-title":"Inform. Comput."},{"year":"1993","series-title":"Proc. 2nd Internat. Workshop on Logic Programming and Non-monotonic Reasoning","key":"10.1016\/S0304-3975(96)00127-2_BIB27"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB28","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\/S0304-3975(96)00127-2_BIB29","series-title":"Proc. IJCAI-89","first-page":"1206","article-title":"On the relation between truth maintenance and nonmonotonic logics","author":"Reinfrank","year":"1989"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB30","series-title":"Proc. 1987 IEEE Symp. on Logic Programming","first-page":"173","article-title":"On the semantics of quantitative logic programs","author":"Subrahmanian","year":"1987"},{"key":"10.1016\/S0304-3975(96)00127-2_BIB31","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","article-title":"Amalgamating knowledge bases","volume":"19","author":"Subrahmanian","year":"1994","journal-title":"ACM Trans. Database Systems"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596001272?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397596001272?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T00:51:09Z","timestamp":1759625469000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397596001272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["S0304397596001272"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(96)00127-2","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[1997,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Annotated nonmonotonic rule systems","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0304-3975(96)00127-2","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1997 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}