default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Laura Giordano, Jean Christoph Jung, Ana Ozaki:
  Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. CEUR Workshop Proceedings 3739, CEUR-WS.org 2024 [contents]

• 
  Oliver Kutz, Carsten Lutz, Ana Ozaki:
  Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023. CEUR Workshop Proceedings 3515, CEUR-WS.org 2023 [contents]

• 
  Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier:
  Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. CEUR Workshop Proceedings 3263, CEUR-WS.org 2022 [contents]

• 
  Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt:
  Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. CEUR Workshop Proceedings 2954, CEUR-WS.org 2021 [contents]

• 
  Stefan Borgwardt, Thomas Meyer:
  Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020. CEUR Workshop Proceedings 2663, CEUR-WS.org 2020 [contents]

• 
  Mantas Simkus, Grant E. Weddell:
  Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR Workshop Proceedings 2373, CEUR-WS.org 2019 [contents]

• 
  Magdalena Ortiz, Thomas Schneider:
  Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. CEUR Workshop Proceedings 2211, CEUR-WS.org 2018 [contents]

• 
  Alessandro Artale, Birte Glimm, Roman Kontchakov:
  Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings 1879, CEUR-WS.org 2017 [contents]

• 
  Maurizio Lenzerini, Rafael Peñaloza:
  Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR Workshop Proceedings 1577, CEUR-WS.org 2016 [contents]

• 
  Diego Calvanese, Boris Konev:
  Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. CEUR Workshop Proceedings 1350, CEUR-WS.org 2015 [contents]

• 
  Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus:
  Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. CEUR Workshop Proceedings 1193, CEUR-WS.org 2014 [contents]

• 
  Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
  Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013 [contents]

• 
  Yevgeny Kazakov, Domenico Lembo, Frank Wolter:
  Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846, CEUR-WS.org 2012 [contents]

• 
  Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev:
  Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011 [contents]

• 
  Volker Haarslev, David Toman, Grant E. Weddell:
  Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR Workshop Proceedings 573, CEUR-WS.org 2010 [contents]

• 
  Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler:
  Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477, CEUR-WS.org 2009 [contents]

• 
  Franz Baader, Carsten Lutz, Boris Motik:
  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]

• 
  Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris:
  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]

• 
  Bijan Parsia, Ulrike Sattler, David Toman:
  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]

• 
  Ian Horrocks, Ulrike Sattler, Frank Wolter:
  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]

• 
  Volker Haarslev, Ralf Möller:
  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]

Description Logics 2003 Home Page

• 
  Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi:
  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]

• 
  Ian Horrocks, Sergio Tessaris:
  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]

Description Logics 2001 Home Page

• 
  Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider:
  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]

• 
  Franz Baader, Ulrike Sattler:
  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]

Description Logics 1999 Home Page

• 
  Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider:
  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]

• 
  Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty:
  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]

• 
  Ronald J. Brachman, Francesco M. Donini, Enrico Franconi, Ian Horrocks, Alon Y. Levy, Marie-Christine Rousset:
  Proceedings of the 1997 International Workshop on Description Logics, Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique LRI, France. URA-CNRS 410, 1997 [contents]

• 
  Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider:
  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]

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

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

• 
  Robert M. MacGregor, Deborah L. McGuinness, Eric Mays, Thomas A. Russ:
  Issues in Description Logics: Users Meet Developers, Boston, MA, USA, October 1992. AAAI Fall Symposium Series, AAAI Press 1992 [contents]

• 
  Bernhard Nebel, Kai von Luck, Christof Peltason:
  Proceedings of the International Workshop on Terminological Logics 1991, Dagstuhl, Germany. DFKI Documents DFKI-D-91-13, 1991 [contents]

Christof Peltason, Kai von Luck, Carsten Kindermann (Eds.): Proceedings of the Terminological Logic Users Workshop, KIT-Report 95, TU-Berlin, Germany, December 1991

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2024-10-31 20:21 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: