| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Volker Haarslev Ralf Möller , Volker Haarslev: Description Logic Systems. Description Logic Handbook 2003 : 282-305 Ralf Möller , Ronald Cornet , Volker Haarslev: Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics 2003 Volker Haarslev, Ralf Möller : Incremental Query Answering for Implementing Document Retrieval Services. Description Logics 2003 Volker Haarslev, Ralf Möller : Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003 Mary Hegarty , Volker Haarslev, N. Hari Narayanan : Diagrammatic Reasoning. KI 16 (4): 38-39 (2002) Volker Haarslev, Martina Timmann , Ralf Möller : Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001 Volker Haarslev, Ralf Möller : Description of the RACER System and its Applications. Description Logics 2001 Volker Haarslev, Ralf Möller : Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics 2001 Volker Haarslev, Ralf Möller : High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001 : 161-168 Volker Haarslev, Ralf Möller , Michael Wessel : The Description Logic ALCNH R+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001 : 29-44 Volker Haarslev, Ralf Möller , Anni-Yasmin Turhan : Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001 : 61-75 Volker Haarslev, Ralf Möller : RACER System Description. IJCAR 2001 : 701-706 Michael Anderson , Peter Cheng , Volker Haarslev: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings Springer 2000 Volker Haarslev, Ralf Möller : High Performance Reasoning with Very Large Knowledge Bases. Description Logics 2000 : 143-152 Volker Haarslev, Ralf Möller : Optimizing TBox and ABox Reasoning with Pseudo Models. Description Logics 2000 : 153-162 Anni-Yasmin Turhan , Volker Haarslev: Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics 2000 : 247-256 Michael Wessel , Volker Haarslev, Ralf Möller : ALCRA - ALC with Role Axioms. Description Logics 2000 : 267-276 Volker Haarslev, Ralf Möller : Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000 : 273-284 Volker Haarslev, Ralf Möller : Consistency Testing: The RACE Experience. TABLEAUX 2000 : 57-61 Volker Haarslev, Ralf Möller : An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics 1999 Volker Haarslev, Ralf Möller , Anni-Yasmin Turhan , Michael Wessel : On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999 Volker Haarslev, Ralf Möller : RACE System Description. Description Logics 1999 Volker Haarslev, Ralf Möller : Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. TABLEAUX 1999 : 24-28 Volker Haarslev, Ralf Möller , Michael Wessel : On Specifying Semantics of Visual Spatial Query Languages. VL 1999 : 4-11 Volker Haarslev, Carsten Lutz , Ralf Möller : A Description Logic with Concrete Domains and a Role-forming Predicate Operator. J. Log. Comput. 9 (3): 351-384 (1999) Volker Haarslev: A Logic-based Formalism for Reasoning about Visual Representations. J. Vis. Lang. Comput. 10 (4): 421-445 (1999) Volker Haarslev, Ralf Möller , Anni-Yasmin Turhan : HAM-ALC. Description Logics 1998 Volker Haarslev, Ralf Möller , Anni-Yasmin Turhan : Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998 Volker Haarslev, Carsten Lutz , Ralf Möller : Foundations of Spatioterminological Reasoning with Description Logics. KR 1998 : 112-123 Michael Wessel , Volker Haarslev: VISCO: Bringing Visual Spatial Querying to Reality. VL 1998 : 170-177 Volker Haarslev, Ralf Möller : Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997 Volker Haarslev, Michael Wessel : Querying GIS with Animated Spatial Sketches. VL 1997 : 201-208 Volker Haarslev: Using Description Logic for Reasoning about Diagrammatical Notations. Description Logics 1996 : 124-128 Volker Haarslev, Michael Wessel : GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. VL 1996 : 204-211 Dietrich Fahrenholtz , Volker Haarslev: Visualization of Strand(tm) Processes. VL 1995 : 114-115 Volker Haarslev: Formal Semantics of Visual Languages using Spatial Reasoning. VL 1995 : 156-163 Volker Haarslev, Ralf Möller , Carsten Schröder : Combining Spatial and Terminological Reasoning. KI 1994 : 142-153 Kenneth M. Kahn , Vijay A. Saraswat , Volker Haarslev: Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung 1991 : 427-436 Ralf Möller , Volker Haarslev: Layoutspezifikationen für komplexe graphische Objekte. Graphik und KI 1990 : 78-91 Volker Haarslev, Ralf Möller : A Framework for Visualizing Object-Oriented Systems. OOPSLA/ECOOP 1990 : 237-244 Volker Haarslev, Ralf Möller : A Declarative Formalism for Specifying Graphical Layout. VL 1990 : 54-59 Volker Haarslev, Ralf Möller : Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989 : 427-436 Volker Haarslev, Ralf Möller : Eine graphische Umgebung zur experimentellen Bildverarbeitung. DAGM-Symposium 1988 : 319-325 Volker Haarslev, Ralf Möller : Visualisierung und Animation in der experimentellen Bildauswertung. Visualisierungstechniken und Algorithmen 1988 : 213-223 Volker Haarslev: Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. Software-Ergonomie 1987 : 176-186 Helmut Faasch , Volker Haarslev: Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung. DAGM-Symposium 1985 : 191-195 Leonie S. Dreschler-Fischer , Volker Haarslev: Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung. Robotersysteme 1 : 29-34 (1985) 1 [ 35 ] 2 [ 35 ] 3 [ 46 ] 4 [ 1 ] 5 [ 2 ] 6 [ 13 ] 7 [ 43 ] 8 [ 10 ] 9 [ 19 ] [ 23 ] 10 [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 11 ] [ 17 ] [ 19 ] [ 20 ] [ 21 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 33 ] [ 34 ] [ 36 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 44 ] [ 45 ] [ 46 ] [ 47 ] 11 [ 43 ] 12 [ 10 ] 13 [ 11 ] 14 [ 42 ] 15 [ 20 ] [ 21 ] [ 27 ] [ 32 ] [ 37 ] 16 [ 14 ] [ 16 ] [ 18 ] [ 24 ] [ 27 ] [ 31 ] [ 38 ]  ©2004 Association for Computing Machinery |
