{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:00Z","timestamp":1725663960558},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:13:31Z","timestamp":1330254811000},"page":"272-283","source":"Crossref","is-referenced-by-count":0,"title":["Incorporating specificity into circumscriptive theories"],"prefix":"10.1007","author":[{"given":"James P.","family":"Delgrande","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten H.","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"24_CR1","unstructured":"F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. In Proc. IJCAI-93, pages 669\u2013674, Chamb\u00e9ry, Fr., 1993."},{"key":"24_CR2","unstructured":"Craig Boutilier. Conditional Logics for Default Reasoning and Belief Revision. PhD thesis, Department of Computer Science, University of Toronto, 1992."},{"key":"24_CR3","unstructured":"Craig Boutilier. What is a default priority? In Canadian Conference on AI, Vancouver, B.C., 1992."},{"key":"24_CR4","unstructured":"G. Brewka. Adding priorities and specificity to default logic. Manuscript, 1993."},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"J. P. Delgrande and T. Schaub. A general approach to specificity in default reasoning. In Fourth International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, May 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50110-X"},{"issue":"1","key":"24_CR6","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"J.P. Delgrande","year":"1987","unstructured":"J.P. Delgrande. A first-order conditional logic for prototypical properties. Artificial Intelligence, 33(1):105\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"issue":"2\u20133","key":"24_CR7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H. Geffner","year":"1992","unstructured":"Hector Geffner and Judea Pearl. Conditional entailment: Bridging two approaches to default reasoning. Artificial Intelligence, 53(2\u20133):209\u2013244, 1992.","journal-title":"Artificial Intelligence"},{"key":"24_CR8","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0004-3702(89)90026-X","volume":"39","author":"M. Ginsberg","year":"1989","unstructured":"M. Ginsberg. A circumscriprive theorem prover. Artificial Intelligence, 39:209\u2013230, 1989.","journal-title":"Artificial Intelligence"},{"key":"24_CR9","volume-title":"PhD thesis","author":"M. Goldszmidt","year":"1992","unstructured":"Mois\u00e9s Goldszmidt. Qualitative Probabilities: A Normative Framework for Commonsense Reasoning. PhD thesis, Department of Computer Science, University of California, Los Angeles, 1992."},{"key":"24_CR10","first-page":"289","volume-title":"Generalizing prioritization","author":"B. Grosof","year":"1991","unstructured":"B. Grosof. Generalizing prioritization. In J. A. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning, pages 289\u2013300, San Mateo, CA, April 1991. Morgan Kaufmann."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1\u20132), 1990.","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"24_CR12","unstructured":"V. Lifschitz. Computing circumscription. In Proc. IJCAI-85, pages 121\u2013127, Los Angeles, 1985."},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy. Circumscription \u2014 a form of non-monotonic reasoning. Artificial Intelligence, 13:27\u201339, 1980.","journal-title":"Artificial Intelligence"},{"key":"24_CR14","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 common-sense knowledge. Artificial Intelligence, 28:89\u2013116, 1986.","journal-title":"Artificial Intelligence"},{"key":"24_CR15","first-page":"505","volume-title":"Proc. KR-89","author":"J. Pearl","year":"1989","unstructured":"J. Pearl. Probabilistic semantics for nonmonotonic reasoning: A survey. In Proc. KR-89, pages 505\u2013516, Toronto, May 1989. Morgan Kaufman."},{"key":"24_CR16","unstructured":"J. Pearl. System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning. In Proc. of the Third Conference on Theoretical Aspects of Reasoning About Knowledge, pages 121\u2013135, Pacific Grove, Ca., 1990."},{"key":"24_CR17","unstructured":"D. Poole. On the comparison of theories: Preferring the most specific explanation. In Proc. IJCAI-85, pages 144\u2013147, 1985."},{"key":"24_CR18","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:81\u2013132, 1980.","journal-title":"Artificial Intelligence"}],"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_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:21:36Z","timestamp":1605630096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}