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

द्वारा Baader, Franz, Kapur, Deepak
में प्रकाशित Automated Reasoning (2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited

द्वारा Baader, Franz, Rydval, Jakub
में प्रकाशित Automated Reasoning (2020)

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

द्वारा International Conference on Rewriting Techniques and Applications, Baader, Franz.
प्रकाशित 2007.

Formalizing biomedical concepts from textual definitions

द्वारा Petrova, Alina, Ma, Yue, Tsatsaronis, George, Kissa, Maria, Distel, Felix, Baader, Franz, Schroeder, Michael
में प्रकाशित J Biomed Semantics (2015)