Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Theoretische Informatik

Aus Aifbportal

Wechseln zu: Navigation, Suche

Theoretische Informatik


Beteiligte Personen
Dr. Lukas König



Veröffentlichungen zum Forschungsgebiet

Article
Anthony K. Seda, Pascal Hitzler
Generalized Distance Functions in the Theory of Computation
The Computer Journal, Januar, 2008
(Details)

Markus Krötzsch
Generalized Ultrametric Spaces in Quantitative Domain Theory
Theoretical Computer Science, 368, (1--2), Seiten 30--49, Dezember, 2006
(Details)

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74, (2-3), Seiten 301-328, Juli, 2006
(Details)

↑ top

inproceedings
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)

Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, Proceedings of the 20th International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings, 250, Juni, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, Seiten: 452--457, AAAI Press, Vancouver, British Columbia, Canada
(Details)

Sebastian Rudolph
Exploring Relational Structures via FLE
In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, Conceptual Structures at Work: 12th International Conference on Conceptual Structures, Seiten: 196 -- 212, Springer, LNCS, 3127, Huntsville, AL, USA, Juli, 2004
(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, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Institute AIFB, University of Karlsruhe, Archiv Nummer 1731, März, 2008
(Details)

↑ top

misc
Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, Februar, 2005
(Details)

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

↑ top
-->