Follow
Stephan Opfer
Title
Cited by
Cited by
Year
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
102016
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
92011
Reasoning for Autonomous Agents in Dynamic Domains.
S Opfer, S Jakob, K Geihs
International Conference on Agents and Artificial Intelligence (ICAART) 2 …, 2017
8*2017
A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios
A Witsch, S Opfer, K Geihs
International Conference on Connected Vehicles, 2014
62014
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
52020
Teaching Commonsense and Dynamic Knowledge to Service Robots
S Opfer, S Jakob, K Geihs
International Conference on Social Robotics, 2019
52019
ALICA 2.0 - Domain-Independent Teamwork
S Opfer, S Jakob, A Jahl, K Geihs
KI2019, 2019
52019
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
52017
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
42014
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
42013
Carpe Noctem 2011
T Amma, P Burghardt, F Gawora, K Geihs, J Henze, T Heumueller, ...
RoboCup 2011 International Symposium, 2011
42011
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
32009
Symbolic Representation of Dynamic Knowledge for Robotic Teams
S Opfer
22020
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
22013
Efficient Decision Making in ALICA
S Opfer
22009
Student Competition Teams: Combining Research and Teaching
S Opfer, M Ossenkopf, K Geihs
Southern African Computer Lectures' Association (SACLA 2018) 47, 2018
12018
Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen
S Opfer
Informatik-Spektrum, 1-4, 2014
12014
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
The system can't perform the operation now. Try again later.
Articles 1–20