Specification of an Ontology for Route Graphs
暂无分享,去创建一个
Till Mossakowski | Robert J. Ross | Udo Frese | Bernd Krieg-Brückner | Christian Mandel | Klaus Lüttich | B. Krieg-Brückner | R. Ross | T. Mossakowski | U. Frese | K. Lüttich | C. Mandel
[1] Robert J. Ross,et al. A Safe and Robust Approach to Shared-Control via Dialogue , 2004 .
[2] Achille C. Varzi,et al. Formal Ontology in Information Systems : proceedings of the Third International Conference (FOIS-2004) , 2004 .
[3] Markus Roggenbach,et al. MultiMedia Instruction in Safe and Secure Systems , 2002, WADT.
[4] Wilfried Brauer,et al. Spatial Cognition II , 2000, Lecture Notes in Computer Science.
[5] Hans-Otto Carmesin,et al. A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair , 1998, Spatial Cognition.
[6] Asunción Gómez-Pérez,et al. A Roadmap to Ontology Specification Languages , 2000, EKAW.
[7] Till Mossakowski,et al. Specification of ontologies in C ASL * , 2004 .
[8] Till Mossakowski,et al. Ontologies for the Semantic Web in Casl , 2004, WADT.
[9] Michael F. Goodchild,et al. Foundations of Geographic Information Science , 2003 .
[10] Reinhard Moratz,et al. Spatial Reasoning about Relative Orientation and Distance for Robot Exploration , 2003, COSIT.
[11] Dieter Hutter,et al. The Development Graph Manager MAYA , 2002, AMAST.
[12] L. Stein,et al. OWL Web Ontology Language - Reference , 2004 .
[13] Jan Oliver Wallgrün,et al. Autonomous Construction of Hierarchical Voronoi-Based Route Graph Representations , 2004, Spatial Cognition.
[14] Peter D. Mosses,et al. Casl Reference Manual , 2004, Lecture Notes in Computer Science.
[15] John A. Bateman,et al. Towards Dialogue Based Shared Control of Navigating Robots , 2004, Spatial Cognition.
[16] Tobias Nipkow,et al. A Proof Assistant for Higher-Order Logic , 2002 .
[17] Christoph Lüth,et al. Semantic Interrelation of Documents via an Ontology , 2004, DeLFI.
[18] Udo Frese,et al. A Discussion of Simultaneous Localization and Mapping , 2006, Auton. Robots.
[19] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[20] Andrei Voronkov,et al. Automated Deduction—CADE-18 , 2002, Lecture Notes in Computer Science.
[21] Michael Uschold,et al. Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.
[22] Nicola Guarino,et al. Sweetening Ontologies with DOLCE , 2002, EKAW.
[23] David M. Mark,et al. Spatial Information Theory. Foundations of Geographic Information Science , 2001 .
[24] Christoph Weidenbach,et al. SPASS version 2.0 , 2002 .
[25] Peter D. Mosses,et al. CASL: the Common Algebraic Specification Language , 2002, Theor. Comput. Sci..
[26] Asunción Gómez-Pérez,et al. Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web , 2002, Lecture Notes in Computer Science.
[27] Bernd Krieg-Brückner,et al. Modelling Navigational Knowledge by Route Graphs , 2000, Spatial Cognition.
[28] Martin Wirsing,et al. Extraction of Structured Programs from Specification Proofs , 1999, WADT.
[29] John A. Bateman,et al. Modelling Models of Robot Navigation Using Formal Spatial Ontology , 2004, Spatial Cognition.
[30] Wilfried Brauer,et al. Spatial Cognition III , 2003, Lecture Notes in Computer Science.