{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:53Z","timestamp":1761620873975},"reference-count":35,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":8174,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Computation"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1016\/0890-5401(91)90073-b","type":"journal-article","created":{"date-parts":[[2004,12,16]],"date-time":"2004-12-16T15:34:26Z","timestamp":1103211266000},"page":"15-54","source":"Crossref","is-referenced-by-count":58,"title":["General logical databases and programs: Default logic semantics and stratification"],"prefix":"10.1016","volume":"91","author":[{"given":"Nicole","family":"Bidoit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Froidevaux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0890-5401(91)90073-B_BIB1","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\/0890-5401(91)90073-B_BIB2","series-title":"Proceedings, ACM SIGACT-SIGMOD Symposium on Principles of Database System","article-title":"Maintenance of stratified databases viewed as a belief revision system","author":"Apt","year":"1987"},{"key":"10.1016\/0890-5401(91)90073-B_BIB3","series-title":"Proceedings, Logic in Computer Science (LICS-87)","first-page":"89","article-title":"Minimalism subsumes default logic and circum-scription in stratified logic programming","author":"Bidoit","year":"1987"},{"key":"10.1016\/0890-5401(91)90073-B_BIB4","author":"Bidoit","year":"1987","journal-title":"Minimalism Subsumes Default Logic and Circumscription in Stratified Logic Programming"},{"key":"10.1016\/0890-5401(91)90073-B_BIB5","series-title":"Proceedings, European Conf. on Artificial Intelligence","first-page":"492","article-title":"More on stratified theories","author":"Bidoit","year":"1988"},{"key":"10.1016\/0890-5401(91)90073-B_BIB6","author":"Bidoit","year":"1988","journal-title":"Negation by Default and Non-stratifiable Logic Programs"},{"key":"10.1016\/0890-5401(91)90073-B_BIB7","series-title":"Proceedings, ACM SIGACT-SIGMOD Symposium on Principles of Database System","first-page":"123","article-title":"Positivism vs. minimalism in deductive databases","author":"Bidoit","year":"1986"},{"issue":"No. 2","key":"10.1016\/0890-5401(91)90073-B_BIB8_1","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/0022-0000(89)90004-4","article-title":"Minimalism, justification and non-monotonicity in deductive databases","volume":"38","author":"Bidoit","year":"1989","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/0890-5401(91)90073-B_BIB8_2","article-title":"Minimalism, justification and non-monotonicity in deductive databases","author":"Bidoit","year":"1986","journal-title":"L.R.I. Research Report 304"},{"key":"10.1016\/0890-5401(91)90073-B_BIB9","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":"Artif. Intell"},{"key":"10.1016\/0890-5401(91)90073-B_BIB10","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"issue":"No. 1","key":"10.1016\/0890-5401(91)90073-B_BIB11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","article-title":"Horn clause queries and generalizations","volume":"2","author":"Chandra","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/0890-5401(91)90073-B_BIB12","series-title":"Logic Programming","year":"1982"},{"key":"10.1016\/0890-5401(91)90073-B_BIB13","series-title":"Proceedings, AAAI-83","first-page":"104","article-title":"On inheritance hierarchies with exceptions","author":"Etherington","year":"1983"},{"key":"10.1016\/0890-5401(91)90073-B_BIB14","series-title":"Proceedings, European Conference on Artificial Intelligence","first-page":"123","article-title":"Taxonomic default theory","author":"Froidevaux","year":"1986"},{"key":"10.1016\/0890-5401(91)90073-B_BIB15","series-title":"Proceedings, AAAI-87","first-page":"207","article-title":"On stratified autoepistemic theories","author":"Gelfond","year":"1987"},{"key":"10.1016\/0890-5401(91)90073-B_BIB16","series-title":"Proceedings, Logic Programming Conf.","first-page":"1070","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/0890-5401(91)90073-B_BIB17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(86)90002-6","article-title":"Negation as inconsistency I\u2217","volume":"1","author":"Gabbay","year":"1986","journal-title":"J. Logic Programming"},{"key":"10.1016\/0890-5401(91)90073-B_BIB18","series-title":"Proceedings, 9th Int. Joint Conf. on Artificial Intelligence","first-page":"114","article-title":"Results on translating defaults to circumscription","author":"Imielinski","year":"1985"},{"key":"10.1016\/0890-5401(91)90073-B_BIB19","series-title":"Proceedings, 10th Int. Joint Conf. on Artificial Intelligence","first-page":"394","article-title":"On the relationship between default theories and autoepistemic logic","author":"Konolige","year":"1987"},{"key":"10.1016\/0890-5401(91)90073-B_BIB20","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"177","article-title":"On the declarative semantics of logic programs with negation","author":"Lifschitz","year":"1988"},{"key":"10.1016\/0890-5401(91)90073-B_BIB21","author":"Lloyd","year":"1987"},{"key":"10.1016\/0890-5401(91)90073-B_BIB22","series-title":"Proceedings, 9th Int. Joint Conf. on Artificial Intelligence","first-page":"459","article-title":"Two results on default logic","author":"Lukaszewicz","year":"1985"},{"key":"10.1016\/0890-5401(91)90073-B_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","article-title":"Considerations on default logic: An alternative approach","volume":"4","author":"Lukaszewicz","year":"1988","journal-title":"Comput. Intell."},{"key":"10.1016\/0890-5401(91)90073-B_BIB24","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on non-monotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artif. Intell."},{"issue":"No. 1","key":"10.1016\/0890-5401(91)90073-B_BIB25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014A form of nonmonotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artif. Intell."},{"issue":"No. 1","key":"10.1016\/0890-5401(91)90073-B_BIB26","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":"Artif. Intell."},{"key":"10.1016\/0890-5401(91)90073-B_BIB27","series-title":"Workshop on Foundations of Deductive Databases and Logic Programming","first-page":"378","article-title":"A logic for negation in database systems","author":"Naqvi","year":"1986"},{"key":"10.1016\/0890-5401(91)90073-B_BIB28","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"1193","article-title":"On the declarative semantics of stratified deductive databases","author":"Przymusinski","year":"1988"},{"key":"10.1016\/0890-5401(91)90073-B_BIB29","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","article-title":"On the declarative and precedural semantics of logic programs","volume":"5","author":"Przymusinski","year":"1989","journal-title":"J. Automat. Reason."},{"key":"10.1016\/0890-5401(91)90073-B_BIB30","series-title":"Proceedings, Logic Programming Conf.","first-page":"1106","article-title":"Weakly perfect model semantics for logic programs","author":"Przymusinska","year":"1988"},{"issue":"No. 1","key":"10.1016\/0890-5401(91)90073-B_BIB31","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":"Artif. Intell."},{"key":"10.1016\/0890-5401(91)90073-B_BIB32","series-title":"Proceedings, Int. Joint Conf. on artificial Intelligence","first-page":"270","article-title":"On interacting defaults","author":"Reiter","year":"1981"},{"key":"10.1016\/0890-5401(91)90073-B_BIB33","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\/0890-5401(91)90073-B_BIB34","series-title":"Proceedings ACM SIGACT-SIGMOD Symp. on Principles of Database System","first-page":"221","article-title":"Unfounded sets and well founded semantics for general logic programs","author":"Van Gelder","year":"1988"}],"container-title":["Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:089054019190073B?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:089054019190073B?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,30]],"date-time":"2019-01-30T20:25:45Z","timestamp":1548879945000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/089054019190073B"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["089054019190073B"],"URL":"https:\/\/doi.org\/10.1016\/0890-5401(91)90073-b","relation":{},"ISSN":["0890-5401"],"issn-type":[{"value":"0890-5401","type":"print"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}