WLP 2006 20th Workshop on Logic Programming Vienna, Austria February 22-24, 2006

The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP, Gesellschaft für Logische Programmierung e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. 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.

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

• Theoretical aspects:
  • foundations of constraint programming (CP) and logic programming (LP);
  • constraint solving and optimization;
  • extensions: functional logic programming, objects;
  • deductive databases, data mining;
  • nonmonotonic reasoning;
  • dynamics, updates, states, transactions;
  • interaction of CP/LP with other formalisms like agents, XML, JAVA;
  • program analysis, program transformation, program verification, meta programming;
  • parallelism and concurrency;
  • rule-based systems;
  • abductive and inductive logic programming;
  • answer-set programming;
  • complexity and expressive power.
  
  
• Implementation of systems:
  • system descriptions, comparisons, evaluations;
  • benchmarks;
  • implementation techniques;
  • software techniques (e.g., types, modularity, design patterns, debugging).
  
  
• 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;
  • knowledge representation and reasoning.

The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged.

Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format (11pt) before November 21, 2005. Submissions should include the title, authors' names, affiliations, addresses, and e-mail information. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file (in A4 format), available at the Springer LNCS/LNAI homepage.

All submissions should be sent to wlp06@kr.tuwien.ac.at.

The complete Call for Papers can also be downloaded here:

• PDF,
• gzipped PostScript,
• ASCII.

The accepted papers will be published as a technical report.

Online Proceedings (in ps.gz) (in pdf)

• Reinhard Pichler (Vienna University of Technology)
  
• Torsten Schaub (University of Potsdam)
  

• Ulrich Geske (FhG FIRST)
  
• Armin Wolf (FhG FIRST)
  

Program Committee

Local Organization