Active Bibliography

282 Basic Description Logics – Franz Baader, Werner Nutt - 2003
199 Tableau Algorithms for Description Logics – Franz Baader, Ulrike Sattler - 2000
4 Description Logics: Foundations for Class-based Knowledge Representation – Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini - 2002
131 Description Logics as Ontology Languages for the Semantic Web – Franz Baader, Ian Horrocks, Ulrike Sattler - 2003
99 Unifying class-based representation formalisms – Diego Calvanese, Maurizio Lenzerini, Daniele Nardi - 1999
737 Data Integration: A Theoretical Perspective – Maurizio Lenzerini - 2002
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
147 Description Logics with Concrete Domains -- A Survey – Carsten Lutz - 2003