Concepedia

Franz Baader

FB

Statistics

Publications

93

Citations

6.8K

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 computer science, knowledge representation, and computing.

Publications per year

1986–2022

93

Publications

93

Pushing the EL envelope

Franz Baader, Sebastian Brandt, Carsten Lutz · 2005 · 869 citations · Full text

Computing, Computer Science, Mathematics +11

An Overview of Tableau Algorithms for Description Logics

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

Computing, Computer Science, Formal Methods +11

A scheme for integrating concrete domains into concept languages

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

Computing, Computer Science, Algorithms +14

Embedding defaults into terminological knowledge representation formalisms

Franz Baader, Bernhard Hollunder · 1993 · 263 citations · Full text

Computing, Linguistics, Computational Linguistics +11

Unification Theory

Franz Baader · 1990 · 234 citations

Computing, Computer Science, Artificial Intelligence +7

1–5 of 93