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

• 
  Dietmar Seipel, Michael Hanus, Salvador Abreu:
  Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018, ISBN 978-3-030-00800-0 [contents]

• 
  Stefan Brass, Johannes Waldmann:
  Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014. CEUR Workshop Proceedings 1335, CEUR-WS.org 2015 [contents]

• 
  Michael Hanus, Ricardo Rocha:
  Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8439, Springer 2014, ISBN 978-3-319-08908-9 [contents]

• 
  Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf:
  Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7773, Springer 2013, ISBN 978-3-642-41523-4 [contents]

• 
  Dietmar Seipel, Michael Hanus, Armin Wolf:
  Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5437, Springer 2009, ISBN 978-3-642-00674-6 [contents]

Online Proceedings

• 
  Michael Fink, Hans Tompits, Stefan Woltran:
  20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. INFSYS Research Report 1843-06-02, Technische Universität Wien, Austria 2006 [contents]

• 
  Armin Wolf, Thom W. Frühwirth, Marc Meister:
  19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Ulmer Informatik-Berichte 2005-01, Universität Ulm, Germany 2005 [contents]

• 
  Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein:
  Applications of Declarative Programming and Knowledge Management, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3392, Springer 2005, ISBN 3-540-25560-5 [contents]

WFLP 2001 Home Page

• 
  Michael Hanus:
  International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers. Electronic Notes in Theoretical Computer Science 64, Elsevier 2002 [contents]

• 
  Slim Abdennadher, Ulrich Geske, Dietmar Seipel:
  WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. GMD Report 110, 2000 [contents]

• 
  François Bry, Ulrich Geske, Dietmar Seipel:
  14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. GMD Report 90, 2000 [contents]

WLP 1998 Home Page

Online Proceedings

• 
  François Bry, Burkhard Freitag, Dietmar Seipel:
  Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Germany, Technical Report PMS-FB-1997-10. Ludwig Maximilians Universität München 1997 [contents]

WLP 1995 WWW Server

• 
  Andreas Krall, Ulrich Geske:
  11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270. 1995 [contents]

• 
  Norbert E. Fuchs, Georg Gottlob:
  Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10. Institut für Informatik der Universität Zürich 1994 [contents]

• 
  Christoph Beierle:
  9. Workshop Logische Programmierung, Oktober 1993, Proceedings. Fern-Universität Hagen, Germany, Informatik-Bericht 146. 1993 [contents]

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-11-11 21:15 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: