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

Bằng Baader, Franz, Kapur, Deepak
Xuất bản năm Automated Reasoning (2020)

Description Logics with Concrete Domains and General Concept Inclusions Revisited

Bằng Baader, Franz, Rydval, Jakub
Xuất bản năm Automated Reasoning (2020)

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

Bằng International Conference on Rewriting Techniques and Applications, Baader, Franz.
Được phát hành 2007.

Formalizing biomedical concepts from textual definitions

Bằng Petrova, Alina, Ma, Yue, Tsatsaronis, George, Kissa, Maria, Distel, Felix, Baader, Franz, Schroeder, Michael
Xuất bản năm J Biomed Semantics (2015)