DPSW 2024

(call for papers: available soon)

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=dpsw2024

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.

Important Dates

• Paper submission.............. July 29th, 2024

• Notification of acceptance.... September 6th, 2024

• Final version due............. September 27th, 2024

• Workshop dates................ October 19-20, 2024