WLP 2024 - 38th Workshop on (Constraint) Logic Programming

Schedule

Proceedings

Call for Papers

WLP 2024 provides a forum for exchanging ideas on declarative logic programming, constraint logic programming, non-monotonic reasoning, knowledge representation, and facilitates interactions between research in theoretical foundations and the design, implementation and application of (constraint) logic-based systems. Declarative approaches - especially in combination with other AI technologies and disruptive non-AI technologies - have an increasing relevance for digitalization projects in many sectors.
The WLP is part of the KI 2024 in Würzburg.
Contributions are welcome on all aspects of logic programming (LP), constraint programming (CP), and other fields of artificial intelligence, including, but not limited to the following areas:

• Logic programming
• Constraint programming
• Deductive databases, data mining
• Extensions of declarative languages, objects
• Multi-paradigm declarative programming
• Foundations, semantics, nonmonotonic reasoning, dynamics
• Parallelism, concurrency
• Program analysis, abstract interpretation
• Program transformation, partial evaluation, meta-programming
• Specification, verification, declarative debugging
• Knowledge representation, machine learning
• Interaction of declarative programming with other formalisms/ AI technologies
• Implementation of declarative languages
• Advanced programming environments and tools
• Software engineering in the context of declarative programming
• Applications & project descriptions, e.g. in the fields planning, scheduling, configuration, computational law
• Lessons learned by teaching in the addressed fields

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