ASPOCP 2010 Call For Papers

[Paolo Torroni]

===============================================================================

                                CALL FOR PAPERS

                                  ASPOCP 2010

      3rd Workshop on Answer Set Programming and Other Computing Paradigms

                  http://www.dbai.tuwien.ac.at/proj/aspocp10/



     Collocated with the International Conference on Logic Programming 2010

                            Edinburgh (Scotland, U.K)

                               July 16-19, 2010

===============================================================================


AIMS AND SCOPE

  Since its introduction in the 1990s, answer set programming (ASP) has
  been widely applied to various knowledge-intensive tasks and
  combinatorial search problems. ASP was found to be closely related to
  SAT, which has led to a new method of computing answer sets using SAT
  solvers and techniques adapted from SAT. While this has been the most
  studied relationship, the relationship of ASP to other computing
  paradigms, such as constraint satisfaction, quantified Boolean
  formulas (QBF), or first-order logic (FOL) is also the subject of
  active research. New methods of computing answer sets are being
  developed based on the relation between ASP and other paradigms, such
  as the use of pseudo-Boolean solvers, QBF solvers, and FOL theorem
  provers. Furthermore, the practical application of ASP also fosters
  work on multi-paradigm problem-solving, and in particular language
  and solver integration. The most prominent examples in this area
  currently are the integration of ASP with description logics (in the
  realm of the Semantic Web) and constraint satisfaction.  This
  workshop will facilitate the discussion about crossing the boundaries
  of current ASP techniques, in combination with or inspired by other
  computing paradigms.


TOPICS

  Topics of interests include (but are not limited to):

  - Relating ASP to classical logic formalisms (SAT/FOL/QBF/SMT/DL).
  - Relating ASP to constraint programming.
  - Relating ASP to other logic programming paradigms.
  - Relating ASP to other nonmonotonic languages.
  - New methods of computing answer sets using algorithms or systems of
    other paradigms.
  - ASP and probabilistic reasoning.
  - ASP and machine learning.
  - Language extensions to ASP.
  - ASP and argumentation.
  - ASP and multi-agent systems.
  - Multi-paradigm problem solving involving ASP.
  - Evaluation and comparison of ASP to other paradigms.
  - Embedding ASP for challenging applications.
  - Hybridizing ASP with procedural approaches.
  - Enhanced grounding or beyond grounding.


SUBMISSIONS

  Papers must describe original research and should not exceed 15 pages
  in the Springer LNCS format <URL:http://www.springeronline.com/lncs/>.

  Paper submission will be handled electronically by means of the
  Easychair system. The submission page is available at

   http://www.easychair.org/conferences/?conf=aspocp10


IMPORTANT DATES (tentative)

  Submission deadline:        March 26, 2010
  Notification:               April 16, 2010
  Camera-ready articles due:  April 30, 2010
  Workshop:                   July 20, 2010


PROCEEDINGS

  The workshop contributions will be published electronically, using
  the Computing Research Repository (CoRR). Informal proceedings will
  be provided at the workshop.
  Selected papers will also be published in a special edition of
  AI Communications.


LOCATION

  The workshop will be held in Edinburgh (Scotland, U.K), collocated
  with the International Conference on Logic Programming (ICLP) 2010.


WORKSHOP CO-CHAIRS

  Marcello Balduccini   (Kodak Research Labs, USA)
  Stefan Woltran        (Vienna University of Technology, Austria)


PROGRAM COMMITTEE

  Gerhard Brewka        (University of Leipzig, Germany)
  Pedro Cabalar         (Corunna University, Spain)
  Wolfgang Faber        (University of Calabria, Italy)
  Michael Fink          (Vienna University of Technology, Austria)
  Martin Gebser         (University of Potsdam, Germany)
  Joohyung Lee          (Arizona State University, USA)
  Vladimir Lifschitz    (University of Texas at Austin, USA)
  Fangzhen Lin          (Hong Kong University of Science and Technology, 
China)
  Marco Maratea         (University of Genoa, Italy)
  Emilia Oikarinen      (University of Helsinki, Finland)
  Axel Polleres         (DERI, National University of Ireland, Ireland)
  Ashish Sabharwal      (Cornell University, USA)
  Guillermo R. Simari   (Universidad Nacional del Sur, Argentina)
  Paolo Torroni         (University of Bologna, Italy)
  Miroslaw Truszczynski (University of Kentucky, USA)
  Dirk Vermeir          (Vrije Universiteit Brussel, Belgium)
  Jia-Huai You          (University of Alberta, Canada)