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