Home |  ENGLISH |  Kontakt |  Impressum |  Datenschutz |  Anmelden |  KIT

Modelltheorie

Aus Aifbportal

Wechseln zu: Navigation, Suche

Modelltheorie





Veröffentlichungen zum Forschungsgebiet
 - misc




inproceedings
Birte Glimm, Sebastian Rudolph
Status 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), Seiten: 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), Seiten: 529-534, AAAI Press, Chicago, Illinois, USA, Juli, 2008
(Details)

↑ top

techreport
Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Oxford University, Archiv Nummer 2000, 2009
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Universität Karlsruhe, Archiv Nummer 1751, Januar, 2008
(Details)

↑ top

misc
Pascal Hitzler
Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung
Habilitationsschrift (kumulativ), Dezember, 2004
(Details)

↑ top