The WLP provides a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.
Contributions are welcome on all theoretical, experimental, and application aspects of logic, funtional, and constraint logic programming. The topics include, but are not limited to the following areas:
The Workshop on (Constraint and Functional) Logic Programming serves as the scientific forum and the annual meeting of the Society of Logic Programming (GLP e.V.) and brings together researchers interested in logic programming, constraint programming, functional programming, and related areas like knowledge representation, artificial intelligence, databases.
WLP 2022 (virtual/Trier, Germany), WLP 2021 (virtual/Berlin, Germany), WLP 2020 (Bamberg, Germany), WLP 2019 (Cottbus, Germany), WLP 2018 (Berlin, Germany), WLP 2017 (Würzburg, Germany), WLP 2016 (Leipzig, Germany), WLP 2015 (Dresden, Germany), WLP 2014 (Wittenberg, Germany), WLP 2013 (Kiel, Germany), WLP 2012 (Bonn, Germany), WLP 2011 (Vienna, Austria), WLP 2010 (Cairo, Egypt), WLP 2009 (Potsdam, Germany), WLP 2008 (Dresden, Germany), WLP 2007 (Würzburg, Germany), WLP 2006 (Vienna, Austria), WLP 2005 (Ulm, Germany), WLP 2004 (Potsdam, Germany), WLP 2002 (Dresden, Germany), WLP 2001 (Kiel, Germany), WLP 2000 (Berlin, Germany), WLP’99 (Würzburg, Germany), WLP’98 (Vienna, Austria), WLP’97 (Munich, Germany), WLP’95 (Vienna, Austria), …
The workshop will be held in Room C 253.
Session Chair: Mario Wenzel
Session Chair: Dietmar Seipel
Topics TBD
Registration to KI 2023 and workshops is handled uniformly by the co-located INFORMATIK2023 conference, see https://informatik2023.gi.de/registration_ki.html for registration details. It is necessary for at least one author to be registered at the conference, e.g. with a one-day ticket (Tagespass).
Papers should be submitted via the EasyChair conference management system (https://easychair.org/conferences/?conf=wlp2023).
Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chairs in case of questions).
Full papers should consist of up to 12 pages, system descriptions or short papers should be no longer than 6 pages (excluding references). Formatting should follow the GI-LNI style and guidelines which are available here, along with formatting templates and style files.
Authors should submit an electronic copy of the full paper in PDF. Papers should be submitted via the EasyChair conference management system (https://easychair.org/conferences/?conf=wlp2023).
The workshop is running a single-blind review process. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. All accepted papers will be published on the workshop website.
The WLP is also open to people who would like to attend without submitting a paper as discussion of the topic will play a major role.