<div dir="ltr"><div style="font-size:12.8px"><span style="font-size:12.8px">[Apologies for multiple postings.]</span><br></div><div style="font-size:12.8px"><span style="font-size:12.8px"><br></span></div><div style="font-size:12.8px">==============================<wbr>==============================<wbr>===================</div><div style="font-size:12.8px">                               CALL FOR PAPERS</div><div style="font-size:12.8px">                                 ASPOCP 2017</div><div style="font-size:12.8px">     10th Workshop on Answer Set Programming and Other Computing Paradigms</div><div style="font-size:12.8px">                    <a href="https://sites.google.com/site/aspocp2017" target="_blank">https://sites.google.com/site/<wbr>aspocp2017</a> </div><div style="font-size:12.8px">                              July 3, 2017 </div><div style="font-size:12.8px"> </div><div style="font-size:12.8px">   Affiliated with the 14th International Conference on Logic Programming and </div><div style="font-size:12.8px">                            Nonmonotonic Reasoning  </div><div style="font-size:12.8px">                                Espoo, Finland                          </div><div style="font-size:12.8px">                               July 3 - 6, 2017</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">==============================<wbr>==============================<wbr>===================</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">AIMS AND SCOPE</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> Since its introduction in the late 1980s, Answer Set Programming (ASP)</div><div style="font-size:12.8px"> has been widely applied to various knowledge-intensive tasks and</div><div style="font-size:12.8px"> combinatorial search problems. ASP was found to be closely related to</div><div style="font-size:12.8px"> SAT, which led to a new method of computing answer sets using SAT</div><div style="font-size:12.8px"> solvers and techniques adapted from SAT. This has been a much</div><div style="font-size:12.8px"> studied relationship, and is currently extended towards</div><div style="font-size:12.8px"> satisfiability modulo theories (SMT). The relationship of ASP to other</div><div style="font-size:12.8px"> computing paradigms, such as constraint satisfaction, quantified</div><div style="font-size:12.8px"> Boolean formulas (QBF), Constraint Logic Programming (CLP),</div><div style="font-size:12.8px"> first-order logic (FOL), and FO(ID) is also the subject of active</div><div style="font-size:12.8px"> research. Consequently, new methods of computing answer sets are being </div><div style="font-size:12.8px"> developed based on relationships to these formalisms.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> Furthermore, the practical applications of ASP also foster work on</div><div style="font-size:12.8px"> multi-paradigm problem-solving, and in particular language and solver</div><div style="font-size:12.8px"> integration. The most prominent examples in this area currently are</div><div style="font-size:12.8px"> the integration of ASP with description logics (in the realm of the</div><div style="font-size:12.8px"> Semantic Web) and constraint satisfaction (which recently led to </div><div style="font-size:12.8px"> the Constraint Answer Set Programming (CASP) research direction).</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> A large body of general results regarding ASP is available and</div><div style="font-size:12.8px"> several efficient ASP solvers have been implemented. However, there</div><div style="font-size:12.8px"> are still significant challenges in applying ASP to real life</div><div style="font-size:12.8px"> applications, and more interest in relating ASP to other computing</div><div style="font-size:12.8px"> paradigms is emerging. This workshop will provide opportunities for</div><div style="font-size:12.8px"> researchers to identify these challenges and to exchange ideas for</div><div style="font-size:12.8px"> overcoming them.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">TOPICS</div><div style="font-size:12.8px"> Topics of interests include (but are not limited to):</div><div style="font-size:12.8px"> - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).</div><div style="font-size:12.8px"> - ASP and constraint programming.</div><div style="font-size:12.8px"> - ASP and other logic programming paradigms, e.g., FO(ID).</div><div style="font-size:12.8px"> - ASP and other nonmonotonic languages, e.g., action languages.</div><div style="font-size:12.8px"> - ASP and external means of computation.</div><div style="font-size:12.8px"> - ASP and probabilistic reasoning.</div><div style="font-size:12.8px"> - ASP and knowledge compilation.</div><div style="font-size:12.8px"> - ASP and machine learning.</div><div style="font-size:12.8px"> - New methods of computing answer sets using algorithms or systems of</div><div style="font-size:12.8px">   other paradigms.</div><div style="font-size:12.8px"> - Language extensions to ASP.</div><div style="font-size:12.8px"> - ASP and multi-agent systems.</div><div style="font-size:12.8px"> - ASP and multi-context systems.</div><div style="font-size:12.8px"> - Modularity and ASP.</div><div style="font-size:12.8px"> - ASP and argumentation.</div><div style="font-size:12.8px"> - Multi-paradigm problem solving involving ASP.</div><div style="font-size:12.8px"> - Evaluation and comparison of ASP to other paradigms.</div><div style="font-size:12.8px"> - ASP and related paradigms in applications.</div><div style="font-size:12.8px"> - Hybridizing ASP with procedural approaches.</div><div style="font-size:12.8px"> - Enhanced grounding or beyond grounding.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">SUBMISSIONS</div><div style="font-size:12.8px"> Papers must describe original research and should not exceed 13 pages in the </div><div style="font-size:12.8px"> Springer LNAI/LNCS format <<a href="https://www.springer.com/gp/authors-editors/" target="_blank">https://www.springer.com/gp/<wbr>authors-editors/</a></div><div style="font-size:12.8px"> conference-proceedings/<wbr>conference-proceedings-<wbr>guidelines> (excluding references).</div><div style="font-size:12.8px"> Paper submission will be handled electronically by means of the Easychair system. </div><div style="font-size:12.8px"> The submission page is available at </div><div style="font-size:12.8px"> <<a href="https://easychair.org/conferences?conf=aspocp2017" target="_blank">https://easychair.org/<wbr>conferences?conf=aspocp2017</a>>. </div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">IMPORTANT DATES (tentative)</div><div style="font-size:12.8px"> Abstract and paper submission deadline:      April 10, 2017</div><div style="font-size:12.8px"> ASPOCP Notification:                         May 1, 2017<br></div><div style="font-size:12.8px"> Camera-ready articles due:                   May 22, 2017</div><div style="font-size:12.8px"> Workshop:                                    July 3, 2017  </div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">PROCEEDINGS</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> Accepted papers will be made available online. At least one author of each </div><div style="font-size:12.8px"> accepted paper needs to register for the workshop. </div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> A selection of extended and revised versions of accepted papers will appear </div><div style="font-size:12.8px"> in a special issue of Annals of Mathematics and Artificial Intelligence</div><div style="font-size:12.8px"> (<a href="http://www.springer.com/computer/ai/journal/10472" target="_blank">http://www.springer.com/<wbr>computer/ai/journal/10472</a>), provided that a sufficient </div><div style="font-size:12.8px"> amount of high quality papers is collected.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"> Such papers will go through a second formal selection process to meet</div><div style="font-size:12.8px"> the high quality standard of the journal.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">LOCATION AND REGISTRATION</div><div style="font-size:12.8px"> The workshop will be held in Espoo, Finland, collocated with</div><div style="font-size:12.8px"> the International Conference on Logic Programming and Nonmonotonic</div><div style="font-size:12.8px"> Reasoning (LPNMR) 2017. Please note that at least one co-author of each </div><div style="font-size:12.8px"> accepted paper will be required to register for the workshop.</div><div style="font-size:12.8px"> </div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">WORKSHOP CO-CHAIRS</div><div style="font-size:12.8px"> Bart Bogaerts, KU Leuven, Belgium  </div><div style="font-size:12.8px"> Amelia Harrison, University of Texas at Austin, USA</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">PROGRAM COMMITTEE (to be completed)</div><div style="font-size:12.8px"> Marcello Balduccini, Drexel University</div><div style="font-size:12.8px"> Bart Bogaerts (chair), KU Leuven</div><div style="font-size:12.8px"> Pedro Cabalar, University of Corunna </div><div style="font-size:12.8px"> Sandeep Chintabathina, Hawaii Pacific University</div><div style="font-size:12.8px"> Stefania Costantini, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica  Univ. dell'Aquila </div><div style="font-size:12.8px"> Marc Denecker, KU Leuven </div><div style="font-size:12.8px"> Marina De Vos, University of Bath</div><div style="font-size:12.8px"> Esra Erdem, Sabanci University </div><div style="font-size:12.8px"> Wolfgang Faber, University of Huddersfield </div><div style="font-size:12.8px"> Cristina Feier, University of Bremen </div><div style="font-size:12.8px"> Johannes Klaus Fichte, Institute of Information Systems  Vienna University of Technology </div><div style="font-size:12.8px"> Enrico Giunchiglia, DIST - Univ. Genova </div><div style="font-size:12.8px"> Amelia Harrison (chair), University of Texas</div><div style="font-size:12.8px"> Daniela Inclezan, Miami University </div><div style="font-size:12.8px"> Tomi Janhunen, Aalto University </div><div style="font-size:12.8px"> Joohyung Lee, Arizona State University</div><div style="font-size:12.8px"> Nicola Leone, Department of Mathematics and Computer Science - University of Calabria </div><div style="font-size:12.8px"> Vladimir Lifschitz, University of Texas </div><div style="font-size:12.8px"> Marco Maratea, DIBRIS University of Genova </div><div style="font-size:12.8px"> Alessandro Mosca, SIRIS Lab - Research division of SIRIS Academic SL </div><div style="font-size:12.8px"> Max Ostrowski, University of Potsdam</div><div style="font-size:12.8px"> David Pearce, Universidad Politecnica de Madrid</div><div style="font-size:12.8px"> Axel Polleres, Vienna University of Economics and Business </div><div style="font-size:12.8px"> Guillermo Simari, Dept. of Computer Science and Engineering  Universidad Nacional del Sur in Bahia Blanca </div><div style="font-size:12.8px"> Mirek Truszczynski, Computer Science Department  University of Kentucky </div><div style="font-size:12.8px"> Richard Watson, Texas Tech University  Department of Computer Science </div><div style="font-size:12.8px"> Stefan Woltran, TU Wien </div><div style="font-size:12.8px"> Jia-Huai You, Department of Computing Science  University of Alberta Edmonton  Alberta  Canada </div></div>