Embedding defaults into terminological knowledge representation formalisms

Baader, F. and Hanschke, P.: A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, DFKI Kaiserslautern, 1991.

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.

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.

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.

Baader, F. and Schlechta, K.: A Semantics for Open Normal Defaults via a Modified Preferential Approach. Research Report RR-93-13, DFKI Saarbrücken, 1993. Also inProc. European Conf. on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, Granada, Spain, 1993.

Brachman, R. J.: ?I lied about the trees? or, defaults and definitions in knowledge representation,The AI Magazine 6(3) (1985), 80?93.

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.

Brachman, R. J. and Schmolze, J. G.: An overview of the KL-ONE knowledge representation system,Cognitive Science 9(2) (1985), 171?216.

Doyle, J.: A truth maintenance system,Artificial Intelligence 12 (1979), 231?272.

Garey, M. and Johnson, D.:Computers and Intractability ? A Guide to the Theory of NP-Completeness, Freeman, San Francisco, CA, 1979.

Gottlob, G.: Complexity results for nonmonotonic logics,J. Logic and Computation 2(3) (1992), 397?425.

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.

Hollunder, B. and Nutt, W.: Subsumption Algorithms for Concept Languages. Research Report RR-90-04, DFKI Kaiserslautern, 1990.

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.

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.

Kobsa, A.: The SB-ONE knowledge representation workbench, inPreprints of the Workshop on Formal Aspects of Semantic Networks, Two Habours, CA, 1989.

Lifschitz, V.: On open defaults, inProc. Symp. on Computational Logics, Brüssel, Belgium, 1990.

Mays, E. and Dionne, B.: Making KR systems useful, inTerminological Logic Users Workshop ? Proceedings, KIT-Report 95, TU Berlin, 1991, pp. 11?12.

MaCarthy, J.: Circumscription ? a form of non-monotonic reasoning,Artificial Intelligence 13 (1980), 27?39.

McDermott, D. and Doyle, J.: Non-monotonic logic I,Artificial Intelligence 13 (1980), 41?72.

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.

?BACK, System presentation, inTerminological Logic Users Workshop ? Proceedings, KIT-Report 95, TU Berlin, 1991, p. 186.

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.

Peltason, C., Luck, K. von and Kindermann, C. (Org.):Terminological Logics Users Workshop ? Proceedings. KIT Report 95, TU Berlin, 1991.

Poole, D. L.: Variables in hypothesis, inProc. 10th Internat. Joint Conf. on Artificial Intelligence, Milano, Italy, 1987.

Post, E. L.: Recursive unsolvability of a problem of Thue,Journal of Symbolic Logic 12 (1947), 1?10.

Reiter, R.: A logic for default reasoning,Artificial Intelligence 13(1?2) (1980), 81?132.

Reiter, R.: A theory of diagnosis from first principles,Artificial Intelligence 32 (1987), 57?95.

Rymon, R.: Search through systematic set enumeration, inProc. 3rd Internat. Conf. on Knowledge Representation and Reasoning, Cambridge, MA, 1992.

Schmidt-Schauß, M. and Smolka, G.: Attributive concept descriptions with complements,Artificial Intelligence 48 (1991), 1?46.

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.