29th Workshop on (Constraint) Logic Programming (WLP 2015)

part of 38th German Conference on Artificial Intelligence (KI 2015) and colocated with ICCL Summer School

September 22, 2015, at Faculty of Computer Science at Technische Universität Dresden, Germany.


Call for Papers

General

The Workshops on (Constraint) Logic Programming are the annual meeting of the German Society of Logic Programming Gesellschaft für Logische Programmierung e.V. (GLP) and brings together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany).

The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems.

The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.

Previous WLP editions: WLP 2014 (Lutherstadt 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 1999 (Würzburg, Germany), WLP 1998 (Vienna, Austria), WLP 1997 (Munich, Germany), WLP 1995 (Vienna, Austria)


Important Dates

  • submission opens: May 1, 2015
  • submission closes: July 20, 2015
  • notification: July 27, 2015
  • early registration deadline: July 29, 2015
  • final version due: August 10, 2015
  • workshop: September 22, 2015

Topics

Contributions are welcome on all theoretical, experimental, and application aspects of logic programming (LP) and constraint programming (CP), including, but not limited to the following areas (the order does not reflect any priorities):

Logic Programming and Extensions

  • foundations of CP and LP
  • constraint solving and optimisation
  • functional logic programming, objects
  • dynamics, updates, states, transactions
  • interaction of CP and LP with other formalisms like agents, XML, JAVA
  • parallelism and concurrency
  • complexity and expressive power
  • program analysis, program transformation, program verification, meta programming

Knowledge Representation and Nonmonotonic Reasoning

  • deductive databases, data mining
  • rule-based systems
  • abductive and inductive logic programming
  • answer-set programming
  • semantics and proof-theoretical investigations

Application of Logic Programming

  • logic programming in production, management, environment, education, medicine, internet, etc.
  • CP/LP for Semantic Web applications and reasoning on the Semantic Web
  • data modelling for the Web, semistructured data, and Web query languages

Implementation of Systems

  • system descriptions, comparisons, evaluations
  • benchmarks
  • implementation techniques
  • software techniques and programming support (e.g., types, modularity, design patterns, debugging, testing, systematic program development).

Program

09:00-10:00 session 1 09:00 Dietmar Seipel: Knowledge Engineering for Hybrid Deductive Databases
09:20 Stefan Brass and Heike Stephan: Bottom-Up Evaluation of Datalog: Preliminary Report
09:40 Asmaa Afeefi: Planning Problems and Fixpoint Semantics
10:00-10:20 coffee break
10:20-11:20 session 2 10:20 Adrian Rebola Pardo: Refutationally Complete Hierarchic Theorem Proving with Definitions
10:40 Maged Shalaby, Slim Abdennadher, Nada Sharaf and Ghada Fakhry: Learning Instance-Level Constraints in Folksonomies for Semi-supervised Clustering using CHR
11:00 Marija Kulas: A practical view on renaming
11:20-11:40 coffee break
11:40-12:00 Sergio Antoy and Michael Hanus: Default Rules in Functional Logic Programs
12:00-13:00 GLP-meeting
13:00-14:30 lunch
14:30-15:30 invited talk Steffen Hölldobler: Human Reasoning, Logic Programs, and Connectionist Systems
15:40-16:00 coffee break
16:30 social event Grünes Gewölbe

KI 2015 program

Workshop Organizers and Co-Chairs

Program Committee


Submission Details

Authors are invited to submit papers in the following categories:

  • extended abstract (no longer than 15 pages including figures and references) or
  • system description (no longer than 6 pages)

via the EasyChair submission website for WLP 2015.

Submissions must be in PDF and prepared in LaTeX using Springer LNCS style.

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 chair in case of questions).

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.


Proceedings

The workshop proceedings containing an abstract of the invited talk and all accepted papers are available electronically. As for previous events, it is planned to publish selected papers as post-conference proceedings.


Registration, Travel

Detailed information


Sibylle Schwarz | Fakultät IMN | HTWK Leipzig