Domaintheorie

Veröffentlichungen zum Forschungsgebiet

Article

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

↑ top

inproceedings

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler and Peter Ohrstrom, Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, Seiten: 413-426, Springer, Lecture Notes in Artificial Intelligence, 4068, Juli, 2006
(Details)

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, Seiten: 223-237, Springer, Berlin, Lecture Notes in Computer Science, 3596, Juli, 2005
(Details)

Pascal Hitzler
Default Reasoning over Domains and Concept Hierarchies
In Susanne Biundo and Thom Frühwirth and Günther Palm, KI2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on AI, KI2004, Ulm, Germany, Seiten: 351-365, Springer, Lecture Notes in Artificial Intelligence, 3238, September, 2004
(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