{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:48Z","timestamp":1725663948606},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:12:21Z","timestamp":1330272741000},"page":"178-189","source":"Crossref","is-referenced-by-count":0,"title":["Weighted defaults in description logics: Formal properties and proof theory"],"prefix":"10.1007","author":[{"given":"J. Joachim","family":"Quantz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Suska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"16_CR1","unstructured":"F. Baader, B. Hollunder, \u201cEmbedding Defaults into Terminological Knowledge Representation Formalisms\u201d, KR-92, 306\u2013317"},{"key":"16_CR2","unstructured":"F. Baader, B. Hollunder, \u201cHow to Prefer More Specific Defaults in Terminological Default Logic\u201d, IJCAI-93, 669\u2013674"},{"key":"16_CR3","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge: Cambridge University Press, 1991"},{"key":"16_CR4","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, \u201cTractable Concept Languages\u201d IJCAI-91, 458\u2013463"},{"key":"16_CR5","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, W. Nutt, \u201cAdding Epistemic Operators to Concept Languages\u201d, KR-92, 342\u2013353"},{"key":"16_CR6","unstructured":"J. Goldsmith, J. Pearl, \u201cSystem-Z +: A Formalism for Reasoning with Variable-Strength Defaults\u201d, AAAI-91, 399\u2013404"},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"S. Kraus, D. Lehman, M. Magidor, \u201cNonmonotonic Reasoning, Preferential Models and Cumulative Logics\u201d, Artificial Intelligence 44, 167\u2013207, 1990","journal-title":"Artificial Intelligence"},{"key":"16_CR8","unstructured":"V. Lifschitz, \u201cComputing Circumscription\u201d, IJCAI-85, 121\u2013127"},{"key":"16_CR9","unstructured":"D. Makinson, \u201cGeneral Patterns in Nonmonotonic Reasoning\u201d, in D. Gabbay, C. Hogger, J. Robinson (eds), Handbook of Logic in Artificial Intelligence, Oxford: Oxford University Press, in print"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"J. McCarthy, \u201cCircumscription\u2014A Form of Non-Monotonic Reasoning\u201d, Artificial Intelligence 13, 1980","DOI":"10.21236\/ADA086574"},{"key":"16_CR11","unstructured":"G. Pinkas, \u201cPrepositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks\u201d, IJCAI-91, 525\u2013530"},{"key":"16_CR12","unstructured":"J.J. Quantz, \u201cInterpretation as Exception Minimization\u201d, IJCAI-93, 1310\u20131315"},{"key":"16_CR13","unstructured":"J.J. Quantz, V. Royer, \u201cA Preference Semantics for Defaults in Terminological Logics\u201d, KR-92, 294\u2013305"},{"key":"16_CR14","unstructured":"J.J. Quantz, M. Ryan, Preferential Default Description Logics, KIT-Report 110, Technische Universit\u00e4t Berlin, 1993"},{"key":"16_CR15","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00974203","volume":"4","author":"J.J. Quantz","year":"1994","unstructured":"J.J. Quantz, B. Schmitz, \u201cKnowledge-Based Disambiguation for Machine Translation\u201d, Minds and Machines 4, 39\u201357, 1994","journal-title":"Minds and Machines"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"R. Reiter, \u201cA Logic for Default Reasoning\u201d, Artificial Intelligence 13, 1980","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"16_CR17","unstructured":"M. Ryan, \u201cRepresenting Defaults as Sentences with Reduced Priority\u201d, KR-92, 649\u2013660"},{"key":"16_CR18","volume-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham, Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, Cambridge: MIT Press, 1988"},{"key":"16_CR19","unstructured":"S. Suska, A Proof Theory for Preferential Default Description Logics, KIT Report in Preparation"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:34Z","timestamp":1605648094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58467-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584674","9783540489795"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58467-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}