Eldora
From International Center for Computational Logic
Eldora
Former member
- Former Research Associate in Research Group Automata Theory
Newest Publications
Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
Situation Recognition for Service Management Systems Using OWL 2 Reasoners
Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, 31-36, March 2013. IEEE Computer Society
Details Download
Eldora, Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence More Flexibly
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 2011
Details Download
