19.242 call for papers: Answer Set Programming

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty_at_kcl.ac.uk>
Date: Fri, 2 Sep 2005 07:22:18 +0100

               Humanist Discussion Group, Vol. 19, No. 242.
       Centre for Computing in the Humanities, King's College London
                     Submit to: humanist_at_princeton.edu

         Date: Fri, 02 Sep 2005 07:07:26 +0100
         From: Juergen Dix <dix_at_in.tu-clausthal.de>
         Subject: Special Issue on Answer Set Programming (ASP) in
Annals of Mathematics and Artificial Intelligence

Call for Papers:

               Special Issue on Answer Set Programming (ASP)
            in Annals of Mathematics and Artificial Intelligence


* Special Issue Editors:
          Gerhard Brewka (University of Leipzig, Germany)
          Juergen Dix (Clausthal University of Technology, Germany)

* About the Special Issue:
Answer set programming (ASP) is a promising declarative programming
paradigm which has proven to be successful in a variety of areas such as
planning, diagnosis, configuration and space shuttle control. It emerged
from deductive databases as wellas from non-monotonic reasoning.

Answer sets are sets of literals representing intended models of
generalized logic programs with two types of negation. They were
introduced by Gelfond and Lifschitz and generalize stable models to more
expressive logic programs.

The basic idea underlying ASP is to represent a problem in a way such
that answer sets correspond to solutions of the problem.

A Working Group on ASP funded by the EC (http://wasp.unime.it/)
coordinates and represents most of the work on ASP done in Europe.

We invite papers describing original research advancing the state of the
art in ASP. Contributions may range from theoretical foundations (e.g.
language extensions, first order programs) to implementation methods
(e.g. new answer set generation methods, intelligent grounding or
related heuristics) and innovative applications (e.g. information
extraction, agent technology,dynamic systems). In particular
applications showing that ASP scales up or is competing with
special-purpose techniques are welcome.

* Relevant topics include the following (but are not limited to):
          - Foundations of ASP
          - Systems of ASP
          - Algorithms and heuristics
          - Language extensions (aggregates, preferences , etc.)
          - Integrated approaches (description logic, constraints, etc.)
          - ASP methodology (modularization, debugging etc.)
          - Planning in ASP
          - Knowledge representation in ASP
          - Innovative applications (bioinformatics, linguistics, etc.)


Dr Willard McCarty | Reader in Humanities Computing | Centre for
Computing in the Humanities | King's College London | Kay House, 7
Arundel Street | London WC2R 3DX | U.K. | +44 (0)20 7848-2784 fax:
-2980 || willard.mccarty_at_kcl.ac.uk www.kcl.ac.uk/humanities/cch/wlm/
Received on Fri Sep 02 2005 - 02:29:50 EDT

This archive was generated by hypermail 2.2.0 : Fri Sep 02 2005 - 02:29:52 EDT