{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:36Z","timestamp":1761611076515,"version":"3.41.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1008243611454","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"369-388","source":"Crossref","is-referenced-by-count":15,"title":["An Interpretation of Default Logic in Minimal Temporal Epistemic Logic"],"prefix":"10.1007","volume":"7","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"142982_CR1","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1093\/jigpal\/4.1.7","volume":"4","author":"G. Amati","year":"1996","unstructured":"Amati, G., Aiello, L.C., Gabbay, D., and Pirri, F., 1996, \u201cA structural property on modal frames characterizing default logic,\u201d Journal of the IGPL\n4, 7\u201322.","journal-title":"Journal of the IGPL"},{"key":"142982_CR2","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/S0004-3702(96)00049-5","volume":"93","author":"G. Amati","year":"1997","unstructured":"Amati, G., Aiello, L.C., and Pirri, F., 1997, \u201cDefinability and commonsense reasoning,\u201d Artificial Intelligence\n93, 169\u2013199.","journal-title":"Artificial Intelligence"},{"key":"142982_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time: A Model Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse","author":"J. v. Benthem","year":"1983","unstructured":"Benthem, J.F.A.K. van, 1983, The Logic of Time: A Model Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse, Dordrecht: Reidel."},{"key":"142982_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An Introduction to Default Logic","author":"P. Besnard","year":"1989","unstructured":"Besnard, P., 1989, An Introduction to Default Logic, Berlin: Springer-Verlag."},{"key":"142982_CR5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/B978-0-444-89752-7.50013-4","volume-title":"Artificial Intelligence V: Methodology, Systems, Applications","author":"P. Besnard","year":"1992","unstructured":"Besnard, P. and Mercer, R.E., 1992, \u201cNon-monotonic logics: A valuations-based approach,\u201d pp. 77\u201384 in Artificial Intelligence V: Methodology, Systems, Applications, B. du Boulay and V. Sgurev, eds., Amsterdam: Elsevier Science Publishers."},{"key":"142982_CR6","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1994-21123","volume":"21","author":"P. Besnard","year":"1994","unstructured":"Besnard, P. and Schaub, T., 1994, \u201cPossible worlds semantics for default logics,\u201d Fundamenta Informaticae\n21, 39\u201366.","journal-title":"Fundamenta Informaticae"},{"key":"142982_CR7","first-page":"495","volume-title":"Proceedings IJCAI87","author":"D.W. Etherington","year":"1987","unstructured":"Etherington, D.W., 1987, \u201cA semantics for default logic,\u201d pp. 495\u2013498 in Proceedings IJCAI87, J. McDermott, ed., San Mateo, CA: Morgan Kaufmann; see also"},{"key":"142982_CR8","volume-title":"Reasoning with Incomplete Information","author":"D.W. Etherington","year":"1988","unstructured":"Etherington, D.W., 1988, Reasoning with Incomplete Information, San Mateo, CA: Morgan Kaufmann."},{"key":"142982_CR9","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1305\/ndjfl\/1040046088","volume":"37","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J., 1996, \u201cMinimal temporal epistemic logic,\u201d Notre Dame Journal of Formal Logic, special issue on Combining Logics 37, 233\u2013259.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"142982_CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BFb0028187","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU'93","author":"J. Engelfriet","year":"1993","unstructured":"Engelfriet, J. and Treur, J., 1993, \u201cA temporal model theory for default logic,\u201d pp. 91\u201396 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Proceedings ECSQARU'93, M. Clarke, R. Kruse, and S. Moral, eds., Lecture Notes in Computer Science, Vol. 747, Berlin: Springer-Verlag."},{"key":"142982_CR11","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BFb0021979","volume-title":"Logics in Artificial Intelligence: Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94","author":"J. Engelfriet","year":"1994","unstructured":"Engelfriet, J. and Treur, J., 1994, \u201cTemporal theories of reasoning,\u201d pp. 279\u2013299 in Logics in Artificial Intelligence: Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94, C. MacNish, D. Pearce, and L.M. Pereira, eds., Berlin: Springer-Verlag. Also in Journal of Applied Nonclassical Logics\n5 (1995), 239\u2013261."},{"key":"142982_CR12","first-page":"60","volume-title":"Proceedings of the 12th European Conference on Artificial Intelligence","author":"J. Engelfriet","year":"1996","unstructured":"Engelfriet, J. and Treur, J., 1996, \u201cSemantics for default logic based on specific branching time models,\u201d pp. 60\u201364 in Proceedings of the 12th European Conference on Artificial Intelligence, W. Wahlster, ed., Chichester: John Wiley & Sons."},{"key":"142982_CR13","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-60112-0_22","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings ECSQARU'95","author":"J. Engelfriet","year":"1995","unstructured":"Engelfriet, J., Herre, H., and Treur, J., 1995, \u201cNonmonotonic belief state frames and reasoning frames (extended abstract),\u201d pp. 189\u2013196 in Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings ECSQARU'95, C. Froidevaux and J. Kohlas, eds., Lecture Notes in Artificial Intelligence, Vol. 946, Berlin: Springer-Verlag."},{"key":"142982_CR14","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and Gabbay, D., 1992, \u201cAdding a temporal dimension to a logic system,\u201d Journal of Logic, Language and Information\n1, 203\u2013233.","journal-title":"Journal of Logic, Language and Information"},{"key":"142982_CR15","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/BFb0000064","volume-title":"6th Conference on Automated Deduction","author":"D.M. Gabbay","year":"1982","unstructured":"Gabbay, D.M., 1982, \u201cIntuitionistic basis for non-monotonic logic,\u201d pp. 260\u2013273 in 6th Conference on Automated Deduction, G. Goos and J. Hartmanis, eds., Lecture Notes in Computer Science, Vol. 138, Berlin: Springer-Verlag."},{"key":"142982_CR16","first-page":"125","volume-title":"Proceedings of the Workshop on Non-monotonic Reasoning, AAAI'84","author":"J.Y. Halpern","year":"1984","unstructured":"Halpern, J.Y. and Moses, Y., 1984, \u201cTowards a theory of knowledge and ignorance,\u201d pp. 125\u2013143 in Proceedings of the Workshop on Non-monotonic Reasoning, AAAI'84, Menlo Park: AAAI Press."},{"key":"142982_CR17","first-page":"173","volume-title":"Information Systems \u2014 Correctness and Reusability, Selected papers from the ISCORE-95 Workshop","author":"W. v. d. Hoek","year":"1995","unstructured":"Hoek, W. van der, Meyer, J.\u2014J. Ch., and Treur J., 1995, \u201cTemporalizing epistemic default logic,\u201d pp. 173\u2013190 in Information Systems \u2014 Correctness and Reusability, Selected papers from the ISCORE-95 Workshop, R.B. Feenstra and R. Wieringa, eds., London: World Scientific Publishers. Extended version in Journal of Logic, Language and Information, 1998, this issue."},{"key":"142982_CR18","doi-asserted-by":"crossref","unstructured":"Kripke, S., 1965, \u201cSemantical analysis of intuitionistic logic I,\u201d pp. 92\u2013130 in Formal Systems and Recursive Function Theory, J.N. Crossley and M. Dummett, eds., Amsterdam: North-Holland.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"142982_CR19","first-page":"198","volume-title":"Proceedings National Conference on Artificial Intelligence, AAAI84","author":"H.J. Levesque","year":"1984","unstructured":"Levesque, H.J., 1984, \u201cA logic of implicit and explicit belief,\u201d pp. 198\u2013202 in Proceedings National Conference on Artificial Intelligence, AAAI84, San Mateo, CA: Morgan Kaufmann."},{"key":"142982_CR20","unstructured":"Lin, F. and Reiter, R., 1996, \u201cRules as actions: A situation calculus semantics for logic programs,\u201d Journal of Logic Programming, special issue on Reasoning about Action and Change (to appear)."},{"key":"142982_CR21","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0004-3702(92)90019-T","volume":"57","author":"F. Lin","year":"1992","unstructured":"Lin, F. and Shoham, Y., 1992, \u201cA logic of knowledge and justified assumptions,\u201d Artificial Intelligence\n57, 271\u2013289.","journal-title":"Artificial Intelligence"},{"key":"142982_CR22","volume-title":"Non-Monotonic Reasoning: Formalization of Commonsense Reasoning","author":"W. Lukaszewicz","year":"1990","unstructured":"Lukaszewicz, W., 1990, Non-Monotonic Reasoning: Formalization of Commonsense Reasoning, New York: Ellis Horwood."},{"key":"142982_CR23","first-page":"276","volume-title":"Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning","author":"V.W. Marek","year":"1989","unstructured":"Marek, V.W. and Truszczynski, M., 1989, \u201cRelating autoepistemic and default logics,\u201d pp. 276\u2013288 in Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, R.J. Brachman, H.J. Levesque, and R. Reiter, eds., San Mateo, CA: Morgan Kaufmann."},{"key":"142982_CR24","doi-asserted-by":"crossref","first-page":"99","DOI":"10.3233\/FI-1992-171-207","volume":"17","author":"V.W. Marek","year":"1992","unstructured":"Marek, V.W. and Truszczynski, M., 1992, \u201cMore on modal aspects of default logic,\u201d Fundamenta Informaticae\n17, 99\u2013116.","journal-title":"Fundamenta Informaticae"},{"key":"142982_CR25","volume-title":"Nonmonotonic Logics; Context-Dependent Reasoning","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W. and Truszczynski, M., 1993, Nonmonotonic Logics; Context-Dependent Reasoning, Berlin: Springer-Verlag."},{"key":"142982_CR26","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1145\/153724.153773","volume":"40","author":"V.W. Marek","year":"1993","unstructured":"Marek, V.W., Schwarz, G.F., and Truszczynski, M., 1993, \u201cModal nonmonotonic logics: Ranges, characterization, computation,\u201d Journal of the ACM\n40, 963\u2013990.","journal-title":"Journal of the ACM"},{"key":"142982_CR27","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. and Doyle, J., 1980, \u201cNonmonotonic logic I,\u201d Artificial Intelligence\n13, 41\u201372.","journal-title":"Artificial Intelligence"},{"key":"142982_CR28","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, \u201cA logic for default reasoning,\u201d Artificial Intelligence\n13, 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"142982_CR29","first-page":"496","volume-title":"Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning","author":"T. Schaub","year":"1991","unstructured":"Schaub, T., 1991, \u201cAssertional default theories: A semantical view,\u201d pp. 496\u2013506 in Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, J.A. Allen, R. Fikes, and E. Sandewall, eds., San Mateo, CA: Morgan Kaufmann."},{"key":"142982_CR30","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0004-3702(94)00067-0","volume":"79","author":"G. Schwarz","year":"1995","unstructured":"Schwarz, G., 1995, \u201cIn search of a \u201ctrue\u201d logic of knowledge: The nonmonotonic perspective,\u201d Artificial Intelligence\n79, 39\u201363.","journal-title":"Artificial Intelligence"},{"key":"142982_CR31","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0004-3702(94)90013-2","volume":"67","author":"G. Schwarz","year":"1994","unstructured":"Schwarz, G. and Truszczynski, M., 1994, \u201cMinimal knowledge problem: A new approach,\u201d Artificial Intelligence\n67, 113\u2013141.","journal-title":"Artificial Intelligence"},{"key":"142982_CR32","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58792-6_22","volume-title":"Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic: Proceedings LOPSTR'94 and META'94","author":"J. Treur","year":"1994","unstructured":"Treur, J., 1994, \u201cTemporal semantics of meta-level architectures for dynamic control of reasoning,\u201d pp. 353\u2013376 in Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic: Proceedings LOPSTR'94 and META'94, L. Fribourg and F. Turini, eds., Lecture Notes in Computer Science, Vol. 883, Berlin: Springer-Verlag."},{"key":"142982_CR33","first-page":"584","volume-title":"Proceedings IJCAI93","author":"F. Voorbraak","year":"1993","unstructured":"Voorbraak, F., 1993, \u201cPreference-based semantics for nonmonotonic logics,\u201d pp. 584\u2013589 in Proceedings IJCAI93, R. Bajcsy, ed., San Mateo, CA: Morgan Kaufmann."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008243611454.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008243611454\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008243611454.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:25:44Z","timestamp":1749723944000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008243611454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["142982"],"URL":"https:\/\/doi.org\/10.1023\/a:1008243611454","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}