Home Advanced Search
Advanced Search - Page 1
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
- English
- Year: 2019
- Author: Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter
KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings
- English
- Year: 2018
- Author: Frank Trollmann, Anni-Yasmin Turhan
Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings
- English
- Year: 2022
- Author: Guido Governatori, Anni-Yasmin Turhan
Rules and Reasoning. 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022 Berlin, Germany, September 26–28, 2022 Proceedings
- English
- Year: 2022
- Author: Guido Governatori, Anni-Yasmin Turhan
An Introduction to Description Logic
- English
- Year: 2017
- Author: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
An Introduction to Description Logic
- English
- Year: 2017
- Author: Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler
Kompetenzkonflikte und Aufgabenverteilung zwischen nationalen und internationalen Gerichten: Erste Bausteine einer Weltgerichtsordnung
- German
- Year: 2003
- Author: Lutz, Carsten
Lattices of Modal Logics [PhD Thesis]
- English
- Year: 1993
- Author: Frank Wolter
Semantic Technology: 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings
- English
- Year: 2017
- Author: Zhe Wang, Anni-Yasmin Turhan, Kewen Wang, Xiaowang Zhang (eds.)