{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:00:58Z","timestamp":1747627258440,"version":"3.40.5"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1023\/a:1006516126932","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T02:18:38Z","timestamp":1040523518000},"page":"431-443","source":"Crossref","is-referenced-by-count":0,"title":["Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic"],"prefix":"10.1007","volume":"12","author":[{"given":"Grigoris","family":"Antoniou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Sperschneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"107349_CR1","unstructured":"Antoniou, G. & Sperschneider, V. (1993).Computing Extensions of Nonmonotonic Logics. In Proc. 4th Scandinavian Conference on Artificial Intelligence. IOS Press."},{"key":"107349_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00851348","volume":"8","author":"G. Antoniou","year":"1994","unstructured":"Antoniou, G. & Sperschneider, V. (1994). Operational Concepts of Nonmonotonic Logics\u2013Part 1: Default Logic. Artificial Intelligence Review\n8: 3\u201316.","journal-title":"Artificial Intelligence Review"},{"key":"107349_CR3","doi-asserted-by":"crossref","unstructured":"Appelt D. E. & Konolige, K. (1988). A Nonmonotonic Logic for Reasoning about Speech Acts and Belief Revision. In Reinfrank et. al. (eds.), Nonmonotonic Reasoning, Proc. 2nd International Workshop. Springer LNAI 346.","DOI":"10.1007\/3-540-50701-9_26"},{"key":"107349_CR4","unstructured":"Brewka, G. (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press."},{"key":"107349_CR5","unstructured":"Gelfond, M. (1987). On Stratified Autoepistemic Theories. In Proc. American National Conference on Artificial Intelligence."},{"issue":"4","key":"107349_CR6","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1990-13403","volume":"13","author":"M. Gelfond","year":"1989","unstructured":"Gelfond, M. & Przymusinska, H. (1989). Formalization of Inheritance Reasoning in Auto-epistemic Logic. Fundamenta Informaticae\n13(4): 403\u2013444.","journal-title":"Fundamenta Informaticae"},{"key":"107349_CR7","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/FI-1992-16104","volume":"16","author":"M. Gelfond","year":"1992","unstructured":"Gelfond, M. & Przymusinska, H. (1992).On Consistency and Completeness of Autoepistemic Theories. Fundamenta Informaticae\n16: 59\u201392.","journal-title":"Fundamenta Informaticae"},{"key":"107349_CR8","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K. (1988a). On the Relation Between Default and Autoepistemic Logic. Artificial Intelligence35: 343\u2013382; see also Errata, Artificial Intelligence\n41: 115, 1989.","journal-title":"Artificial Intelligence"},{"key":"107349_CR9","doi-asserted-by":"crossref","unstructured":"Konolige, K. (1988b). Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning: Preliminary Report. In Reinfrank et al. (eds.), Nonmonotonic Reasoning, Proc. 2nd International Workshop. Springer LNAI 346.","DOI":"10.1007\/3-540-50701-9_19"},{"key":"107349_CR10","doi-asserted-by":"crossref","unstructured":"Konolige, K. (1991). Quantifying in Autoepistemic Logic. Fundamenta Informaticae\n15(3\u20134).","DOI":"10.3233\/FI-1991-153-406"},{"key":"107349_CR11","doi-asserted-by":"crossref","first-page":"243","DOI":"10.3233\/FI-1989-12209","volume":"12","author":"W. Marek","year":"1989","unstructured":"Marek, W. (1989). Stable Theories in Autoepistemic Logic. Fundamenta Informaticae\n12: 243\u2013254.","journal-title":"Fundamenta Informaticae"},{"key":"107349_CR12","unstructured":"Marek, W. & Truszczynski M. (1989). Relating Autoepistemic Logic and Default Logic. Proc. 1st International Conference on Knowledge Representation and Reasoning."},{"key":"107349_CR13","doi-asserted-by":"crossref","unstructured":"Marek, W. & Truszczynski, M. (1993). Nonmonotonic Logic\u2013Context-Dependent Reasoning. Springer.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"107349_CR14","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. & Doyle, J. (1980). Nonmonotonic Logic I. Artificial Intelligence\n13: 41\u201372.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"107349_CR15","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"McDermott, D. & Doyle, J. (1982). Nonmonotonic Logic II: Nonmonotonic Modal Theories. Journal of the ACM\n29(1): 33\u201357.","journal-title":"Journal of the ACM"},{"key":"107349_CR16","unstructured":"Moore R. C. (1984). Possible-World Semantics for Autoepistemic Logic. In Proc. NonMonotonic Reasoning Workshop. New Paltz."},{"key":"107349_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. C. Moore","year":"1985","unstructured":"Moore, R. C. (1985). Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence\n25: 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"107349_CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R. (1980). A Logic for Default Reasoning. Artificial Intelligence\n13: 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"107349_CR19","unstructured":"Sperschneider, V. & Antoniou, G. (1991). Logic: A Foundation for Computer Science. Addison-Wesley."}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006516126932.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006516126932\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006516126932.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:39:48Z","timestamp":1747543188000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006516126932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":19,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["107349"],"URL":"https:\/\/doi.org\/10.1023\/a:1006516126932","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}