{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T22:28:58Z","timestamp":1648506538733},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s10472-009-9109-x","type":"journal-article","created":{"date-parts":[[2009,1,26]],"date-time":"2009-01-26T08:19:54Z","timestamp":1232957994000},"page":"21-49","source":"Crossref","is-referenced-by-count":2,"title":["Default logic generalized and simplified"],"prefix":"10.1007","volume":"53","author":[{"given":"Alexander","family":"Bochman","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,1,27]]},"reference":[{"key":"9109_CR1","doi-asserted-by":"crossref","unstructured":"Bochman, A.: On the relation between default and modal consequence relations. In: Proc Int. Conf. on Principles of Knowledge Representation and Reasoning, pp. 63\u201374, Bonn, 24\u201327 May 1994","DOI":"10.1016\/B978-1-4832-1452-8.50103-2"},{"key":"9109_CR2","unstructured":"Bochman, A.: On bimodal nonmonotonic logics and their unimodal and non-modal equivalents. In: Proc. IJCAI\u201995, pp. 1518\u20131524, Montreal, 20\u201325 August 1995"},{"issue":"1","key":"9109_CR3","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1305\/ndjfl\/1039293020","volume":"39","author":"A. Bochman","year":"1998","unstructured":"Bochman, A.: Biconsequence relations: a four-valued formalism of reasoning with inconsistency and incompleteness. Notre Dame J. Form. Log. 39(1), 47\u201373 (1998)","journal-title":"Notre Dame J. Form. Log."},{"key":"9109_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04560-2","volume-title":"A Logical Theory of Nonomonotonic Inference and Belief Change","author":"A. Bochman","year":"2001","unstructured":"Bochman, A.: A Logical Theory of Nonomonotonic Inference and Belief Change. Springer, New York (2001)"},{"key":"9109_CR5","volume-title":"Proceedings IJCAI\u201903, Acapulco","author":"A. Bochman","year":"2003","unstructured":"Bochman, A.: A logic for causal reasoning. In: Proceedings IJCAI\u201903, Acapulco. Morgan Kaufmann, San Francisco (2003)"},{"key":"9109_CR6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2004.07.002","volume":"160","author":"A. Bochman","year":"2004","unstructured":"Bochman, A.: A causal approach to nonmonotonic reasoning. Artif. Intell. 160, 105\u2013143 (2004)","journal-title":"Artif. Intell."},{"key":"9109_CR7","doi-asserted-by":"crossref","DOI":"10.1142\/5707","volume-title":"Explanatory Nonmonotonic Reasoning","author":"A. Bochman","year":"2005","unstructured":"Bochman, A.: Explanatory Nonmonotonic Reasoning. World Scientific, Singapore (2005)"},{"key":"9109_CR8","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic framework for default reasoning. Artif. Intell. 93, 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"key":"9109_CR9","volume-title":"Investigations in Modal and Tense Logics","author":"D.M. Gabbay","year":"1976","unstructured":"Gabbay, D.M.: Investigations in Modal and Tense Logics. D. Reidel, Dordrecht (1976)"},{"key":"9109_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical Investigations in Heyting\u2019s Intuitionistic Logic","author":"D.M. Gabbay","year":"1981","unstructured":"Gabbay, D.M.: Semantical Investigations in Heyting\u2019s Intuitionistic Logic. D. Reidel, Dordrecht (1981)"},{"key":"9109_CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation and disjunctive databases. New Gener. Comput. 9, 365\u2013385 (1991)","journal-title":"New Gener. Comput."},{"key":"9109_CR12","unstructured":"Gelfond, M., Lifschitz, V., Przymusi\u0144ska, H., Truszczy\u0144ski, M.: Disjunctive defaults. In: Proc. Second Int. Conf. on Principles of Knowledge Representation and Reasoning, KR\u201991, pp. 230\u2013237, Cambridge, 22\u201325 April 1991"},{"key":"9109_CR13","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische schlie\u00dfen. Math. Z. 39, 405\u2013431 (1934)","journal-title":"Math. Z."},{"key":"9109_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"Inoue, K., Sakama, C.: Negation as failure in the head. J. Log. Program. 35, 39\u201378 (1998)","journal-title":"J. Log. Program."},{"key":"9109_CR15","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1023\/A:1018915113814","volume":"27","author":"T. Janhunen","year":"1999","unstructured":"Janhunen, T.: On the intertranslatability of non-monotonic logics. Ann. Math. Artif. Intell. 27, 791\u2013828 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9109_CR16","series-title":"LNAI","first-page":"93","volume-title":"Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001","author":"T. Janhunen","year":"2001","unstructured":"Janhunen, T.: On the effect of default negation on the expressiveness of disjunctive rules. In: Eiter, T., Faber, W., Truszczynski, M. (eds.) Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001. LNAI, vol. 2173, pp. 93\u2013106. Springer, New York (2001)"},{"key":"9109_CR17","first-page":"101","volume-title":"Proc. Second Int. Workshop on Logic Programming and Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1993","unstructured":"Lifschitz, V., Schwarz, G.: Extended logic programs as autoepistemic theories. In: Pereira, L.M., Nerode, A. (eds.) Proc. Second Int. Workshop on Logic Programming and Nonmonotonic Reasoning, pp. 101\u2013114. MIT, Cambridge (1993)"},{"key":"9109_CR18","first-page":"603","volume-title":"Proc. Third Int. Conf. on Principles of Knowledge Representation and Reasoning, KR\u201892","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general nonmonotonic reasoning (preliminary report). In: Proc. Third Int. Conf. on Principles of Knowledge Representation and Reasoning, KR\u201892, pp. 603\u2013614. Morgan Kauffmann, San Francisco (1992)"},{"key":"9109_CR19","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1145\/383779.383783","volume":"2","author":"V. Lifschitz","year":"2001","unstructured":"Lifschitz, V., Pearce, D., Valverde, A.: Strongly equivalent logic programs. ACM Trans. Comput. Log. 2, 526\u2013541 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"9109_CR20","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70, 53\u201372 (1994)","journal-title":"Artif. Intell."},{"key":"9109_CR21","unstructured":"Lin, F., Shoham, Y.: Argument systems: a uniform basis for nonmonotonic reasoning. In: Proceedings of 1st Intl. Conference on Principles of Knowledge Representation and Reasoning, pp. 245\u2013255, Stanford (1989)"},{"key":"9109_CR22","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., Shoham, Y.: A logic of knowledge and justified assumptions. Artif. Intell. 57, 271\u2013289 (1992)","journal-title":"Artif. Intell."},{"key":"9109_CR23","first-page":"1985","volume-title":"Proc. Int. Joint Conf. on Artificial Intelligence, IJCAI-95","author":"F. Lin","year":"1995","unstructured":"Lin, F.: Embracing causality in specifying the inderect effect of actions. In: Proc. Int. Joint Conf. on Artificial Intelligence, IJCAI-95, pp. 1985\u20131991. Morgan Kaufmann, Montreal (1995)"},{"key":"9109_CR24","first-page":"276","volume-title":"Int. Conf. on Principles of Knowledge Representation and Reasoning, KR\u201989","author":"W. Marek","year":"1989","unstructured":"Marek, W., Truszczy\u0144ski, M.: Relating autoepistemic and default logics. In: Int. Conf. on Principles of Knowledge Representation and Reasoning, KR\u201989, pp. 276\u2013288. Morgan Kaufmann, San Mateo (1989)"},{"key":"9109_CR25","volume-title":"Nonmonotonic Logic, Context-Dependent Reasoning","author":"W. Marek","year":"1993","unstructured":"Marek, W., Truszczy\u0144ski, M.: Nonmonotonic Logic, Context-Dependent Reasoning. Springer, New York (1993)"},{"key":"9109_CR26","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"W. Marek","year":"1990","unstructured":"Marek, W., Nerode, A., Remmel, J.: A theory of nonmonotonic rule systems. Ann. Math. Artif. Intell. 1, 241\u2013273 (1990)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9109_CR27","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., Truszchinski, M.: Modal nonmonotonic logics: ranges, characterization, computation. J. ACM 40, 963\u2013990 (1993)","journal-title":"J. ACM"},{"key":"9109_CR28","unstructured":"McCain, N., Turner, H.: Causal theories of action and change. In: Proceedings AAAI-97, pp. 460\u2013465, Providence, 27\u201331 July 1997"},{"key":"9109_CR29","unstructured":"McCain, N., Turner, H.: On relating causal theories to other formalisms. Unpublished ms (1997)"},{"key":"9109_CR30","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.: Nonmonotonic logic. Artif. Intell. 13, 41\u201372 (1980)","journal-title":"Artif. Intell."},{"key":"9109_CR31","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"McDermott, D.: Nonmonotonic logic II: nonmonotonic modal theories. J. ACM 29, 33\u201357 (1982)","journal-title":"J. ACM"},{"key":"9109_CR32","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.: Semantical considerations on non-monotonic logic. Artif. Intell. 25, 75\u201394 (1985)","journal-title":"Artif. Intell."},{"key":"9109_CR33","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole, D.: A logical framework for default reasoning. Artif. Intell. 36, 27\u201347 (1988)","journal-title":"Artif. Intell."},{"key":"9109_CR34","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.: A logic for default reasoning. Artif. Intell. 13, 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"9109_CR35","first-page":"431","volume-title":"Proc. Symp. in Pure Math., No. 25","author":"D. Scott","year":"1974","unstructured":"Scott, D.: Completeness and axiomatizability in many-valued logic. In: Proc. Symp. in Pure Math., No. 25, pp. 431\u2013435. American Mathematical Society, Providence (1974)"},{"key":"9109_CR36","unstructured":"Segerberg, K.: Classical Propositional Operators. Clarendon, Clarendon (1982)"},{"key":"9109_CR37","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple-Conclusion Logic","author":"D.J. Shoesmith","year":"1978","unstructured":"Shoesmith, D.J., Smiley, T.J.: Multiple-Conclusion Logic. Cambridge University Press, Cambridge (1978)"},{"key":"9109_CR38","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0004-3702(99)00058-2","volume":"113","author":"H. Turner","year":"1999","unstructured":"Turner, H.: A logic of universal causation. Artif. Intell. 113, 87\u2013123 (1999)","journal-title":"Artif. Intell."},{"key":"9109_CR39","series-title":"LNAI","first-page":"289","volume-title":"Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004","author":"H. Turner","year":"2004","unstructured":"Turner, H.: Strong equivalence for causal theories. In: Lifschitz, V., Niemel\u00e4, I. (eds.) Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004. LNAI. vol. 2923, pp. 289\u2013301. Springer, Fort Lauderdale (2004)"},{"key":"9109_CR40","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R. Wojcicki","year":"1988","unstructured":"Wojcicki, R.: Theory of Logical Calculi. Synthese Library, vol. 199. Kluwer, Boston (1988)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9109-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9109-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9109-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:51:51Z","timestamp":1559137911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9109-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":40,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9109"],"URL":"http:\/\/dx.doi.org\/10.1007\/s10472-009-9109-x","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}
