Web Page: XXIII. V CILC (2008)

Program chairs: Andrea Formisano

CILC 2008 Proceedings: available for download (PDF)

Special Issue containing selected, revised papers published as Volume 96 Number 3/2009 of Fundamenta Informaticae. Guest Editors Andrea Formisano and Alberto Pettorossi. OFFICIAL LINK

Wolfgang Faber,  Università della Calabria, Italia.

 
Aggregates in Answer Set Programming

The addition of aggregates has been one of the most relevant
enhancements of the language of answer set programming (ASP),
strengthening the modelling power of ASP in terms of natural and concise
problem representations. While in traditional database systems these
constructs have a long tradition and are nowadays taken for granted,
they are a comparatively recent addition to ASP. One of the reasons is
that because of the possibility of recursive definitions, the intended
semantics is not always straightforward to understand, let alone to
define. Previous semantic definitions typically agree in the case of
nonrecursive aggregates, but subtly vary for aggregates involved in
recursion. In this talk, we provide an overview of this field and
discuss various semantic and computational properties.

Carla Piazza,  Università di Udine, Italia.

 
Systems Biology: Models and Logics (PDF)

The field of system biology focuses on creating a finely detailed
picture of biological mechanisms. Recently, the need has arisen for more
and more sophisticated and mathematically well founded computational
tools capable of analyzing the models that are and will be at the core
of system biology. Such computational models should be implemented in
software packages faithfully while exploiting the potential trade-offs
among usability, accuracy, and scalability dealing with large amounts of
data. The aim of this talk is that of introducing some emerging problems
and proposed solutions in this context.

Enrico Pontelli,  New Mexico State University, USA.

 
Parallel Execution of Logic Programs: Back to the Future

Since its inception, logic programming has offered the
promise of transparent and automated exploitation of
parallelism. This promise is now matched by the reality
of ubiquitous availability of parallel hardware, ranging
from large scale Beowulf clusters to extremly fine-grained
multi-threaded engines (as found in modern graphic cards).
In this presentation, we will review the main results
produced by 20+ years of research in the field of parallel
execution of logic programs. We will highlight the state
of the art, the lessons learned, and the mistakes made. We
will conclude with the identification of focus areas of
research and current new directions being explored.