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)