IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
DPSW 2020 : Declarative Problem Solving Workshop
DPSW 2020 : Declarative Problem Solving Workshop

DPSW 2020 : Declarative Problem Solving Workshop

Santiago de Compostela Spain
Event Date: June 09, 2019 - June 09, 2019
Submission Deadline: March 20, 2019
Notification of Acceptance: April 15, 2019
Camera Ready Version Due: May 15, 2019




About

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 ypes 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. 


Call for Papers

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 



Summary

DPSW 2020 : Declarative Problem Solving Workshop will take place in Santiago de Compostela Spain. It’s a 1 day event starting on Jun 09, 2019 (Sunday) and will be winded up on Jun 09, 2019 (Sunday).

DPSW 2020 falls under the following areas: PROBLEM SOLVING, KNOWLEDGE REPRESENTATION, AUTOMATED REASONING, CONSTRAINT SATISFACTION, etc. Submissions for this Workshop can be made by Mar 20, 2019. Authors can expect the result of submission by Apr 15, 2019. Upon acceptance, authors should submit the final version of the manuscript on or before May 15, 2019 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the DPSW 2020

  • Short Name: DPSW 2020
  • Full Name: Declarative Problem Solving Workshop
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of DPSW 2020
  • Event Type: Workshop
  • Website Link: https://easychair.org/conferences/?conf=dpsw2020
  • Location/Address: Santiago de Compostela Spain


Credits and Sources

[1] DPSW 2020 : Declarative Problem Solving Workshop


Check other Conferences, Workshops, Seminars, and Events


OTHER KNOWLEDGE REPRESENTATION EVENTS

AKR3 2024: AKR3: 1st International Workshop on Actionable Knowledge Representation for Robots (at ESWC)
Hersonissos, Crete, Greece
May 28, 2024
ICAIA 2024: International Conference on Artificial Intelligence and Applications
New Delhi, India
Mar 19, 2024
Canadian AI 2024: 37th Canadian Conference on Artificial Intelligence
Guelph, Ontario, Canada
May 27, 2024
K-CAP 2023: 12th International Conference on Knowledge Capture
Pensacola, Florida, USA
Dec 5, 2023
KR 2024: Principles of Knowledge Representation and Reasoning
Hanoi, Vietnam
Nov 2, 2024
SHOW ALL

OTHER AUTOMATED REASONING EVENTS

VMCAI 2023: International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
Boston
Jan 15, 2023
LANMR 2022: Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
Mexico City
Jun 16, 2022
UNIF 2020: 34th International Workshop on Unification
Paris, France
Jun 29, 2020
SHOW ALL

OTHER CONSTRAINT SATISFACTION EVENTS

CP 2022: Principles and Practice of Constraint Programming
Haifa, Israel
Jul 31, 2022
JFPC 2020: Sixteenth French-Speaking Constraint Programming Days
Nice, France
Jun 02, 2020
ICLP 2020: The 36th International Conference on Logic Programming
Rende, Italy
Sep 18, 2020
JFPC 2019: Quinzième Journées Francophones de Programmation par Contraintes
Albi, France
Jun 12, 2019
SHOW ALL