Dirk Walther
Aus International Center for Computational Logic
Dr. Dirk Walther
Ehemaliges Mitglied
- Ehemals Wissenschaftlicher Mitarbeiter in Forschungsgruppe Automatentheorie
Neueste Publikationen
Komplette Publikationsliste anzeigen
Shasha Feng, Michel Ludwig, Dirk Walther
The Logical Difference for EL: from Terminologies towards TBoxes
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), CEUR workshop proceedings, to appear
Details
Francisco Martin-Recuerda, Dirk Walther
Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs
In Peter Mika and Tania Tudorache and Abraham Bernstein and Chris Welty and Craig Knoblock and Denny Vrandecic and Paul Groth and Natasha Noy and Krzysztof Janowicz and Carole Goble, eds., Proceedings of the 13th International Semantic Web Conference (ISWC 2014), Part II, volume 8797 of Lecture Notes in Computer Science, 49-64, 2014. Springer
Details Download
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Evaluation of Extraction Techniques for Ontology Excerpts
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 471-482, 2014
Details Download
Francisco Martin-Recuerda, Dirk Walther
Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 299-310, 2014
Details Download
Josefine Asmus, Daniel Borchmann, Ivo F. Sbalzarini, Dirk Walther
Towards an FCA-based Recommender System for Black-Box Optimization
In Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph, eds., Proceedings of the 3rd International Workshop on "What can FCA do for Artificial Intelligence?" (FCA4AI'14), volume 1257 of CEUR Workshop Proceedings, 35-42, 2014
Details Download
Michel Ludwig, Dirk Walther
The Logical Difference for ELHr-Terminologies using Hypergraphs
In Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan, eds., Proceedings of the 21st European Conference on Artifical Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, 555-560, 2014. IOS Press
Details
Michel Ludwig, Dirk Walther
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs
In Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus, eds., Proceedings of the 27th International Workshop on Description Logics (DL'14), volume 1193 of CEUR Workshop Proceedings, 287-298, 2014
Details Download
Stathis Delivorias, Haralampos Hatzikirou, Rafael Penaloza, Dirk Walther
Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics
Proceedings of the 11th edition of Cellular Automata for Research and Industry (ACRI 2014), Lecture Notes in Computer Science, 2014. Springer
Details Download
Francisco Martin-Recuerda, Dirk Walther
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs
In Chiara Del Vescovo and Torsten Hahmann and David Pearce and Dirk Walther, eds., Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013, volume 1081 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about Actions Meets Strategic Logics
In Davide Grossi and Olivier Roy and Huaxin Huang, eds., Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings, volume 8196 of Lecture Notes in Computer Science, 162-175, 2013. Springer
Details Download
