Stephan Opfer

According to our database, Stephan Opfer authored at least 11 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Symbolic representation of dynamic knowledge for robotic teams.

Stephan Opfer

PhD thesis, 2021

2020

Handling Semantic Inconsistencies in Commonsense Knowledge for Autonomous Service Robots.

Stefan Jakob, Stephan Opfer, Alexander Jahl, Harun Baraki, Kurt Geihs

Proceedings of the IEEE 14th International Conference on Semantic Computing, 2020

2019

Teaching Commonsense and Dynamic Knowledge to Service Robots.

Stephan Opfer, Stefan Jakob, Kurt Geihs

Proceedings of the Social Robotics - 11th International Conference, 2019

ALICA 2.0 - Domain-Independent Teamwork.

Stephan Opfer, Stefan Jakob, Alexander Jahl, Kurt Geihs

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

2017

ICE: self-configuration of information processing in heterogeneous agent teams.

Stefan Niemczyk, Stephan Opfer, Nugroho Fredivianus, Kurt Geihs

Proceedings of the Symposium on Applied Computing, 2017

Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property.

Stephan Opfer, Stefan Jakob, Kurt Geihs

Proceedings of the Agents and Artificial Intelligence - 9th International Conference, 2017

Reasoning for Autonomous Agents in Dynamic Domains.

Stephan Opfer, Stefan Jakob, Kurt Geihs

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

2016

Multi-Agent Plan Verification with Answer Set Programming.

Stephan Opfer, Stefan Niemczyk, Kurt Geihs

Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering, 2016

2014

Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen.

Stephan Opfer

Inform. Spektrum, 2014

A formal multi-agent language for cooperative autonomous driving scenarios.

Andreas Witsch, Stephan Opfer, Kurt Geihs

Proceedings of the International Conference on Connected Vehicles and Expo, 2014

2013

Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modeling.

Stephan Opfer

Proceedings of the Informatiktage 2013, 2013