{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:55Z","timestamp":1725663955549},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584674"},{"type":"electronic","value":"9783540489795"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58467-6_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:12:55Z","timestamp":1330272775000},"page":"260-271","source":"Crossref","is-referenced-by-count":1,"title":["A prioritized Contextual Default Logic: Curing anomalous extensions with a simple abnormality default theory"],"prefix":"10.1007","author":[{"given":"Gerson","family":"Zaverucha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"23_CR1","unstructured":"G. Antoniou, G., E. Langetepe, V. Sperschneider: New proofs in default logic theory. 1993, Draft."},{"key":"23_CR2","unstructured":"P. Besnard, T. Schaub: Possible worlds semantics for default logics. Fundamenta Informaticae. Forthcoming"},{"key":"23_CR3","unstructured":"P. Besnard, T. Schaub: A context-based framework for default logics. Proceedings of the AAAI-93, pp.406\u2013411."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"P. Besnard: An introduction to default logic. Springer Verlag 1989.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"23_CR5","unstructured":"G. Brewka: Adding priorities and specificity to default logic. GMD report, Bonn 1993."},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"G. Brewka: Cumulative Default Logic \u2014 in defense of nonmonotonic inference rules. Artificial Intelligence 50 1991, pp. 183\u2013205.","journal-title":"Artificial Intelligence"},{"key":"23_CR7","unstructured":"G. Brewka: Nonmonotonic Reasoning \u2014 Logical Foundations of Commonsense. Cambridge Tracts in Theoretical Computer Science 12, Cambridge University Press 1991."},{"key":"23_CR8","unstructured":"J. P. Delgrande, T. Schaub: On using system Z to generate prioritized default logic. Proc. of Dutch \/ German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, eds. Brewka, G and Witteveen, C. Aachen 1993."},{"key":"23_CR9","unstructured":"J. P. Delgrande, W. K. Jackson: Default Logic revisited. Proc. Second International Conference on Principles of Knowledge Representation and Reasoning, Boston 1991."},{"key":"23_CR10","unstructured":"J. Dix: Default Theories of Poole-Type and a Method for Constructing Cumulative Versions of Default Logic. Proceedings of ECAI92, ed. Bernd Neumann, John Wiley & Sons 1992. pp. 289\u2013293."},{"key":"23_CR11","volume-title":"Reasoning with Incomplete Information","author":"D. W. Etherington","year":"1988","unstructured":"D. W. Etherington: Reasoning with Incomplete Information, Pitman, London 1988."},{"key":"23_CR12","unstructured":"D. M. Gabbay: Labelled Deductive Systems. 1st draft Sept 1989, 6th draft Feb 91. To appear as a book with OUP."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay: Theoretical Foundations for Nonmonotonic Reasoning in Expert Systems. Logics and Models of Concurrent Systems, Ed. by K. Apt, Springer-Verlag 1985, pp. 439\u2013459.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"M. T. Gordon: The Pleadings Game: Formalizing Procedural Justice 1993.","DOI":"10.1145\/158976.158978"},{"key":"23_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1988","unstructured":"S. Hanks, D. McDermott: Nonmonotonic logic and temporal projection. Artificial Intelligence 33 1988 pp.379\u2013412.","journal-title":"Artificial Intelligence"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"A. Hunter: A conceptualization of preferences in non-monotonic proof theory. In JELIA-92, Berlin, LNCS, Springer.","DOI":"10.1007\/BFb0023428"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Lifschitz, V. Circumscription. Handbook of Logic in Artificial Intelligence, eds. Gabbay, D., Hogger, C. and Robinson, J. eds. Vol III. Oxford University Press 1994.","DOI":"10.1093\/oso\/9780198537472.003.0006"},{"key":"23_CR18","unstructured":"W. Lukasziewicz: Nonmonotonic Reasoning: formalization of commonsense reasoning. Ellis Horwood 1990."},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"W. Marek, M. Truszczynski: Nonmonotonic logic: context dependent reasoning. Springer Verlag 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"23_CR20","unstructured":"W. Marek, M. Truszczynski: Normal form results for default logics. Nonmonotonic and Inductive Logic, eds. Brewka, G., Jantke, K. P. and Schmitt, P. H., LNAI 659, Springer Verlag 1993, pp.153\u2013174."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"D. Makinson: General patterns in non-monotonic reasoning. Handbook of Logic in Artificial Intelligence, eds. Gabbay, D., Hogger, C. and Robinson, J. eds. Vol III. Oxford University Press 1994.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"23_CR22","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"J. McCarthy: Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence 28, 1986, pp. 89\u2013116.","journal-title":"Artificial Intelligence"},{"key":"23_CR23","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1016\/0004-3702(88)90022-7","volume":"35","author":"P. H. Morris","year":"1988","unstructured":"Morris, P. H. The anomalous extension problem in default reasoning. Artificial Intelligence 35 1988, pp.383\u2013399.","journal-title":"Artificial Intelligence"},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"D. Nute: Basic Defeasible Logic. Intensional Logics for Programming, eds. Farinas del Cerro and Pentonnen, OUP 1991.","DOI":"10.1093\/oso\/9780198537755.003.0005"},{"key":"23_CR25","unstructured":"T. Pequeno, A.R.V. Buchsbaum: The Logic of Epistemic Inconsistency. Proc. KR 1991."},{"key":"23_CR26","volume-title":"Technical Report 90\/6","author":"T. Pequeno","year":"1990","unstructured":"T. Pequeno: A Logic for Inconsistent Nonmonotonic Reasoning. Technical Report 90\/6 Department of Computing, Imperial College, London 1990."},{"key":"23_CR27","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"J. Pollock","year":"1987","unstructured":"J. Pollock: Defeasible Reasoning. Cognitive Science 11 1987, pp. 481\u2013518.","journal-title":"Cognitive Science"},{"key":"23_CR28","unstructured":"D. L. Poole: Default Logic. Handbook of Logic in Artificial Intelligence, eds. Gabbay, D., Hogger, C. and Robinson, J. eds. Vol III. Oxford University Press 1994."},{"key":"23_CR29","unstructured":"D. L. Poole: What the lottery paradox tells us about default reasoning. Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR) 1989, pp.333\u2013340."},{"key":"23_CR30","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. L. Poole","year":"1987","unstructured":"D. L. Poole: A logical framework for default reasoning. Artificial Intelligence 36 1987, pp.27\u201347.","journal-title":"Artificial Intelligence"},{"key":"23_CR31","unstructured":"D. L. Poole: On the comparison of theories: preferring the most specific explanation. Proceedings of IJCAI 1985, Los Angeles, pp 144\u2013147."},{"key":"23_CR32","doi-asserted-by":"crossref","unstructured":"H. Prakken: Logical tools for modelling legal arguments, PhD thesis, VU Amsterdam 1993.","DOI":"10.1145\/158976.158977"},{"key":"23_CR33","first-page":"1","volume":"9","author":"R. Reiter","year":"1983","unstructured":"R. Reiter, G. Criscuolo: Some representational issues in default reasoning. J. Computers and Maths. with Appls. (Special issue on computational linguistics) 9, 1983, pp. 1\u201313.","journal-title":"J. Computers and Maths. with Appls. (Special issue on computational linguistics)"},{"key":"23_CR34","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter: A logic for default reasoning. Artificial Intelligence 13, 1980, pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"23_CR35","unstructured":"T. Schaub: Considerations on default logics. Dissertation, TH Darmstadt 1992."},{"key":"23_CR36","unstructured":"T. Schaub: On constrained default theories. Proceedings of ECAI92, ed. Bernd Neumann, John Wiley & Sons 1992, pp. 304\u2013308."},{"key":"23_CR37","doi-asserted-by":"crossref","unstructured":"G. Simari, R. Loui: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence 53, 1992.","DOI":"10.1016\/0004-3702(92)90069-A"}],"container-title":["Lecture Notes in Computer Science","KI-94: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58467-6_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:06:25Z","timestamp":1713629185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}