Tableau Algorithms for Description Logics (2000)

by Franz Baader , Ulrike Sattler
Venue:STUDIA LOGICA
Citations:193 - 21 self

Document Versions

Tableau Algorithms for Description Logics –Franz Baader, Ulrike Sattler — 2000 — STUDIA LOGICA
2000, ‘Tableau Algorithms for Description Logics –Franz Baader, Ulrike Sattler — Proc. of the Int. Conf. on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000
An Overview of Tableau Algorithms for Description Logics –Franz Baader, Ulrike Sattler — 2000 — Studia Logica
Tableau Algorithms for Description Logics –Franz Baader, Ulrike Sattler — 2000 — Studia Logica