{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:41Z","timestamp":1725664301280},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581079"},{"type":"electronic","value":"9783540484530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58107-3_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:13:41Z","timestamp":1330269221000},"page":"30-52","source":"Crossref","is-referenced-by-count":0,"title":["Computing extensions of terminological default theories"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Hollunder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"3_CR1","unstructured":"F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, DFKI Kaiserslautern, 1991."},{"key":"3_CR2","unstructured":"F. Baader and P. Hanschke. A scheme for integrating concrete domains into concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991."},{"key":"3_CR3","unstructured":"F. Baader and B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. In Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, Cambridge, Mass., 1992."},{"key":"3_CR4","unstructured":"F. Baader and B. Hollunder. How to prefer more specific defaults in terminological default logic. Research Report RR-92-58, DFKI Saarbr\u00fccken, 1992. Also to appear in Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France, 1993."},{"key":"3_CR5","unstructured":"F. Baader and K. Schlechta. A semantics for open normal defaults via a modified preferential approach. Research Report RR-93-13, DFKI Saarbr\u00fccken, 1993."},{"issue":"3","key":"3_CR6","first-page":"80","volume":"6","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman. 'I lied about the trees\u2019 or, defaults and definitions in knowledge representation. The AI Magazine, 6(3):80\u201393, 1985.","journal-title":"The AI Magazine"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/B978-1-4832-0771-1.50022-9","volume-title":"Principles of Semantic Networks","author":"R. J. Brachman","year":"1991","unstructured":"R. J. Brachman, D. L. McGuinness, P. F. Patel-Schneider, L. A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE-like language. In J. Sowa, editor, Principles of Semantic Networks, pages 401\u2013456. Morgan Kaufmann, San Mateo, Calif., 1991."},{"issue":"2","key":"3_CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2):171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"3_CR10","volume-title":"Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness","author":"M. Garey","year":"1979","unstructured":"M. Garey and D. Johnson. Computers and Intractability \u2014 A Guide to the Theory of NP-Completeness. Freeman, San Francisco, Cal., 1979."},{"key":"3_CR11","series-title":"volume 251 of Informatik-Fachberichte","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-642-76071-6_5","volume-title":"Hybrid inferences in KL-ONE-based knowledge representation systems","author":"B. Hollunder","year":"1990","unstructured":"B. Hollunder. Hybrid inferences in KL-ONE-based knowledge representation systems. In 14th German Workshop on Artificial Intelligence, volume 251 of Informatik-Fachberichte, pages 38\u201347, Ebingerfeld, Germany, 1990. Springer."},{"key":"3_CR12","unstructured":"U. Junker and K. Konolige. Computing extensions of autoepistemic and default logics with a truth maintenance system. In Proceedings of the 8th National Conference on Artificial Intelligence, pages 278\u2013283, Boston, Mass., 1990."},{"key":"3_CR13","unstructured":"H. A. Kautz and B. Selman. Hard problems for simple defaults. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, pages 189\u2013197, Toronto, Ont., 1989."},{"key":"3_CR14","unstructured":"A. Kobsa. The SB-ONE knowledge representation workbench. In Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Habours, Calif., 1989."},{"key":"3_CR15","first-page":"11","volume-title":"KIT-Report 95","author":"E. Mays","year":"1991","unstructured":"E. Mays and B. Dionne. Making KR systems useful. In Terminological Logic Users Workshop \u2014 Proceedings, pages 11\u201312, KIT-Report 95, TU Berlin, 1991."},{"key":"3_CR16","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":"3_CR17","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle. Non-monotonic logic I. Artificial Intelligence, 13:41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"3_CR18","unstructured":"R. McGregor. Statement of interest. In K. von Luck, B. Nebel, and C. Peltason, editors, Statement of Interest for the 2nd International Workshop on Terminological Logics. Document D-91-13, DFKI Kaiserslautern, 1991."},{"key":"3_CR19","unstructured":"\u03bcBACK. System presentation. In Terminological Logic Users Workshop \u2014 Proceedings, page 186, KIT-Report 95, TU Berlin, 1991."},{"key":"3_CR20","unstructured":"C. Peltason, K. v. Luck, and C. Kindermann (Org.). Terminological logic users workshop \u2014 Proceedings. KIT Report 95, TU Berlin, 1991."},{"issue":"1\u20132","key":"3_CR21","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(1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"3_CR23","unstructured":"R. Rymon. Search through systematic set enumeration. In Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, Cambridge, Mass., 1992."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 47, 1991.","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"C. Schwind and V. Risch. A tableau-based characterisation for default logic. In Proceedings of the 1st European Conference on Symbolic and Quantitative Approaches for Uncertainty, pages 310\u2013317, Marseille, France, 1991.","DOI":"10.1007\/3-540-54659-6_107"}],"container-title":["Lecture Notes in Computer Science","Foundations of Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58107-3_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:09Z","timestamp":1619572269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58107-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581079","9783540484530"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-58107-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}