Franz Baader

Identifiers

No identifiers captured yet.

Papers (3)

1. Repairing Description Logic Ontologies by Weakening Axioms cs.LO · 2018 · author #1
2. Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification cs.LO · 2016 · author #1
3. The Inverse Method Implements the Automata Approach for Modal Satisfiability cs.LO · 2004 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Adrian Nuradiansyah 1 shared papers
• Barbara Morawska (Technische Universit\"at Dresden) 1 shared papers
• Francesco Kriegel 1 shared papers
• Rafael Pe\~naloza 1 shared papers
• Stefan Borgwardt 1 shared papers
• Stephan Tobies 1 shared papers