Temporal logic for process specification and recognition A Kreutzmann, I Colonius, D Wolter, F Dylla, L Frommberger, C Freksa Intelligent Service Robotics 6 (1), 5-18, 2013 | 9 | 2013 |
On Process Recognition by Logical Inference. A Kreutzmann, I Colonius, L Frommberger, F Dylla, C Freksa, D Wolter ECMR, 7-12, 2011 | 6 | 2011 |
Participatory design for challenging user groups: a case study I Colonius, S Budde, R Annicchiarico Proceedings of the 28th Annual European Conference on Cognitive Ergonomics …, 2010 | 5 | 2010 |
Hypotheses Generation for Process Recognition in a Domain Specified by Temporal Logic I Colonius ARTIFICIAL INTELLIGENCE AND LOGISTICS, 49, 2012 | 1 | 2012 |
QUALITATIVE PROCESS ANALYSIS I COLONIUS | | 2015 |
QUALITATIVE PROCESS ANALYSIS I COLONIUS | | 2015 |
Plan Recognition by Logical Inference on Uncertain and Incomplete Observations I Colonius | | 2011 |
RoboCupRescue 2006-Robot League Team Bremen Rescue Walkers (Germany) F Kirchner, DID Spenneberg, DIM Eich, IDIU Frese, N Alkhovik, JO Berndt, ... | | |
Anfänge in LATEX M Bunke, I Colonius | | |