Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modeling. - Stephan Opfer (Informatiktage, 2013)

A formal multi-agent language for cooperative autonomous driving scenarios. - Andreas Witsch; Stephan Opfer; Kurt Geihs (ICCVE, 2014)

Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plänen. - Stephan Opfer (Inform. Spektrum, 2014)

Multi-Agent Plan Verification with Answer Set Programming. - Stephan Opfer; Stefan Niemczyk; Kurt Geihs (MORSE@RoboCup, 2016)

Reasoning for Autonomous Agents in Dynamic Domains. - Stephan Opfer; Stefan Jakob; Kurt Geihs (ICAART (2), 2017)

Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property. - Stephan Opfer; Stefan Jakob; Kurt Geihs (ICAART (Revised Selected Papers), 2017)

ICE: self-configuration of information processing in heterogeneous agent teams. - Stefan Niemczyk; Stephan Opfer; Nugroho Fredivianus; Kurt Geihs (SAC, 2017)

ALICA 2.0 - Domain-Independent Teamwork. - Stephan Opfer; Stefan Jakob; Alexander Jahl; Kurt Geihs (KI, 2019)

Teaching Commonsense and Dynamic Knowledge to Service Robots. - Stephan Opfer; Stefan Jakob; Kurt Geihs (ICSR, 2019)

Handling Semantic Inconsistencies in Commonsense Knowledge for Autonomous Service Robots. - Stefan Jakob; Stephan Opfer; Alexander Jahl; Harun Baraki; Kurt Geihs (ICSC, 2020)

Symbolic representation of dynamic knowledge for robotic teams. - Stephan Opfer (2021)