| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Ralf Möller Ralf Möller: A Self-Stabilizing Learning Rule for Minor Component Analysis. Int. J. Neural Syst. 14 (1): 1-8 (2004) 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 Sean Bechhofer , Ralf Möller, Peter Crowther : The DIG Description Logic Interface. Description Logics 2003 Heiko Hoffmann , Ralf Möller: Unsupervised Learning of a Kinematic Arm Model. ICANN 2003 : 463-470 Volker Haarslev , Ralf Möller: Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003 Ralf Möller: Interlocking of learning and orthonormalization in RRLSA. Neurocomputing 49 (1-4): 429-433 (2002) Carole A. Goble , Deborah L. McGuinness , Ralf Möller, Peter F. Patel-Schneider : Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001 Description Logics 2001 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 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 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 Patrick Lambrix , Alexander Borgida , Maurizio Lenzerini , Ralf Möller, Peter F. Patel-Schneider : Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 Description Logics 1999 Ralf Möller, Michael Wessel : Terminological Default Reasoning about Spatial Information: A First Step. COSIT 1999 : 189-204 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 Thomas Mantay , Ralf Möller, Alissa Kaplunova : Computing Probabilistic Least Common Subsumers in Description Logics. KI 1999 : 89-100 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) Ralf Möller, Marinus Maris , Dimitrios Lambrinos : A neural model of landmark navigation in insects. Neurocomputing 26-27 : 801-808 (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 Carsten Lutz , Ralf Möller: Defined Topological Relations in Description Logics. Description Logics 1997 Volker Haarslev , Ralf Möller: Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997 Ralf Möller: HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen. Infix Verlag, St. Augustin, Germany 1996 Ralf Möller: Object-Oriented Programming Support for CLASSIC. Description Logics 1996 : 170-174 Ralf Möller: Knowledge-Based Dialog Structuring for Graphics Interaction. ECAI 1996 : 271-275 Harald Lange , Ralf Möller, Bernd Neumann : Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. KI 1996 : 213-226 Ralf Möller: A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing. OOPSLA 1996 : 198-213 Volker Haarslev , Ralf Möller, Carsten Schröder : Combining Spatial and Terminological Reasoning. KI 1994 : 142-153 Ralf Möller: Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen. GI Jahrestagung 1993 : 322-327 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 1 [ 45 ] 2 [ 28 ] 3 [ 47 ] 4 [ 45 ] 5 [ 41 ] 6 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 8 ] [ 14 ] [ 16 ] [ 17 ] [ 18 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 25 ] [ 26 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 33 ] [ 34 ] [ 35 ] [ 36 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 43 ] [ 46 ] [ 47 ] [ 48 ] 7 [ 44 ] 8 [ 23 ] 9 [ 19 ] 10 [ 28 ] 11 [ 10 ] 12 [ 28 ] 13 [ 15 ] [ 16 ] [ 20 ] 14 [ 23 ] 15 [ 19 ] 16 [ 41 ] 17 [ 10 ] 18 [ 28 ] [ 41 ] 19 [ 8 ] 20 [ 40 ] 21 [ 17 ] [ 18 ] [ 25 ] [ 35 ] 22 [ 21 ] [ 25 ] [ 27 ] [ 31 ] [ 36 ]  ©2004 Association for Computing Machinery |
