Modelltheorie/en
Aus Aifbportal
Model Theory
Publications Belonging to the Area of Research
inproceedings
Birte Glimm, Sebastian RudolphStatus QIO: Conjunctive Query Entailment is Decidable
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), pages: 225-235, AAAI Press, Mai, 2010
(Details)
Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, Proceedings of the DL Workshop 2009, Oxford, UK, CEUR Workshop Proceedings, 477, Juli, 2009
(Details)
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox and Carla P. Gomes, Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), pages: 529-534, AAAI Press, Chicago, Illinois, USA, Juli, 2008
(Details)
↑ top
techreport
Birte Glimm, Sebastian RudolphNominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Oxford University, archiv number: 2000, 2009
(Details)
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Universität Karlsruhe, archiv number: 1751, Januar, 2008
(Details)
↑ top
misc
Pascal HitzlerNichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung
Habilitationsschrift (kumulativ), Dezember, 2004
(Details)
↑ top