13 (02) 0

Introduction to the Special Issue on the 25th Annual GULP Conference

Wolfgang Faber and Nicola Leone (Univ. of Calabria, RENDE)

Bibtex (Use it for references)

@article{KEYWORD,
journal = {Theory and Practice of Logic Programming},
publisher = {Cambridge University Press},
author = {Wolfgang Faber and Nicola Leone},
title = {{Introduction to the special issue on the 25th annual GULP conference}},
volume = {13},
number = {2},
year = {2013},
pages = {147-148}
}


Content

This special issue of TPLP commemorates the 25th edition of the annual conference organized by GULP (Gruppo ricercatori e Utenti Logic Programming), the Italian group of researchers and users of logic programming. The first event in this series was held at Genoa in 1986, one year after the foundation of the user group, continuing annually ever since. In 1994, the conference joined forces with the Spanish conference PRODE (on Declarative Programming), and in 1996 with the Portuguese APPIA (on Arti cial Intelligence). This collaboration continued until 2003. Starting from 2004 the event became known as CILC (Convegno Italiano di Logica Computazionale, Italian Conference on Computational Logic), thereby broadening its topics to general computational logic, while becoming a national Italian event again. Being one of the oldest and largest national event of its kind, over the years the conference has been an important networking opportunity and catalyst for persons with di erent backgrounds, coming from theory and practice, and from research and industry, for exchanging their visions, achievements and challenges in logic programming. For a more detailed historical account on GULP and its annual conferences, we refer to (Rossi 2010).

The 25th conference, CILC 2010, took place from July 7 through 9 2011 at the University of Calabria, Italy. Apart from 21 regular reviewed contributions (Faber and Leone 2010) the event featured invited talks by Gerhard Friedrich and Gerhard Brewka, a tutorial by Axel Polleres, and a presentation of the book “25 Years of Logic Programming in Italy” (Dovier and Pontelli 2010). The best-rated contributions which are most relevant to the topics of TPLP were invited for this special issues and underwent a thorough reviewing process. The accepted six articles in this issue provide a good overview of the activity and the diversity of the Italian Logic Programming community.

Dovier, Formisano, and Pontelli’s work “Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda” deals with multi-agent systems based on action languages and distributed Constraint Logic Programming. It provides a de nition of an action language framework for multi-agent systems, which allows for distributed planning and consistent global execution. They also describe a prototype implementation using Constraint Logic Programming and Linda.
Fioravanti, Pettorossi, Proietti, and Senni’s article “Generalization Strategies Constraint Logic Programming. It illustrates how to specialize Constraint Logic Programming representations of in nite state systems, and develops generalization strategies to use in this process and provides an experimental evaluation of these
techniques.
Giordano, Martelli, and Theseider Duprè’s contribution “Reasoning about Actions with Temporal Answer Sets” studies Answer Set Programming (ASP) in combination with Dynamic Linear Time Temporal Logic. In particular, it defi nes a temporal extension of Answer Set Programming, provides a reduction of temporal ASP to standard ASP by employing a bounded model checking technique.
Manna, Ricca, and Terracina’s article “Consistent Query Answering via ASP from Diff erent Perspectives: Theory and Practice” deals with consistent query answering in Data Integration using Answer Set Programming. It unifi es several semantics for consistent query answering using an ASP representation, proposes several optimization techniques, describes an implementation using DLVDB, which is evaluated experimentally.
Perri, Ricca, and Sirianni’s work “Parallel Instantiation of ASP Programs: Techniques and Experiments” elaborates on Answer Set Programming systems. In particular, techniques for parallel instantiation of programs are presented, focussing on parallelism for symmetric multiprocessing. It also provides an experimental evaluation of the resulting implementation.Riguzzi and Swift’s contribution “Well-de nedness and efficient inference for probabilistic logic” deals with probabilistic logic programming. It contains a de nition
of a large class of programs for which the distribution semantics is well-de ned and provides a new algorithm for the computation of probabilities for queries. An implementation using XSB is described which is evaluated experimentally.

Concluding, the editors of this special issue would like to thank the referees for their valuable work, and Ilkka Niemela, the editor-in-chief of TPLP, for making this issue possible.

References

Dovier, A. and Pontelli, E., Eds. 2010.  A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science, vol. 6125. Springer.

Faber, W. and Leone, N., Eds. 2010. Proceedings of the 25th Italian Conference on Computational Logic. Number 598. CEUR-WS.

Rossi, G. 2010. Logic programming in italy: A historical perspective. In A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP, A. Dovier and E. Pontelli, Eds. Lecture Notes in Computer Science, vol. 6125. Springer, 1-14.