===============================================================================
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 led to a new method of computing answer sets
using SAT solvers and
techniques
adapted from SAT. This has been a much studied
relationship, and is currently extended
towards satisfiability
modulo theories (SMT). The relationship of ASP to
other computing
paradigms,
such as
constraint satisfaction, quantified Boolean formulas
(QBF), Constraint Logic Programming
(CLP), first-order logic
(FOL), and FO(ID) is also the subject of active research.
Consequently, new
methods of
computing answer sets are being developed based
on relationships to these formalisms.
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) and
constraint
satisfaction (which recently led to the Constraint
Answer Set Programming (CASP)
research
direction).
A
large body of general results regarding ASP is available
and several
efficient ASP solvers have
been
implemented. However, there are still
significant challenges in applying ASP to real life
applications,
and more interest in relating ASP to other computing paradigms is
emerging. This
workshop will
provide opportunities for researchers to
identify these challenges and to exchange
ideas for overcoming them.
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 knowledge compilation.
-
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
The
workshop invites two types of submissions:
- papers
describing original research,
- non-original papers already published in
formal proceedings or journals.
Original
papers must not exceed 13 pages (excluding
references) and must be formatted using the
Springer LNCS style available here.
Authors
are requested to clearly specify whether their
submission is original or not with a
footnote on the first page.
Authors
are invited to submit their manuscripts in PDF
via the EasyChair system at the link:
https://easychair.org/conferences/?conf=aspocp2020.
IMPORTANT DATES
All dates are 'Anywhere on Earth',
namely 23:59 UTC-12
Abstract submission
deadline: July
11, 2020 (extended)
Paper submission deadline:
July
13, 2020 (extended)
Notification:
July
30,
2020 (extended)
Camera-ready articles due:
September
2, 2020 (extended)
Workshop:
September 17 or 18, 2020
PROCEEDINGS
Authors
of all accepted original contributions can opt for to
publish their work on formal proceedings.
Accepted
non-original contributions will be given visibility on
the conference web site including a link to the
original publication, if already published.
A selection of extended and revised versions of
accepted papers will appear in a special issue. We are
currently negotiating with potential journals.
Such
papers will go through a second formal selection process
to meet the
high quality standard of the journal.
Extended
versions of
accepted non-original contributions, if not published
in a journal yet, might be included in the issue.
LOCATION
University of Calabria, Rende, CS,
Italy
WORKSHOP
CO-CHAIRS
Jessica
Zangari, University
of Calabria, Italy
Markus
Hecher, TU Wien, Austria
PROGRAM
COMMITTEE