Immo Colonius

Papers

Total Citations

H-Index

About

Immo Colonius is a researcher whose work sits at the intersection of artificial intelligence, robotics, and formal logic, with a particular focus on process recognition and temporal reasoning. His key contributions center on developing logical frameworks that enable autonomous systems—especially mobile robots—to recognize and understand complex processes in dynamic, real-world environments. In his most-cited work, "Temporal Logic for Process Specification and Recognition" (2012, 9 citations), Colonius explores how temporal logic can be used to formally specify and then recognize ongoing processes, providing a robust foundation for intelligent decision-making. His 2011 paper, "On Process Recognition by Logical Inference" (4 citations), demonstrates a practical application: a mobile robot that, using only perception data and an abstract spatial model, successfully recognizes storage processes in a warehouse. This work is notable for bridging high-level logical reasoning with low-level sensor data, a challenging and impactful achievement in robotics. Though his citation counts are modest, Colonius’s contributions are foundational for researchers interested in logic-based approaches to robot perception and autonomous behavior in unstructured environments.