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