DPSW 2020

Welcome to the 1st edition of the Declarative Problem Solving Workshop. DPSW 2020 is a workshop of ECAI 2020 to be held on August 29th-30th, 2020 as an online event (new) from 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.