Using description logics for knowledge intensive case-based reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1168, Issue , 1996, Pages 204-218

  Kamp, Gerd ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; CONCRETES; DATA DESCRIPTION; FORMAL LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTICS; XML;

CONCRETE DOMAINS; DECLARATIVE SEMANTICS; DESCRIPTION LOGIC; DESCRIPTION LOGIC SYSTEMS; GENERIC INTERFACES; LINEAR INEQUALITIES; OBJECT-ORIENTED REPRESENTATION; SOUND AND COMPLETE;

CASE BASED REASONING;

EID: 84877623125     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020612     Document Type: Conference Paper

References (21)

1. K.D. Ashley and V. Aleven. A logical Representation for Relevance Criteria. In K.-D. Althoff S. Weß and M. M. Richter, editors, Topics in Case-Based Reasoning, pages 338-352, 1994, Springer Verlag.
2. F. Baader, H. Bürckert, B. Hollunder, A. Lanx, and W. Nutt. Terminologische Logiken. KI, (3):23-33, 1992.
3. F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, DFKI, Kaiserslautern, Germany, April 1991.
4. R. J. Brachman and J. G. Schlmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 9(2), 1985.
5. Ralph Bergmann, Wolfgang Wilke, Ivo Vollrath, and Stefan Weß. Integrating General Knowledge with Object-Oriented Case Representation and Reasoning. In Proc. th GWCBR, pages 120-127, Berlin, Germany, 1996. Humboldt Universitgt Berlin.
6. Ashok God. Integrating Model-Based-Reasoning and Case-Based Reasoning for Design Problem Solving. In Proc. AAAI-88, 1988.
7. P. Hanschke. A Declarative Integration of Terminological, Constraint-Based, Data-driven, and Goal-directed Reasoning. Dissertation, Universit/it Kaiserslautern, 1993.
8. ISO. [SO 10303 Part 105: Kinematics. ISO, 1994.
9. Gerd Kamp. AMS - A Case-Based Service Support System. In R. V. Rodriguez F. D. Anger and M. Aft, editors, Proc. of the IEA/AIEg, pages 677-683, Austin, TX, 1994. Gordon and Breach Science Publishers.
10. Gerd Kamp. Integrating Semantic Structure and Technical Documentation in Case-Based Service Support Systems. In K.-D. Althoff S. Weß and M. M. Richter, editors, Topics in Case-Based Reasoning, pages 392-403, 1994. Springer Verlag.
11. Jana Koehler. An Application of Terminological Logics to Case-based Reasoning. In Proc. KR94, Bonn, Germany, 1994.
12. Gerd Kamp and Holger Wache. CTL - a description logic with expressive concrete domains. Technical report, LKI, 1996.
13. T.N. Madhusudan. A Bond graph based approach to Case-based synthesis. CMU-RI-TR-95-29, Carnegie Mellon University, July 1995.
14. Frank Puppe. Einfiihrung in Expertensysteme. Springer, 1991.
15. Gerd Pews and Stefan Wess. Combining Case-Based and Model-Based Approaches for Diagnostic Applications in Technical Domains. In Proc. EWCBR’93, pages 325-328, 1993.
16. F. Reuleaux. The Kinematics of machinery - outlines of a theory of machines. Macmillan & Co, New York, NY, 1876.
17. Michael M. Richter. The Knowledge Contained in Similarity Measures. Invited Talk ICCBR95, 1995.
18. Katia Sycara, D. Navin Chandra, and S. Narasimhan. A transformational approach to case-based synthesis. AI EDAM, 5(1), 1991.
19. Stefan Weß. Falibasiertes Problemlösen in wissensbasierten Systemen zur Entseheidungsunterstützung und Diagnostik. PhD thesis, Universität Kaiserslautern, Kaiserslautern, Germany, January 1995.
20. Stefan Weß. Intelligente Systeme für den Customer-Support. Wirtschaftsinformatik, 38(1):23-31, 1996.
21. Volker Weispfenning. Applying Quantifier Elimination to Problems in Simulation and Qptimization. Technical Report MIP-9607, UniversitätPassau, Passau, Germany, April 1996.