Theoretical Computer Science
Publications
2013 | Opfer, S., Skubch, H., Geihs, K., 2013. Limits of SROIQ in the Context of Reasoning Support for Multi-Agent Plan Modelling, in: Gesellschaft für Informatik (Hrsg.), Informatiktage 2013 - Fachwissenschaftlicher Informatik-Kongress. Springer Verlag, B-IT Bonn-Aachen International Center for Information Technology in Bonn, S. 55–58. |
2012 | |
