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 |
L
Qualitative reasoning about convex relations, in: Spatial Cognition VI 2008, pages 426-440, Springer, 2008 | , and ,
[DOI] |
Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004 | , and ,
|
Ontologies for the Semantic Web in CASL, in: Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), pages 106-125, Springer; Berlin; http://www.springer.de, 2005 | , and ,
[DOI] |
Specification of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), pages 140-150, IOS Press; Amsterdam; http://www.iospress.nl, 2004 | and ,
|
Approximation of Ontologies in CASL, in: Formal Ontology in Information Systems -- Proceedings of the Fourth International Conference (FOIS-2006), pages 335--346, IOS Press; Amsterdam; http://www.iospress.nl, 2006 | ,
|
Development of Modular Ontologies in CASL, in: Workshop on Modular Ontologies 2006, CEUR-WS.org, 2006 | , and ,
[URL] |
Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007 | and ,
|
Approximation of Ontologies in CASL, in: CALCO-jnr 2005 CALCO Young Researchers Workshop Selected Papers, pages 41-53, University of Wales Swansea, 2005 | ,
|
The Complexity of Conjunctive Query Answering in Expressive Description Logics, in: IJCAR, pages 179-193, 2008 | ,
[DOI] |
Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability, in: IJCAI, pages 983-988, 2011 | , and ,
|
Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity, in: Description Logics, 2012 | , and ,
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $mathcal{EL}$ (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | , and ,
KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings, Springer, 2014 | and (eds.),
[DOI] |
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System, in: IJCAI, pages 2070-2075, 2009 | , and ,
[URL] |
Non-Uniform Data Complexity of Query Answering in Description Logics (With Appendix), in: Proceedings of the 13nd International Joint Conference on Principles of Knowledge Representation and Reasoning ({KR2012}), 2012 | and ,
Non-Uniform Data Complexity of Query Answering in Description Logics, in: Description Logics, 2011 | and ,
|
Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics, in: IJCAI, pages 989-995, 2011 | and ,
|
Deciding inseparability and conservative extensions in the description logic EL (2010), in: J. Symb. Comput., 45:2(194-228) | and ,
[DOI] |
NAO Walking Down a Ramp Autonomously, in: Video Proc.~of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2012 | , , and ,
The Image of the City, MIT Press, 1960 | ,
A computational model of spatial visualization capacity. (2008), in: Cognitive psychology, 57:2(122--52) | , and ,
[DOI] [URL] |
M
Corotational Simulation of Deformable Solids (2004), in: Journal of WSCG, 12(137--145) | and ,
Stable real time deformations (2002), in: Proceedings of ACM SIGGRAPH Symposium on Computer Animation(49--54) | , , , and ,
Gravity Based Autonomous Calibration for Robot Manipulators, in: icra, pages 2763--2768, 1994 | , and ,
A self-calibration technique for active vision systems (1996), in: Trans. on Robotics and Automation, 12:1(114--120) | ,
| 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 |