{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:15:43Z","timestamp":1761707743902},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf00883932","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T23:31:36Z","timestamp":1104190296000},"page":"149-180","source":"Crossref","is-referenced-by-count":128,"title":["Embedding defaults into terminological knowledge representation formalisms"],"prefix":"10.1007","volume":"14","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Hollunder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"Baader, F. and Hanschke, P.: A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, DFKI Kaiserslautern, 1991."},{"key":"CR2","unstructured":"Baader, F. and Hanschke, P.: A scheme for integrating concrete domains into concept languages, inProc. 12th Internat. Joint Conf. on Artificial Intelligence, Sydney, Australia, 1991."},{"key":"CR3","unstructured":"Baader, F. and Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms, inProc. 3rd Internat. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1992."},{"key":"CR4","unstructured":"Baader, F. and Hollunder, B.: How to prefer more specific defaults in terminological default logic, inProc. 13th Internat. Joint Conf. on Artificial Intelligence, Chambery, France, 1993."},{"key":"CR5","unstructured":"Baader, F. and Schlechta, K.: A Semantics for Open Normal Defaults via a Modified Preferential Approach. Research Report RR-93-13, DFKI Saarbr\u00fccken, 1993. Also inProc. European Conf. on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, Granada, Spain, 1993."},{"issue":"3","key":"CR6","first-page":"80","volume":"6","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J.: ?I lied about the trees? or, defaults and definitions in knowledge representation,The AI Magazine 6(3) (1985), 80?93.","journal-title":"The AI Magazine"},{"key":"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":"Brachman, R. J., McGuinness, D. L., Patel-Schneider, P. F., Resnick, L. A. and Borgida, A.: Living with CLASSIC: When and how to use a KL-ONE-like language, in J. Sowa (ed.),Principles of Semantic Networks, Morgan Kaufmann, San Mateo, CA, 1991, pp. 401?456."},{"issue":"2","key":"CR8","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J. and Schmolze, J. G.: An overview of the KL-ONE knowledge representation system,Cognitive Science 9(2) (1985), 171?216.","journal-title":"Cognitive Science"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J.: A truth maintenance system,Artificial Intelligence 12 (1979), 231?272.","journal-title":"Artificial Intelligence"},{"key":"CR10","volume-title":"Computers and Intractability ? A Guide to the Theory of NP-Completeness","author":"M. Garey","year":"1979","unstructured":"Garey, M. and Johnson, D.:Computers and Intractability ? A Guide to the Theory of NP-Completeness, Freeman, San Francisco, CA, 1979."},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity results for nonmonotonic logics,J. Logic and Computation 2(3) (1992), 397?425.","journal-title":"J. Logic and Computation"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"Hollunder, B.: Hybrid inferences in KL-ONE-based knowledge representation systems, in14th German Workshop on Artificial Intelligence, Ebingerfeld, Germany, Vol. 251 ofInformatik-Fachberichte, Springer, 1990, pp. 38?47.","DOI":"10.1007\/978-3-642-76071-6_5"},{"key":"CR13","unstructured":"Hollunder, B. and Nutt, W.: Subsumption Algorithms for Concept Languages. Research Report RR-90-04, DFKI Kaiserslautern, 1990."},{"key":"CR14","unstructured":"Junker, U. and Konolige, K.: Computing extensions of autoepistemic and default logics with a truth maintenance system, inProc. 8th National Conf. on Artificial Intelligence, Boston, MA, 1990."},{"key":"CR15","unstructured":"Kautz, H. A. and Selman, B.: Hard problems for simple defaults, inProc. 1st Internat. Conf. on Principles of Knowledge Representation and Reasoning, Toronto, Ont., 1989."},{"key":"CR16","unstructured":"Kobsa, A.: The SB-ONE knowledge representation workbench, inPreprints of the Workshop on Formal Aspects of Semantic Networks, Two Habours, CA, 1989."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: On open defaults, inProc. Symp. on Computational Logics, Br\u00fcssel, Belgium, 1990.","DOI":"10.1007\/978-3-642-76274-1_3"},{"key":"CR18","unstructured":"Mays, E. and Dionne, B.: Making KR systems useful, inTerminological Logic Users Workshop ? Proceedings, KIT-Report 95, TU Berlin, 1991, pp. 11?12."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. MaCarthy","year":"1980","unstructured":"MaCarthy, J.: Circumscription ? a form of non-monotonic reasoning,Artificial Intelligence 13 (1980), 27?39.","journal-title":"Artificial Intelligence"},{"key":"CR20","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. and Doyle, J.: Non-monotonic logic I,Artificial Intelligence 13 (1980), 41?72.","journal-title":"Artificial Intelligence"},{"key":"CR21","unstructured":"McGregor, R.: Statement of interest, in K. von Luck, B. Nebel, and C. Peltason (eds),Statement of Interest for the 2nd International Workshop on Terminological Logics, Document D-91-13, DFKI Kaiserslautern 1991."},{"key":"CR22","unstructured":"?BACK, System presentation, inTerminological Logic Users Workshop ? Proceedings, KIT-Report 95, TU Berlin, 1991, p. 186."},{"key":"CR23","volume-title":"Text Understanding in LILOG, LNAI 546","author":"B. Nebel","year":"1991","unstructured":"Nebel, B. and Smolka, G.: Attribute description formalisms ... and the rest of the world, in C. Rollinger and O. Herzog (eds),Text Understanding in LILOG, LNAI 546. Springer-Verlag, Berlin, 1991."},{"key":"CR24","unstructured":"Peltason, C., Luck, K. von and Kindermann, C. (Org.):Terminological Logics Users Workshop ? Proceedings. KIT Report 95, TU Berlin, 1991."},{"key":"CR25","unstructured":"Poole, D. L.: Variables in hypothesis, inProc. 10th Internat. Joint Conf. on Artificial Intelligence, Milano, Italy, 1987."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E. L. Post","year":"1947","unstructured":"Post, E. L.: Recursive unsolvability of a problem of Thue,Journal of Symbolic Logic 12 (1947), 1?10.","journal-title":"Journal of Symbolic Logic"},{"issue":"1?2","key":"CR27","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,Artificial Intelligence 13(1?2) (1980), 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles,Artificial Intelligence 32 (1987), 57?95.","journal-title":"Artificial Intelligence"},{"key":"CR29","unstructured":"Rymon, R.: Search through systematic set enumeration, inProc. 3rd Internat. Conf. on Knowledge Representation and Reasoning, Cambridge, MA, 1992."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M. and Smolka, G.: Attributive concept descriptions with complements,Artificial Intelligence 48 (1991), 1?46.","journal-title":"Artificial Intelligence"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Schwind, C. and Risch, V.: A tableau-based characterisation for default logic, inProc. 1st European Conf. on Symbolic and Quantitative Approaches for Uncertainty, Marseille, France, 1991, 310?317.","DOI":"10.1007\/3-540-54659-6_107"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00883932.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00883932\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00883932","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T00:15:26Z","timestamp":1586045726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00883932"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00883932"],"URL":"https:\/\/doi.org\/10.1007\/bf00883932","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}