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

Por Baader, Franz, Kapur, Deepak
Publicado no Automated Reasoning (2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited

Por Baader, Franz, Rydval, Jakub
Publicado no Automated Reasoning (2020)

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

Por International Conference on Rewriting Techniques and Applications, Baader, Franz.
Publicado em 2007

Formalizing biomedical concepts from textual definitions

Por Petrova, Alina, Ma, Yue, Tsatsaronis, George, Kissa, Maria, Distel, Felix, Baader, Franz, Schroeder, Michael
Publicado no J Biomed Semantics (2015)