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

od Baader, Franz, Kapur, Deepak
Izdano u Automated Reasoning (2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited

od Baader, Franz, Rydval, Jakub
Izdano u Automated Reasoning (2020)

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

od International Conference on Rewriting Techniques and Applications, Baader, Franz.
Izdano 2007.

Formalizing biomedical concepts from textual definitions

od Petrova, Alina, Ma, Yue, Tsatsaronis, George, Kissa, Maria, Distel, Felix, Baader, Franz, Schroeder, Michael
Izdano u J Biomed Semantics (2015)