Relatori Invitati



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.