DPSW 2020

(Download call for papers)

Topics

Authors are invited to submit papers presenting research on all aspects of Declarative Problem Solving. We invite submissions about any of the following list of topics including (but 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 Artificial Intelligence (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

(new dates due to COVID-19 delay)

  • (new) Paper submission............. April 20th, 2020 (extended)

  • (new) Notification of acceptance... May 7th, 2020

  • (new) Workshop dates................ August 29-30, 2020