posted by user: cabalar || 938 views || tracked by 1 users: [display]

DPSW 2020 : Declarative Problem Solving Workshop

FacebookTwitterLinkedInGoogle

Link: https://easychair.org/conferences/?conf=dpsw2020
 
When Jun 9, 2019 - Jun 9, 2019
Where Santiago de Compostela Spain
Submission Deadline Mar 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

---------------------------------------------------------------------------
2nd CALL FOR PAPERS
---------------------------------------------------------------------------

1st Declarative Problem Solving Workshop
DPSW 2020

https://sites.google.com/view/dpsw2020/

Santiago de Compostela, Spain
June 9, 2020
---------------------------------------------------------------------------

AIMS AND SCOPE

DPSW 2020 is the first edition of the Declarative Problem Solving Workshop,
inside ECAI 2020 to be held on June 9, 2020 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.

TOPICS

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

SUBMISSION

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:

https://easychair.org/conferences/?conf=dpsw2020

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.

IMPORTANT DATES

* Paper submission: March 20th, 2020
* Notification: April 15th, 2020
* Final versions due: May 8th, 2020
* Workshop date: June 9th, 2020

INVITED SPEAKER

Vladimir Lifschitz, University of Texas at Austin, USA

VENUE

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:

http://ecai2020.eu/santiago/

WORKSHOP CHAIRS

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

PROGRAM COMMITTEE

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

PPSN 2020   Parallel Problem Solving from Nature
LOPAL 2020   Second International Conference on Learning and Optimization Algorithms: Theory and Applications
SE 2020   8th International Conference on Software Engineering & Trends
UNIF 2020   The 34th International Workshop on Unification
SASSSI 2020   1st Symposium on Applied Sciences for Solving Society's Issues
ICLP 2020   The 36th International Conference on Logic Programming
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
PJA Literature and the Problem of Evil 2020   “Literature and the Problem of Evil” The Polish Journal of Aesthetics No. 56 (1/2020)
STACS 2020   LOPAL2020 - Special Track: Semantic Technology Applications in Current Society (STACS)
JFPC 2020   Seizièmes Journées Francophones de Programmation par Contraintes