Concepedia

Franz Baader

FB

Statistics

Publications

92

Citations

6.7K

H-Index

42

Active since

1986

Affiliations

Technische Universität Dresden(Current)

RWTH Aachen University

German Research Centre for Artificial Intelligence

Franz Baader is an author at Technische Universität Dresden specializing in automated reasoning, semantics, and engineering.

ORCID

Top concepts

Publications per year

1986–2020

92

Publications

92

Pushing the EL envelope

Franz Baader, Sebastian Brandt, Carsten Lutz · Qucosa (Saxon State and University Library Dresden) · 2005 · 863 citations · Full text

An Overview of Tableau Algorithms for Description Logics

Franz Baader, Ulrike Sattler · Studia Logica · 2001 · 384 citations

A scheme for integrating concrete domains into concept languages

Franz Baader, Philipp Hanschke · Publications of the UdS (Saarland University) · 1991 · 316 citations · Full text

, , +19

Embedding defaults into terminological knowledge representation formalisms

Franz Baader, Bernhard Hollunder · Publications of the UdS (Saarland University) · 1993 · 263 citations · Full text

Unification Theory

Franz Baader · 1990 · 229 citations

1–5 of 92