JELIA: European Conference on Logics in Artificial Intelligence

JELIA
European Conference on Logics in Artificial Intelligence

Background

Logics provide a formal basis, and key descriptive notation, for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies and systems today, such logics are increasing important. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with English as official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence.

The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to Artificial Intelligence.

Aims and Scope

The aim of the JELIA cionference series is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems and applications of both a theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among 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:

-- Abductive and inductive reasoning
-- Applications and foundations of logic-based AI systems
-- Automated reasoning and theorem proving
-- Computational complexity and expressiveness in AI
-- Foundations of logic programming and knowledge-based -- systems
-- Hybrid reasoning systems
-- Knowledge representation and reasoning
-- Logic based applications to the Semantic Web
-- Logic based planning and diagnosis
-- Logic programming and nonmonotonic reasoning
-- Logics and multi-agent systems
-- Logics in machine learning
-- Non-classical logics, including modal, temporal, spatial, hybrid and description logics
-- Nonmonotonic reasoning, belief revision and updates
-- Reasoning about actions, causal reasoning and causation
-- Uncertain and probabilistic reasoning


Proceedings are usually published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series. Papers within the proceedings are written in English, and fall into one of two categories: regular papers, containing original research; and (shorter) tool descriptions describing an implemented tool and its novel features.

JELIA Steering Committee


JELIAs so far

Roscoff, France [1988]
Amsterdam, Netherlands [10-14 September, 1990] LNAI 478
Berlin, Germany [7-10 September, 1992] LNAI 633
York, UK [5-8 September, 1994] LNAI 838
Évora, Portugal [30 September - 3 October, 1996] LNAI 1126
Dagstuhl, Germany [12-15 October, 1998]
Màlaga, Spain [29 September - 2 October, 2000]         LNAI 1919
Cosenza, Italy [23-26 September, 2002] LNAI 2424
Lisbon, Portugal [27-30 September, 2004] LNAI 3229
Liverpool, UK [13-15 September, 2006] LNAI 4160


Anyone interested in hosting a future JELIA should get in touch with the steering committee. Decisions about JELIA are ususally made in May of the preceeding year.

Systems

Recent JELIAs have been keen to promote logic-based tools for AI applications, as these are increasingly at the forefront of AI technology. Below we provide links to some of the tools demonstrated at the last two JELIA events.

OPTSAT: A Tool For Solving SAT Related Optimization Problems by Enrico Giunchiglia and Marco Maratea [JELIA'06]

A Tool To Facilitate Agent Deliberation by Daniel Bryant, Paul Krause and Sotiris Moschoyiannis [JELIA'06]

A Slicing Tool For Lazy Functional Logic Programs by Claudio Ochoa, Josep Silva and German Vidal [JELIA'06]

A Logic-Based Tool For Semantic Information Extraction by Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone and Domenico Saccà [JELIA'06]

ccT: A Correspondence-Checking Tool For Logic Programs under the Answer-Set Semantics by Johannes Oetsch, Martina Seidl, Hans Tompits and Stefan Woltran [JELIA'06]

Automated Reasoning About Metric And Topology by Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter and Michael Zakharyaschev [JELIA'06]

The QBFEVAL Web Portal by Massimo Narizzano, Luca Pulina and Armando Tacchella [JELIA'06]

An Implementation of a Lightweight Argumentation Engine for Agent Applications by Daniel Bryant, Paul Krause and Sotiris Moschoyiannis [JELIA'06]

An Implementation For Recognizing Rule Replacements in Non-Ground Answer-Set Programs by Stefan Woltran, Thomas Eiter and Patrick Traxler [JELIA'06]

April - An Inductive Logic Programming System by Nuno Fonseca, Fernando Silva and Rui Camacho [JELIA'06]

tarfa: Tableaux And Resolution For Finite Abduction by Fernando Soler-Toscano and Angel Nepomuceno [JELIA'06]

A Tool For Answering Queries On Action Descriptions by Thomas Eiter, Michael Fink and Jan Senko [JELIA'06]

Abductive Logic Programming with CIFF: System Description by Ulle Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni and Francesca Toni [JELIA'04]

The DALI Logic Programming Agent-Oriented Language by Stefania Costantini and Arianna Tocchio [JELIA'04]

Qsmodels: ASP Planning in Interactive Gaming Environment by Luca Padovani and Alessandro Provetti [JELIA'04]

A system with template answer set programs by Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriano Pietramala and Maria Carmela [JELIA'04]

New DLV Features for Data Integration by Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri and Gerald Pfeifer [JELIA'04]

Profiling Answer Set Programming: The Visualization Component of the noMoRe System by Andreas Bösel, Thomas Linke and Torsten Schaub [JELIA'04]

The PLP System by T. Wakaki, Katsumi Inoue, Chiaki Sakama and K. Nitta [JELIA'04]

The MyYapDB Deductive Database System by Miguel Ferreira and Ricardo Rocha [JELIA'04]

InterProlog: towards a declarative embedding of logic programming in Java by Miguel Calejo [JELIA'04]

IndLog - Induction in Logic by Rui Camacho [JELIA'04]

OLEX - A reasoning-based text classifier by Chiara Cumbo, Salvatore Iiritano and Pasquale [JELIA'04]

Verdi: an Automated Tool for Web Sites Verification by Maria Alpuente, D. Ballis and Moreno Falaschi [JELIA'04]

SATMC: a SAT-based Model Checker for Security Protocols by Alessandro Armando and Luca Compagna [JELIA'04]

tabeql: a tableau based suite for Equilibrium Logic by Agustin Valverde [JELIA'04]

tascpl: TAS solver for Classical Propositional Logic by Manuel Ojeda-Aciego and Agustin Valverde [JELIA'04]

About this document ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.70)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -no_navigation -split 1 -no_subdir -t jelia.html -address M.Fisher@csc.liv.ac.uk jelia

The translation was initiated by Michael Fisher on 2007-03-27

M.Fisher@csc.liv.ac.uk