All publications sorted by recency
| 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 |
| , and , A Framework for Merging Qualitative Constraints Networks, in: Proceedings of the Twenty-First International {F}lorida Artificial Intelligence Research Society Conference, May 15-17, 2008, {C}oconut {G}rove, {F}lorida, {USA}, pages 586-591, {AAAI} Press, 2008 |
| , , and , Planning via Model Checking: A Decision Procedure for {{\it AR}}, in: European Conference on Planning (ECP), pages 130-142, 1997 |
[DOI] |
| and , Fast Planning Through Planning Graph Analysis, pages 1636--1642, 1995 |
| , and , Pushing the EL Envelope, in: IJCAI, pages 364-369, 2005 |
[URL] |
| , and (eds.), Space, Time and Ambient Intelligence (STAMI), Spatial Cognition Research Center (SFB/TR 8); http://cindy.informatik.uni-bremen.de/cosy/stami/STAMI-2011/, 2011 |
|
| , , and (eds.), Proceedings of Workshop, SHAPES 2.0: The Shape of Things (SHAPES 2.0). Co-located with UniLog 2013: 4th World Congress and School on Universal Logic, 2013 |
[URL] |
| , and (eds.), Mental models and the mind. A conception in the intersection of cognitive psychology, neuroscience, and philosophy of mind., 2006 |
| , , and (eds.), Spatial Cognition VI: Learning, reasoning, and talking about space, Springer; Berlin, Lecture Notes in Artificial Intelligence, 2008 |
[URL] |
| , , and (eds.), Proceedings of the ECAI 2012 Workshop on Machine Learning for Interactive Systems: Bridging the Gap between Language, Motor Control and Vision (MLIS-2012), 2012 |
|
| , , and (eds.), Proceedings of the 2nd Workshop on Machine Learning for Interactive Systems: Bridging the Gap Between Perception, Action and Communication, ACM, 2013 |
[URL] |
| , and (eds.), Proceedings of the 27th International Workshop on Qualitative Reasoning (QR) 2013, 2013 |
[URL] |
| and (eds.), Proceedings of the Workshop on Spatial and Temporal Reasoning for Ambient Intelligence Systems. Conference on Spatial Information Theory (COSIT 2009, France), Universität Bremen, 2009 |
|
| , , , and , Accurate Human Motion Capture in Large Areas by Combining IMU- and Laser-based People Tracking, in: Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), 2011 |
[URL] |
| , , and , Sensorimotor Representation of Space: Application in Autonomous Systems and in a Wayfinding Assistant for Alzheimer's Disease, in: 11th IEEE/ACIS International Conference on Computer and Information Science, IEEE Computer Society, 2012 |
|
| , 3D Objekterkennung und Szeneninterpretation -- Ein System zur multimodalen Beschreibung von Innenraumszenen, University of Bremen, 2009 |
| and , On Combinations of Binary Qualitative Constraint Calculi, in: IJCAI-09, 2009 |
| , and , Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007 |
|
| and , CASL Specifications of Qualitative Calculi, in: Conference on Spatial Information Theory, pages 200-217, Springer; Berlin, 2005 |
[URL] |
| , Events in Branching Time (2005), in: Studia Logica, 79:2(255--282) |
| , Qualitative action theory: A comparison of the semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap approach to agency, in: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pages 70--81, Springer; Berlin; http://www.springer.de, 2004 |
[URL] |
| , , and , Improved Simultaneous Localization and Mapping using a Dual Representation of the Environment, in: Proc. of the European Conference on Mobile Robots (ECMR), 2007 |
|
| , , and , Bridging the Gap Between Feature- and Grid-based SLAM (2010), in: Robots and Autonomous Systems, 58:2(140 - 148) |
[DOI] |
| , and , Coordinated Multi-Robot Exploration using a Segmentation of the Environment, in: Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), 2008 |
|
| , , and , Improving Robot Navigation in Structured Outdoor Environments by Identifying Vegetation from Laser Data, in: Proc. of the IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS), 2009 |
|
| 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 |