posted by user: cabalar || 20720 views || tracked by 2 users: [display]

DPSW 2020 : Declarative Problem Solving Workshop


When Jun 9, 2019 - Jun 9, 2019
Where Santiago de Compostela Spain
Submission Deadline Apr 20, 2019
Notification Due Apr 15, 2019
Final Version Due May 15, 2019
Categories    problem solving   knowledge representation   automated reasoning   constraint satisfaction

Call For Papers


1st Declarative Problem Solving Workshop
DPSW 2020

Santiago de Compostela, Spain
August 30th, 2020
(extended deadline, April 20th)
WARNING: ECAI and its workshops have been rescheduled to
August 29th - Sept 2nd, 2020 due to COVID19 delay


DPSW 2020 is the first edition of the Declarative Problem Solving Workshop,
inside ECAI 2020 to be held on August 30th, 2020 (new date!) at Santiago de
Compostela, Spain. 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.


Conference topics include, but are not limited to:

- Problem solving paradigms:
SAT, QBF, SMT, ASP, PDDL, action languages, etc
- Expressiveness and computational complexity
- Translations among DPS paradigms
- Numerical constraint problems
- Optimization problems
- Scheduling problems
- Planning problems
- Temporal problems
- Spatial problems
- Argumentation Problems
- Ontologies in problem solving
- Problem solving and natural language
- Learning relevant domain knowledge
- Benchmark collections


Paper format is flexible but papers should not exceed 15 pages in single
column or 7 in double column, excluding the references. Papers must be
written in English and submitted in PDF only. Submission will be handled
electronically by means of the easychair system at:

Contributions already published or accepted for publication at other
conferences are also welcome, provided that the original reference is
mentioned in a footnote on the first page. AEPIA sponsors invitations for
journal publication to two papers presenting original contributions: one
in a special issue of the International Journal of Interactive Multimedia
and AI (IJIMAI) and one in Progress in Artificial Intelligence. These
invitations will be made on the basis of originality, paper quality and
relevance to each journal.

(new dates due to COVID19 delay)

* Paper submission: April 20th, 2020 (extended)
* Notification: May 7th, 2020
* Final versions due: June 20th, 2020
* Workshop date: August 30th, 2020


Vladimir Lifschitz, University of Texas at Austin, USA


Santiago de Compostela is the capital of the Autonomous Region of Galicia,
located in the Northwest of Spain. The historical city's old town has
been declared a UNESCO World Heritage Site. Its cathedral has been the
destination of a pilgrimage route, The Way of Saint James, since the IX
century and constitutes one of the three main historical destinations of
Christian pilgrimage, together with Rome and Jerusalem.
For more information see:


Pedro Cabalar, University of Corunna, Spain (local organizer)
Andreas Herzig, CNRS, IRIT, University of Toulouse, France
David Pearce, Universidad Politécnica de Madrid, Spain
Torsten Schaub, University of Potsdam, Germany
Stefan Woltran, Vienna University of Technology, Austria


Jose Julio Alferes, Universidade NOVA de Lisboa, Portugal
Chitta Baral, Arizona State University, USA
Gerhard Brewka, Leipzig University, Germany
Pedro Cabalar, University of Corunna, Spain
Manuel Carro, IMDEA Software Institute & Universidad Politécnica de Madrid, Spain
Stefania Costantini, Universita dell'Aquila, Italy
Marina De Vos, University of Bath, UK
Thomas Eiter, Vienna University of Technology, Austria
Luis Fariñas Del Cerro, CNRS, IRIT, University of Toulouse, France
Susana Fernandez, Universidad Carlos III de Madrid, Spain
Hector Geffner, ICREA & Universitat Pompeu Fabra, Spain
Georg Gottlob, University of Oxford, UK
Andreas Herzig, CNRS, IRIT, University of Toulouse, France
Giovambattista Ianni, University of Calabria, Italy
Tomi Janhunen, Tampere University, Finland
Joao Leite, Universidade NOVA de Lisboa, Portugal
Nicola Leone, University of Calabria, Italy
Yuliya Lierler, University of Nebraska at Omaha, USA
Carlos Linares Lopez, Universidad Carlos III de Madrid, Spain
Jorge Lobo, ICREA and Universitat Pompeu Fabra, Spain
Carlos Mencía, University of Oviedo, Spain
Manuel Ojeda-Aciego, University of Málaga, Spain
Eva Onaindia, Universitat Politècnica de València, Spain
Odile Papini, Aix-Maresille University, France
David Pearce, Technical University of Madrid, Spain
Alessandro Provetti, Birkbeck, University of London, UK
Torsten Schaub, University of Potsdam, Germany
Tran Cao Son, New Mexico State University, USA
Eugenia Ternovska, Simon Fraser University, Canada
Mirek Truszczynski, University of Kentucky, USA
Agustin Valverde, University of Málaga, Spain
Stefan Woltran, Vienna University of Technology, Austria

Related Resources

SI:Tourist_Trip_Planning 2023   Special Issue on ''Tourist Trip Planning: Algorithmic Foundations''
JELIA 2023   18th European Conference on Logics in Artificial Intelligence
PADL 2023   PADL 2023: The 25th International Symposium on Practical Aspects of Declarative Languages
KI 2023   46th German Conference on Artificial Intelligence
SCIDOCA 2023   Seventh International Workshop on SCIentific DOCument Analysis
DL 2023   36th International Workshop on Description Logics
LoReTra 2023   Workshop on Logic Representation of Traffic Rules
OSS 2023   2nd International Workshop on Ontologies for Services and Society at JOWO 2023
ICBO 2023   ICBO 2023 Call For PAPER Submissions
3rd IEEE DPWH 2023   3rd IEEE Conference on Digital Preservation and processing technology of Written Heritage