On the admissibility of concrete domains for CBR based on description logics

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

Volumn 1266, Issue , 1997, Pages 223-234

  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;

APPLICATION AREA; AS NUMBERS; BIBLIOGRAPHIC DATA; CONCRETE DOMAINS; DATATYPES; DESCRIPTION LOGIC; INFERENCE MECHANISM;

CASE BASED REASONING;

EID: 84957594032     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63233-6_494     Document Type: Conference Paper

References (15)

1. F. Baader and P. Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, DFKI, Kaiserslautern, Germany, April 1991.
2. Stanley Burris and H.P. Sankappanavar. A Course in Universal Algebra. Springer Verlag, New York, 1981.
3. G. E. Collins and Hoon Hong. Partial cylindrical algebraic decomposition. Journal of Symbolic Computation, 12:299-328, 1991.
4. Andreas Dolzmann and Thomas Sturm. REDLOG-Computer Algebra Meets Computer Logic. Technical Report MIP-9603, Universität Passau, Passau, Germany, February 1996.
5. H. W. Giisgen. Spatial reasoning based on Allen’s temporal logic. Technical Report TR-89-049, ICSI, August 1989.
6. P. Hanschke. A Declarative Integration of Terminological, Constraint-Based, Data-driven, and Goal-directed Reasoning. Dissertation, Universität Kaiserslautern, 1993.
7. H. Hong. RISC-CLP(Real): Constraint Logic Programming over the real numbers. In Constraint Logic Programming: Selected Research. MIT Press, Cambridge, MA, 1993.
8. John E. Hopcroft and Jeffrey Ullman. Introduction to automata theory, languages and computation. Addison-Wesley, 1979.
9. Gerd Kamp. Using Description Logics for Knowledge Intensive Case-based Reasoning. In I. Smith and B. Faltings, editors, Advances in Case-Based Reasoning, pages 204-218, Lausanne, Switzerland, November 1996. Springer Verlag.
10. Gerd Kamp and Bemd Neumann. Knowledge-based Inference Methods for Modeling Technical Systems. In Proc. 30th Hawaiian International Conference on System Sciences, Wailea, HA, 1997. Computer Science Press.
11. Gerd Kamp and Holger Wache. CTL - a description logic with expressive concrete domains. Technical report, LKI, 1996.
12. Gerd Kamp and Holger Wache. Using Description Logics for Consistency-based Diagnosis. In International Description Logics - Collected Papers from the 1996 Workshop -, number WS-96-05, pages 136-140, Boston, MA, November 1996. AAAI Press.
13. O. Matz, A. Miller, A. Potthoff, W. Thomas, and E. Valkema. Report on the Program AMoRE. Technical Report 9507, Universität Kiel, Germany, October 1995.
14. Alfred Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley and Los Angeles, CA, 1951.
15. Alfred Tarski, Andrzej Mostowski, and Raphael M. Robinson. Undecidable Theories. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, Netherlands, 1971.