All publications sorted by author
| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |
M
Spatial Knowledge Representation for Human-Robot Interaction, in: Spatial Cognition III: Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Reasoning, Springer; Berlin; http://www.springer.de, 2003 | and ,
Propagation of Distance and Orientation Intervals, in: Proceedings of 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pages 3245-3250, 2003 | and ,
Spatial Reasoning about Relative Orientation and Distance for Robot Exploration, in: Spatial Information Theory: Foundations of Geographic Information Science. Conference on Spatial Information Theory (COSIT), pages 61-74, Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, 2003 | and ,
Qualitative Spatial Arrangements and Natural Object Categories as a Link between 3D Perception and Speech, in: Proc. of the 8th Pacific Rim International Conference on Artificial Intelligence, 2004 | , and ,
|
High Resolution Maps from Angle Sonar, in: Proceedings of the IEEE Conference on Robotics and Automation (ICRA-85), pages 116-121, 1985 | and ,
Robot Spatial Perception by Stereoscopic Vision and 3D Evidence Grids, number CMU-RI-TR-96-34, 1996 | ,
Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011 | and ,
User Interface design for older adults (1994), in: Interacting with Computers, 6(373-393) | ,
A Switch to Reduce SPH Viscosity (1997), in: Journal of Computational Physics, 136:1(41{\~n}50) | and ,
Heterogeneous specification and the heterogeneous tool set, Universitaet Bremen, 2005 | ,
|
Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap, in: Magdeburger Logistiktagung, 2011 | , and ,
|
CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008 | , , and ,
[DOI] |
Heterogeneous Theories and the Heterogeneous Tool Set, in: Semantic Interoperability and Integration, Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ, 2005 | ,
[URL] |
The Distributed Ontology, Modeling and Specification Language, in: WoMo 2013, to appear | , , and ,
Three Semantics for the Core of the Distributed Ontology Language, in: IJCAI 2013, to appear | , and ,
Semantics of the distributed ontology language: Institutes and Institutions, in: Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, pages 212-230, Springer, 2013 | , and ,
[URL] |
Three Semantics for the Core of the Distributed Ontology Language, in: FOIS 2012: 7th International Conference on Formal Ontology in Information Systems, pages 337-352, IOS Press; Amsterdam; http://www.iospress.nl, 2012 | , and ,
[URL] |
The Heterogeneous Tool Set, in: VERIFY 2007, 4th International Verification Workshop, pages 119-135, 2007 | , and ,
[URL] |
The Heterogeneous Tool Set, in: TACAS 2007, pages 519-522, Springer-Verlag Heidelberg, 2007 | , and ,
|
Qualitative Reasoning about Relative Direction of Oriented Points (2012), in: Artificial Intelligence Journal, 180--181(34--45) | and ,
[DOI] |
Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity (2010), in: CoRR. abs/0912.5533 | and ,
[URL] |
A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006 | , and ,
|
Heterogeneous Logical Environments for Distributed Specifications, in: WADT 2008, pages 266--289, Springer, 2009 | and ,
[DOI] |
What is a logic translation? (2009), in: Logica Universalis, 3:1(95-124) | , and ,
[DOI] |
| 1-25 | 26-50 | 51-75 | 76-100 | 101-125 | 126-150 | 151-175 | 176-200 | 201-225 | 226-250 | 251-275 | 276-300 | 301-325 | 326-350 | 351-375 | 376-400 | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | 576-600 | 601-625 | 626-650 | 651-675 | 676-700 | 701-725 | 726-750 | 751-775 | 776-800 | 801-825 | 826-850 | 851-875 | 876-900 | 901-925 | 926-950 | 951-975 | 976-1000 | 1001-1025 | 1026-1050 | 1051-1075 | 1076-1100 | 1101-1125 | 1126-1150 | 1151-1175 | 1176-1200 | 1201-1225 | 1226-1250 | 1251-1275 | 1276-1300 | 1301-1325 | 1326-1350 | 1351-1375 | 1376-1400 | 1401-1425 | 1426-1450 | 1451-1475 | 1476-1500 | 1501-1525 | 1526-1550 | 1551-1575 | 1576-1600 | 1601-1625 | 1626-1650 | 1651-1675 | 1676-1700 | 1701-1725 | 1726-1750 | 1751-1775 | 1776-1800 | 1801-1825 | 1826-1850 | 1851-1875 | 1876-1900 | 1901-1925 | 1926-1950 | 1951-1975 | 1976-2000 | 2001-2025 | 2026-2050 | 2051-2075 | 2076-2100 | 2101-2125 | 2126-2150 | 2151-2175 | 2176-2200 | 2201-2225 | 2226-2250 | 2251-2275 | 2276-2300 | 2301-2325 | 2326-2350 | 2351-2375 | 2376-2400 | 2401-2425 | 2426-2450 | 2451-2475 | 2476-2500 | 2501-2525 | 2526-2550 | 2551-2575 | 2576-2600 | 2601-2625 | 2626-2650 | 2651-2675 | 2676-2700 | 2701-2725 | 2726-2750 | 2751-2764 |