Publications
Opfer, Stephan: Symbolic Representation of Dynamic Knowledge for Robotic Teams. PhD Thesis, University of Kassel, Germany, 2021 URL 2020
Jakob, Stefan; Opfer, Stephan; Jahl, Alexander; Baraki, Harun; Geihs, Kurt: Handling Semantic Inconsistencies in Commonsense Knowledge for Autonomous Service Robots. In Proceedings of the 14th IEEE International Conference on Semantic Computing, ICSC2020. San Diego, California, 2020 URL 2019
Opfer, Stephan; Jakob, Stefan; Geihs, Kurt: Teaching Commonsense and Dynamic Knowledge to Service Robots. In Proceedings of the 11th International Conference on Social Robotics, ICSR2019. Madrid, Spain, 2019 URL
Opfer, Stephan; Jakob, Stefan; Jahl, Alexander, Geihs, Kurt: ALICA 2.0 – Domain-Independent Teamwork. In Proceedings of the 42nd German Conference on Artificial Intelligence, KI2019. Kassel, Germany, 2019 URL 2018
Opfer, Stephan ; Ossenkopf, Marie ; Geihs, Kurt: Student Competition Teams: Combining Research and Teaching. In: Proceedings of the 47th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2018. Cape Town, South Africa, 2018 PDF
Opfer, Stephan ; Jakob, Stefan ; Geihs, Kurt: Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property. In: Agents and Artificial Intelligence. Vol. 1 : Springer International Publishing, 2018 — ISBN 978-3-319-93581-2, p. 22–47 URL
Opfer, Stephan: Towards Description Logic Reasoning Support for ALICA. ISBN 978-6-202-20873-4 URL 2017
Opfer, Stephan ; Jakob, Stefan ; Geihs, Kurt: Reasoning for Autonomous Agents in Dynamic Domains. In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence: ICAART. vol. Volume 2. Porto, Portugal, 2017 PDF
Niemczyk, Stefan ; Opfer, Stephan ; Fredivianus, Nugroho ; Geihs, Kurt: ICE – Self-Configuration of Information Processing in Heterogeneous Agent Teams. In: Proceedings of 12th Dependable, Adaptive, and Trustworthy Distributed Systems (DADS ’17). Marakesh, Marocco, 2017 URL 2016
Opfer, Stephan; Niemczyk, Stefan ; Geihs, Kurt: Multi-Agent Plan Verification with Answer Set Programming. In: Proceedings of the Third Workshop on Model-Driven Robot Software Engineering (MORSE16). Leipzig, Germany : ACM, 2016 PDF 2015
Witsch, Andreas ; Opfer, Stephan ; Geihs, Kurt: A Formal Multi-Agent Language for Cooperative Autonomous Driving Scenarios. In: International Conference on Connected Vehicles & Expo (ICCVE 2014). Vienna, Austria, 2014 PDF
Niemczyk, Stefan ; Kirchner, Dominik ; Witsch, Andreas ; Opfer, Stephan ; Geihs, Kurt: Distributed Sensing in a Robotic Soccer Team. In: CPSWeek 2014 – International Workshop on Robotic Sensor Networks. Berlin, 2014 PDF
Opfer, Stephan; Witsch, Andreas: Cooperative Behaviour of Autonomous Vehicles. Research Study. 2014. PDF
Opfer, Stephan: Grenzen von SROIQ bei der Unterstützung der Modellierung von Multi-Agenten-Plaenen. In: Informatik-Spektrum vol. 37.1, Springer Berlin Heidelberg (2014), pp. 42-45 URL 2013
Stephan Opfer: Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling. In: GI-Informatiktage 2013 – Smart Life – dank Informatik. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik, 2013, pp. 55–58 PDF
Opfer, Stephan: Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling. In: GI-Informatiktage 2013 – Smart Life – dank Informatik (Lecture Notes in Informatics). Bonn: Gesellschaft für Informatik. pp. 55-58. PDF
T. Amma, J. Beifuß, Z. Bozic, M. Bui, F. Gawora, T. Haque,K. Geihs, S.Jakob, D. Kirchner, N. Kubitza, K. Liebscher, S. Opfer, D. Saur, T. Schaake,T. Schlüter, S. Triller, A. Witsch: Carpe Noctem 2013. In: CD Proceedings of RoboCup Symposium. 2013. PDF 2011
Opfer, Stephan; Skubch, Hendrik; Geihs, Kurt: Cooperative path planning for multi-robot systems in dynamic domains. In Mobile Robots-Control Architectures, Bio-Interfacing, Navigation, Multi Robot Motion Planning and Operator Training. InTech. 2011 PDF 2010
Opfer, Stephan: Kooperative Pfadplanung für Multi-Robotersysteme in dynamischen Umgebungen. Bachelor’s Thesis. University of Kassel. 2010. PDF 2009
Amma, Till; Baer, Philipp; Baumgart, Kai; Burghardt, Philipp; Geihs, Kurt; Henze, Janosch; Opfer, Stephan, et al.: Carpe Noctem 2009. In RoboCup 2009 International Symposium. TU Graz, Graz. 2009. PDF
Opfer, Stephan: Efficient Decision Making in ALICA. 2009. PDF 2008
Opfer, Stephan; Triller, Stefan; Scheuermann, Stephan; Amma, Till; Blumenstein, Michael; Glogic, Ilhan: 1st Kassel Student Workshop on Security in Distributed Systems. In: Kasseler Informatik Schriften, Kassel, Germany, 2008 PDF