<div dir="ltr"><div>Apologies for cross-posting</div><div><br></div>=============================================================================== <br>                                CALL FOR PAPERS                                                                  <br>                                  ASPOCP 2021                             <br>   14th Workshop on Answer Set Programming and Other Computing Paradigms                           <br>                  <a href="https://sites.google.com/view/aspocp2021">https://sites.google.com/view/aspocp2021</a>                <br>             Some day in September 20 - 27, 2021 (ICLP Workshop)<br>                                     <br>                                                                                <br>      Affiliated with 37th International Conference on Logic Programming<br>                        <a href="https://iclp2021.dcc.fc.up.pt">https://iclp2021.dcc.fc.up.pt</a><br>                           September 20 - 27, 2021                               <br>=============================================================================== <br>                                                                                <br>AIMS AND SCOPE                                                                  <br>                                                                                <br> Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to <br> various knowledge-intensive tasks and combinatorial search problems. ASP was found to be<br> closely related to SAT, which led to a new method of computing answer sets using SAT solvers and<br> techniques adapted from SAT. This has been a much studied relationship, and is currently extended<br> towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms,<br> such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming<br> (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new<br> methods of computing answer sets are being developed based on relationships to these formalisms.                        <br>                                                                                <br> Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving, <br> and in particular language and solver integration. The most prominent examples in this area<br> currently are the integration of ASP with description logics (in the realm of the Semantic Web) and<br> constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP)<br> research direction).            <br>                                                                                <br> A large body of general results regarding ASP is available and several efficient ASP solvers have<br> been implemented. However, there are still significant challenges in applying ASP to real life<br> applications, and more interest in relating ASP to other computing paradigms is emerging. This <br> workshop will provide opportunities for researchers to identify these challenges and to exchange<br> ideas for overcoming them.                       <br><br>TOPICS   <br>                                                                       <br> Topics of interests include (but are not limited to):                          <br> - ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).                     <br> - ASP and constraint programming.                                              <br> - ASP and other logic programming paradigms, e.g., FO(ID).                     <br> - ASP and other nonmonotonic languages, e.g., action languages.                <br> - ASP and external means of computation.                                       <br> - ASP and probabilistic reasoning.                                             <br> - ASP and knowledge compilation.                                               <br> - ASP and machine learning.                                                    <br> - New methods of computing answer sets using algorithms or systems of          <br>   other paradigms.                                                             <br> - Language extensions to ASP.                                                  <br> - ASP and multi-agent systems.                                                 <br> - ASP and multi-context systems.                                               <br> - Modularity and ASP.                                                          <br> - ASP and argumentation.                                                       <br> - Multi-paradigm problem solving involving ASP.                                <br> - Evaluation and comparison of ASP to other paradigms.                         <br> - ASP and related paradigms in applications.                                   <br> - Hybridizing ASP with procedural approaches.                                  <br> - Enhanced grounding or beyond grounding.                                      <br>                                                                                <br>                                                                                <br>SUBMISSIONS                                                                        <br><br> The workshop invites two types of submissions:<br>  - original papers describing original research.<br>  - non-original paper already published in formal proceedings or journals.<br> Original papers must not exceed 13 pages (excluding references) and must be formatted using the CEURART style available here.<br><br> Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page.<br> Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: <a href="https://easychair.org/my/conference?conf=aspocp2021">https://easychair.org/my/conference?conf=aspocp2021</a>.<br><br> IMPORTANT DATES<br>  Abstract submission deadline:                              July 1, 2021<br>  Paper submission deadline:                                 July 8, 2021<br>  Notification:                                                          July 31, 2021<br>  Camera-ready articles due:                                 August 10, 2021<br>  Workshop:                                                  Some day in September 20-27, 2021                     <br>                                                                                <br>                                                                                <br>PROCEEDINGS                                                                     <br>                                                                                <br> Authors of all accepted original contributions can opt for publishing their work in formal proceedings. <br> Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published.<br><br> A selection of extended and revised versions of accepted papers will appear in a special issue.<br> Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue.<br>                   <br>                                                                                <br>LOCATION<br><br> Virtual<br>                     <br>                                                                                                                                                            <br>WORKSHOP CO-CHAIRS<br><br> Jessica Zangari, University of Calabria, Italy<br> Markus Hecher, TU Wien, Austria                                                              <br>                              <br></div>