{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T15:15:53Z","timestamp":1774624553413,"version":"3.50.1"},"reference-count":20,"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\/bf00881830","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T16:11:47Z","timestamp":1104163907000},"page":"41-68","source":"Crossref","is-referenced-by-count":58,"title":["Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic"],"prefix":"10.1007","volume":"15","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","reference":[{"key":"CR1","unstructured":"Baader, F. and Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms, inProc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Cambridge, MA, 1992."},{"key":"CR2","unstructured":"Baader, F. and Hollunder, B.: How to prefer more specific defaults in terminological default logic, inProc. 13th Int. Joint Conf. on Artificial Intelligence, Chambery, France, 1993."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Besnard, P.:An Introduction to Default Logic, Symbolic Computation Series, Springer, 1989.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"CR4","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 languages, in J. Sowa (ed.),Principles of Semantic Networks, Morgan Kaufmann, San Mateo, CA, 1991, pp. 401?456."},{"key":"CR5","unstructured":"Brass, S.: Deduction with Supernormal Defaults, in G. Brewka, K. P. Jantke and P. H. Schmitt (eds),Nonmonotonic and Induction Logics, 2nd Int. Workshop, Springer LNCS 659, 1992."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Brewka, G.: Adding priorities and specificity to default logic, in C. MacNish, D. Pearce and L. M. Pereira (eds),Logics in Artificial Intelligence, European Workshop, JELIA'94, York, UK, Springer LNAI 838, 1994, pp. 247?260.","DOI":"10.1007\/BFb0021977"},{"key":"CR7","unstructured":"Brewka, G.: Preferred subtheories: An extended logical framework for default reasoning, inProc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989."},{"key":"CR8","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.:Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge, 1991."},{"key":"CR9","unstructured":"Delgrande, J. P. and Jackson, W. K.: Default logic revisited, inProc. 2nd Int. Conf. on Knowledge Representation and Reasoning, Cambridge, MA, 1991."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Junker, U. and Brewka, G.: Handling partially ordered defaults in TMS, inProc. 1st European Conf. on Symbolic and Quantitative Approaches for Uncertainty, Marseille, France, 1991.","DOI":"10.1007\/3-540-54659-6_91"},{"key":"CR11","unstructured":"Kobsa, A.: The SB-ONE knowledge representation workbench, inPreprint of the Workshop on Formal Aspects of Semantic Networks, Two Harbours, CA, 1989."},{"key":"CR12","unstructured":"Lifschitz, V.: Computing circumscription, inProc. 9th Int. Joint Conf. on Artificial Intelligence, Los Angeles, CA, 1985."},{"key":"CR13","unstructured":"Mays, E. and Dionne, B: Making KR systems useful, inTerminological Logic Users Workshop, Proc., KIT-Report 95, TU, Berlin, 1991, pp. 11?12."},{"key":"CR14","unstructured":"MacGregor, R.: Statement of interest, in K. von Luck, B. Nebel and C. Peltason (eds),Statement of Interest 2nd Int. Workshop on Terminological Logics, Document D-91-13, DFKI Kaiserslautern, 1991."},{"key":"CR15","volume-title":"Readings in Nonmonotonic Reasoning","year":"1987","unstructured":"Ginsberg, M. L. (ed.),Readings in Nonmonotonic Reasoning, Morgan Kaufmann, Los Altos, CA, 1987."},{"key":"CR16","series-title":"KIT-Report","first-page":"186","volume-title":"Terminological Logic Users Workshop, Proc.","author":"?BACK","year":"1991","unstructured":"?BACK, System presentation, inTerminological Logic Users Workshop, Proc., KIT-Report 95, TU, Berlin, 1991, p. 186."},{"key":"CR17","volume-title":"Methodologies for Intelligent Systems (ISMIS'93)","author":"L. Padgham","year":"1993","unstructured":"Padgham, L. and Nebel, B.: Combining classification and nonmonotonic inheritance reasoning: A first step, in Z. W. Ras and J. Komorowski (eds),Methodologies for Intelligent Systems (ISMIS'93), North-Holland, Amsterdam, 1993."},{"key":"CR18","series-title":"KIT Report","volume-title":"Terminological Logic Users Workshop, Proc.","author":"C. Peltason","year":"1991","unstructured":"Peltason, C., v. Luck, K. and Kindermann, C. (Org.):Terminological Logic Users Workshop, Proc., KIT Report 95, TU, Berlin, 1991."},{"issue":"1?2","key":"CR19","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":"CR20","unstructured":"Reiter, R. and Criscuolo, G.: On interacting defaults, inProc. 7th Int. Joint Conf. on Artificial Intelligence, 1981."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881830.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881830\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T00:07:26Z","timestamp":1586045246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00881830"],"URL":"https:\/\/doi.org\/10.1007\/bf00881830","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}