Description Logics Workshops
Description Logics Home Page
Description Logics 2008: Dresden, Germany
Franz Baader, Carsten Lutz, Boris Motik (Eds.):
Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008.
CEUR Workshop Proceedings 353 CEUR-WS.org 2008
Contents BibTeX
Description Logics 2007: Brixen-Bressanone, Italy
Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris (Eds.):
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007.
CEUR Workshop Proceedings 250 CEUR-WS.org 2007
Contents BibTeX
Description Logics 2006: Windermere, Lake District, UK
Bijan Parsia, Ulrike Sattler, David Toman (Eds.):
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006.
CEUR Workshop Proceedings 189 CEUR-WS.org 2006
Contents BibTeX
Description Logics 2005: Edinburgh, Scotland, UK
Ian Horrocks, Ulrike Sattler, Frank Wolter (Eds.):
Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005.
CEUR Workshop Proceedings 147 CEUR-WS.org 2005
Contents BibTeX
Description Logics 2004: Whistler, BC, Canada
Volker Haarslev, Ralf Möller (Eds.):
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004.
CEUR Workshop Proceedings 104 CEUR-WS.org 2004
Contents BibTeX
- Description Logics 2004 Home Page
Description Logic Handbook
Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.):
The Description Logic Handbook: Theory, Implementation, and Applications.
Cambridge University Press 2003, ISBN 0-521-78176-0
Contents BibTeX
Description Logics 2003: Rome, Italy
Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi (Eds.):
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003.
CEUR Workshop Proceedings 81 CEUR-WS.org 2003
Contents BibTeX
- Description Logics 2003 Home Page
Description Logics 2002: Toulouse, France
Ian Horrocks, Sergio Tessaris (Eds.):
Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002.
CEUR Workshop Proceedings 53 CEUR-WS.org 2002
Contents BibTeX
- Description Logics 2002 Home Page
Description Logics 2001: Stanford University, California, USA
Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider (Eds.):
Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001.
CEUR Workshop Proceedings 49 CEUR-WS.org 2001
Contents BibTeX
- Description Logics 2001 Home Page
Description Logics 2000: Aachen, Germany
Franz Baader, Ulrike Sattler (Eds.):
Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000.
CEUR Workshop Proceedings 33 CEUR-WS.org 2000
Contents BibTeX
Description Logics 1999: Linköping, Sweden
Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider (Eds.):
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999.
CEUR Workshop Proceedings 22 CEUR-WS.org 1999
Contents BibTeX
- DL '99 Home Page
Description Logics 1998: Trento, Italy
Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty (Eds.):
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998.
CEUR Workshop Proceedings 11 CEUR-WS.org 1998
Contents BibTeX
Description Logics 1997: Paris, France
Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset (Eds.):
Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI.
URA-CNRS 410 1997
Contents BibTeX
Description Logics 1996: Cambridge, MA, USA
Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider (Eds.):
Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA.
AAAI Technical Report WS-96-05 AAAI Press 1996, ISBN 1-57735-014-6
Contents BibTeX
Description Logics 1995
Alexander Borgida,
Maurizio Lenzerini,
Daniele Nardi,
Bernhard Nebel (Eds.):
Proceedings of the 1995 International Workshop on Description Logics,
Universita degli Studi di Roma "La Sapienza", Dipartimento di Informatica e
Sistemistica, Rap 07.95, Roma, Italy, June 2-3, 1995
Online Proceedings
Description Logics 1994: Bonn, Germany
Franz Baader,
Maurizio Lenzerini,
Werner Nutt,
Peter F. Patel-Schneider (Eds.):
Proceedings of the 1994 International Workshop on Description Logics,
DFKI-D-94-10, Bonn, Germany, May 28-29, 1994
Online Proceedings
Description Logics 1992; Boston, MA, USA
Robert M. MacGregor, Deborah L. McGuinness, Eric Mays, Thomas A. Russ (Eds.):
Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992.
AAAI Fall Symposium Series AAAI Press 1992
Contents BibTeX
Description Logics 1991: Dagstuhl, Germany
Bernhard Nebel,
Kai von Luck,
Christof Peltason (Eds.):
Proceedings of the International
Workshop on Terminological Logics, DFKI-D-91-13, 1991. Also published
as KIT Report and IWBS Report 184
Contents
Christof Peltason,
Kai von Luck,
Carsten Kindermann (Eds.):
Proceedings of the Terminological Logic Users Workshop,
KIT-Report 95, TU-Berlin, Germany, December 1991
Term Subsumption Languages Workshop
Term Subsumption Languages Workshop, Thorn Hill, New
Hampshire, 1989. A report on the workshop appears in AI Magazine,
Vol 11(2), 1990
2. KL-ONE Workshop
Ronald J. Brachman,
James G. Schmolze (Eds.):
Proceedings of the Second KL-ONE Workshop, BBN Report
No. 4842, BBN Laboratories, Cambridge, MA, June 1982
Copyright © Sat May 16 23:07:10 2009
by Michael Ley (ley@uni-trier.de)
