| Multi-agent plan verification with answer set programming S Opfer, S Niemczyk, K Geihs Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering …, 2016 | 12 | 2016 |
| Reasoning for Autonomous Agents in Dynamic Domains. S Opfer, S Jakob, K Geihs International Conference on Agents and Artificial Intelligence (ICAART) 2 …, 2017 | 11* | 2017 |
| ALICA 2.0 - Domain-Independent Teamwork S Opfer, S Jakob, A Jahl, K Geihs KI2019, 2019 | 10 | 2019 |
| Cooperative Path Planning for Multi-Robot Systems in Dynamic Domains S Opfer, H Skubch, K Geihs Mobile Robots - Control Architectures, Bio-Interfacing, Navigation, Multi …, 2011 | 10 | 2011 |
| Ice: Self-configuration of information processing in heterogeneous agent teams S Niemczyk, S Opfer, N Fredivianus, K Geihs Proceedings of the Symposium on Applied Computing, 417-423, 2017 | 8 | 2017 |
| Handling semantic inconsistencies in commonsense knowledge for autonomous service robots S Jakob, S Opfer, A Jahl, H Baraki, K Geihs 2020 IEEE 14th International Conference on Semantic Computing (ICSC), 136-140, 2020 | 6 | 2020 |
| A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios A Witsch, S Opfer, K Geihs International Conference on Connected Vehicles, 2014 | 6 | 2014 |
| Teaching Commonsense and Dynamic Knowledge to Service Robots S Opfer, S Jakob, K Geihs International Conference on Social Robotics, 2019 | 5 | 2019 |
| Carpe Noctem 2013 T Amma, J Beifuß, Z Bozic, M Bui, F Gawora, T Haque, K Geihs, S Jakob, ... CD proceedings of RoboCup Symposium, 2013 | 5 | 2013 |
| Carpe Noctem 2011 T Amma, P Burghardt, F Gawora, K Geihs, J Henze, T Heumueller, ... RoboCup 2011 International Symposium, 2011 | 5 | 2011 |
| Towards Description Logic Reasoning Support for ALICA S Opfer ISBN: 9786202208734, 2018 | 4* | 2018 |
| Distributed Sensing in a Robotic Soccer Team S Niemczyk, D Kirchner, A Witsch, S Opfer, K Geihs | 4 | 2014 |
| Carpe Noctem 2009 T Amma, P Baer, K Baumgart, P Burghardt, K Geihs, J Henze, S Opfer, ... RoboCup 2009 International Symposium. TU Graz, Graz, 2009 | 3 | 2009 |
| Symbolic Representation of Dynamic Knowledge for Robotic Teams S Opfer | 2 | 2020 |
| Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling S Opfer Gesellschaft für Informatik eV (GI) publishes this series in order to make …, 2013 | 2 | 2013 |
| Efficient Decision Making in ALICA S Opfer | 2 | 2009 |
| Student Competition Teams: Combining Research and Teaching S Opfer, M Ossenkopf, K Geihs Southern African Computer Lectures' Association (SACLA 2018) 47, 2018 | 1 | 2018 |
| Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen S Opfer Informatik-Spektrum, 1-4, 2014 | 1 | 2014 |
| Wumpus Simulator Jakob, S Opfer, S Groh, O Copei, S Lichtenberg, Kevin wumpus-simulator.org, 2018 | | 2018 |
| IMPERA-Integrierte Missionsplanung für verteilte Robotersysteme: Abschlussbericht: 01.04. 2011-31.03. 2014 D Saur, T Haque, S Opfer Universität Kassel, Verteilte Systeme, 2014 | | 2014 |
Kurt GeihsProfessor Emeritus, Universität KasselVerified email at uni-kassel.de
