Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols

von Baader, Franz, Kapur, Deepak
Veröffentlicht in Automated Reasoning (2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited

von Baader, Franz, Rydval, Jakub
Veröffentlicht in Automated Reasoning (2020)

Term rewriting and applications 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /

von International Conference on Rewriting Techniques and Applications, Baader, Franz.
Veröffentlicht 2007.

Formalizing biomedical concepts from textual definitions

von Petrova, Alina, Ma, Yue, Tsatsaronis, George, Kissa, Maria, Distel, Felix, Baader, Franz, Schroeder, Michael
Veröffentlicht in J Biomed Semantics (2015)