Franz Baader
Scholar

Franz Baader

Google Scholar ID: dIVc_FYAAAAJ
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Logic in Computer ScienceKnowledge RepresentationAutomated Deduction
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
6,579
 
H-index
30
 
i10-index
89
 
Publications
20
 
Co-authors
35
list available
Contact
No contact links provided.
Publications
3 items
The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
2026
Cited
0
Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
2025
Cited
1
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
arXiv.org · 2024
Cited
0
Resume (English only)
Background
  • Research interests: Machine Learning, Data Science, Artificial Intelligence. Brief introduction: Passionate about using AI to solve real-world problems...
Miscellany
  • Hobbies: Traveling, Reading, Photography. Also an avid cyclist.
Co-authors
35 total
Uli Sattler
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester
Carsten Lutz
Carsten Lutz
Professor of Computer Science, University of Leipzig
Werner Nutt
Werner Nutt
Professor of Computer Science, Free University of Bozen-Bolzano
Stefan Borgwardt
Stefan Borgwardt
Theoretical Computer Science, TU Dresden
Rafael Peñaloza
Rafael Peñaloza
University of Milano-Bicocca
Ian Horrocks
Ian Horrocks
Professor of Computer Science, University of Oxford
Co-author 7
Co-author 7
Co-author 8
Co-author 8