WLP 2013 - 27th Workshop on Logic Programming (WLP 2013)

Contributions are welcome on all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including, but not limited to the following areas (the order does not reflect any priorities):
Theoretical aspects:
foundations of CP and LP;
constraint solving and optimisation;
extensions: functional logic programming, objects;
deductive databases, data mining;
nonmonotonic reasoning;
dynamics, updates, states, transactions;
interaction of CP and 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;
semantics and proof-theoretical investigations.
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).
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.