{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:11:44Z","timestamp":1764688304852},"reference-count":34,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3886,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0004-3702(02)00293-x","type":"journal-article","created":{"date-parts":[[2003,1,9]],"date-time":"2003-01-09T12:13:14Z","timestamp":1042114394000},"page":"79-122","source":"Crossref","is-referenced-by-count":50,"title":["Uniform semantic treatment of default and autoepistemic logics"],"prefix":"10.1016","volume":"143","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[]},{"given":"Victor W.","family":"Marek","sequence":"additional","affiliation":[]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(02)00293-X_BIB001","series-title":"Nonmonotonic Reasoning","author":"Antoniou","year":"1997"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB002","series-title":"Logic Programming and Nonmonotonic Reasoning (Washington, DC, 1991)","first-page":"69","article-title":"Dualities between alternative semantics for logic programming and nonmonotonic reasoning (extended abstract)","author":"Baral","year":"1991"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB003","series-title":"An Introduction to Default Logic","author":"Besnard","year":"1989"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB004","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1994-21123","article-title":"Possible world semantics for default logic","volume":"21","author":"Besnard","year":"1994","journal-title":"Fundamenta Informaticae"},{"issue":"1, Part B","key":"10.1016\/S0004-3702(02)00293-X_BIB005","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(51)90004-7","article-title":"Negation by default and unstratifiable logic programs","volume":"78","author":"Bidoit","year":"1991","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB006","series-title":"Modal Logic. An Introduction","author":"Chellas","year":"1980"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB007","series-title":"Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter","first-page":"113","article-title":"Fixpoint 3-valued semantics for autoepistemic logic","author":"Denecker","year":"1999"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB008","series-title":"Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference (KR2000), Breckenridge, CO","first-page":"74","article-title":"Unified semantic treatment of default and autoepistemic logics","author":"Denecker","year":"2000"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB009","series-title":"Logic-Based Artificial Intelligence","article-title":"Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning","author":"Denecker","year":"2000"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB010","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","article-title":"Fixpoint semantics for logic programming\u2014a survey","volume":"278","author":"Fitting","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB011","series-title":"Proceedings of AAAI-87, Seattle, WA","first-page":"207","article-title":"On stratified autoepistemic theories","author":"Gelfond","year":"1987"},{"issue":"3","key":"10.1016\/S0004-3702(02)00293-X_BIB012","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","article-title":"Complexity results for nonmonotonic logics","volume":"2","author":"Gottlob","year":"1992","journal-title":"J. Logic and Computation"},{"issue":"4","key":"10.1016\/S0004-3702(02)00293-X_BIB013","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/210332.210334","article-title":"Translating default logic into standard autoepistemic logic","volume":"42","author":"Gottlob","year":"1995","journal-title":"J. ACM"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB014","series-title":"An alternative semantics for default logic, Preprint. The Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe","author":"Guerreiro","year":"1990"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB015","series-title":"A Companion to Modal Logic","author":"Hughes","year":"1984"},{"issue":"3","key":"10.1016\/S0004-3702(02)00293-X_BIB016","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"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(02)00293-X_BIB017","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(90)90056-6","article-title":"All I know: a study in autoepistemic logic","volume":"42","author":"Levesque","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB018","series-title":"Proceedings of the Symposium on Computational Logic","first-page":"80","article-title":"On open defaults","author":"Lifschitz","year":"1990"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB019","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (Toronto, ON, 1989)","first-page":"276","article-title":"Relating autoepistemic and default logics","author":"Marek","year":"1989"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB020","series-title":"Proceedings of the North American Conference on Logic Programming","first-page":"243","article-title":"Stable semantics for logic programs and default theories","author":"Marek","year":"1989"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB021","series-title":"Nonmonotonic Logic; Context-Dependent Reasoning","author":"Marek","year":"1993"},{"issue":"1","key":"10.1016\/S0004-3702(02)00293-X_BIB022","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"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(02)00293-X_BIB023","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"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB024","series-title":"Proceedings of the Workshop on Non-Monotonic Reasoning","first-page":"344","article-title":"Possible-world semantics for autoepistemic logic","author":"Moore","year":"1984"},{"issue":"1","key":"10.1016\/S0004-3702(02)00293-X_BIB025","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","article-title":"Semantical considerations on nonmonotonic logic","volume":"25","author":"Moore","year":"1985","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(02)00293-X_BIB026","doi-asserted-by":"crossref","first-page":"67","DOI":"10.3233\/FI-1994-21124","article-title":"Stationary default extensions","volume":"21","author":"Przymusi\u0144ska","year":"1994","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"10.1016\/S0004-3702(02)00293-X_BIB027","doi-asserted-by":"crossref","first-page":"445","DOI":"10.3233\/FI-1990-13404","article-title":"The well-founded semantics coincides with the three-valued stable semantics","volume":"13","author":"Przymusinski","year":"1990","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20132","key":"10.1016\/S0004-3702(02)00293-X_BIB028","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\/S0004-3702(02)00293-X_BIB029","series-title":"Logic Programming and Nonmonotonic Reasoning (Washington, DC, 1991)","first-page":"260","article-title":"Autoepistemic logic of knowledge","author":"Schwarz","year":"1991"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB030","series-title":"Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, CA, 1990)","first-page":"97","article-title":"Autoepistemic modal logics","author":"Shvarts","year":"1990"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB031","series-title":"Proceedings of AAAI-90, Boston, MA","article-title":"It is not my default: the complexity of membership problem for restricted propositional default logics","author":"Stillman","year":"1990"},{"key":"10.1016\/S0004-3702(02)00293-X_BIB032","series-title":"Proceedings of IJCAI-91, Sydney","first-page":"393","article-title":"Modal interpretations of default logic","author":"Truszczy\u0144ski","year":"1991"},{"issue":"4","key":"10.1016\/S0004-3702(02)00293-X_BIB033","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/S0004-3702(02)00293-X_BIB034","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"Van Gelder","year":"1991","journal-title":"J. ACM"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S000437020200293X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S000437020200293X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,31]],"date-time":"2021-05-31T17:22:02Z","timestamp":1622481722000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S000437020200293X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S000437020200293X"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(02)00293-x","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}