Logic List Mailing Archive

JELIA 2008 (11th European Conference on Logics in Artificial Intelligence), Dresden (Germany), 28 Sep - 1 Oct 2008

JELIA 2008 - 11th European Conference on Logics in Artificial Intelligence
September 28 to October 1, 2008,  Dresden, Germany
Call for Papers

The JELIA conference series is the main European forum devoted to
logics in Artificial Intelligence (AI). As the latest edition of this
biannual series, JELIA 2008 aims at bringing together researchers
interested in all aspects of logics in AI, including their theory,
applications of both theoretical and practical nature, and systems. As
its predecessors, JELIA 2008 strives to foster links and facilitate
cross-fertilisation of ideas between researchers from various
disciplines, between researchers from academia and industry, and
between theoreticians and practitioners.

Authors are invited to submit papers presenting original and
unpublished research in all areas related to the use of Logics in AI. A
non-exhaustive list of topics of interest includes:

     * Reasoning including deduction, abduction and induction
     * Non-monotonic, uncertain, probabilistic reasoning
     * Reasoning about situations, actions, and causality
     * Belief change, including revision, update, and merging
     * Knowledge representation and reasoning
     * Classical as well as non-classical logics, including modal, temporal, and spatial logics
     * Fuzzy logic
     * Description logics
     * Logic-based ontology languages
     * Theorem proving
     * Logic and Constraint Programming
     * Answer Set Programming
     * Computational complexity and expressiveness of logic-based systems
     * Logic-based applications to the Semantic Web
     * Logic-based planning and diagnosis
     * Logics and multi-agent systems
     * Logics in machine learning
     * Other applications of logic


Important Dates

Deadline for submission:  2nd June 2008
Notification of acceptance:  7th July 2008
Deadline for final copy:  20th July 2008

Paper Submission

We welcome and encourage the submission of high quality, original
papers, which are not simultaneously submitted for publication
elsewhere. Proceedings will be published by Springer-Verlag in the
Lecture Notes on Artificial Intelligence series. Papers must be written
in English, formatted according to the Springer LNCS style, not exceed
13 pages including figures, references, etc. and should contain
original research in sufficient detail to assess the merits and
relevance of the contribution. Please note that we will need the LaTeX
source files of all accepted papers.

Further information about JELIA 2008 is available at www.jelia.eu.