Call for Papers
======================================================================
CALL FOR PAPERS
ASPOCP 2013
6th
Workshop on Answer Set Programming
and Other Computing
Paradigms
August 25th, 2013
Collocated with the
International Conference on Logic Programming
2013
Istanbul, Turkey
August 24-29, 2013
======================================================================
AIMS AND
SCOPE
Since its introduction
in the late 1980s, 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 method of computing
answer sets using SAT solvers and techniques adapted from
SAT. While this has been the most studied relationship
which is currently extended towards satisfiability modulo
theories (SMT), the relationship of ASP to other computing
paradigms, such as constraint satisfaction, quantified
boolean formulas (QBF), first-order logic (FOL), or FO(ID)
logic 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, FOL theorem
provers, and CLP systems.
Furthermore, the
practical applications of ASP also foster 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),
constraint satisfaction, and general means of external
computation. This workshop willfacilitate the
discussion about crossing the boundaries of current ASP
techniques in theory, solving, and applications, in
combination with or inspired by other computing
paradigms.
TOPICS
Topics of interests
include (but are not limited to):
- ASP and classical
logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint
programming.
- ASP and other logic programming paradigms,
e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g.,
action languages.
- ASP and external means of
computation.
- ASP and probabilistic reasoning.
-
ASP and machine learning.
- New methods of computing answer
sets using algorithms or systems
of other
paradigms.
- Language extensions to ASP.
- ASP and
multi-agent systems.
- ASP and multi-context
systems.
- Modularity and ASP.
- ASP and
argumentation.
- Multi-paradigm problem solving involving
ASP.
- Evaluation and comparison of ASP to other
paradigms.
- ASP and related paradigms in
applications.
- Hybridizing ASP with procedural
approaches.
- Enhanced grounding or beyond
grounding.
SUBMISSIONS
Paper submission will
be handled electronically by means of the
Easychair system.
The submission page is available at
IMPORTANT
DATES
Abstract
submission: June 11,
2013
Paper submission deadline: June 18,
2013
Notification:
July 11, 2013
Camera-ready articles due: July 25,
2013
Workshop:
August 25, 2013
PROCEEDINGS
The workshop
contributions will be published electronically, using
the
Computing Research Repository (CoRR).
LOCATION
The workshop will be
held in Istanbul, Turkey, collocated with
the International
Conference on Logic Programming (ICLP) 2013.
WORKSHOP
CO-CHAIRS
Michael Fink, Vienna
University of Technology, Austria
Yuliya Lierler,
University of Nebraska at Omaha, USA
PROGRAM
COMMITTEE
TBA