DPSW 2024

Welcome to the 2nd edition of the Declarative Problem Solving Workshop. DPSW 2024 is a workshop of ECAI 2024 to be held on October 19th-20th, 2024 in Santiago de Compostela, Spain

Aims and Scope

Declarative Problem Solving consists in finding solutions to computational problems by exclusively using a description of the relevant domain knowledge and the conditions imposed by the problem to be solved. Solutions are then computed by generic solvers rather than by specific, problem oriented algorithms that describe the steps to follow. The workshop aims to bring together researchers from disciplines related to problem solving under a declarative specification. This includes different types of computational problems, such as combinatorial, optimization, numerical constraints, planning, scheduling, temporal constraints, etc, or combinations of these categories provided that their specification is made in terms of some declarative formal language. Papers may cover from fundamental results to solvers implementation or descriptions of practical applications. Contributions exploring combinations or relations among different paradigms for problem solving are encouraged.