A 25 Year Perspective on Logic Programming
Achievements of the Italian Association for Logic Programming, GULP.
Edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125.
Official Page at Springer:
13222 chapter downloads:
Slides of the Official Presentation at
Rende, July 7th 2010.
Italian news: Comunicato stampa,
(articoletto su Il Gazzettino)
e presentazione a Udine del 24/11/2010.
An official review: "Chapters reviews a logic programming (LP) topic of current interest, and the progress made
during the last 25 years, with special attention given to the accomplishments of Italian
Each chapter offers directions for future research in the given area. The chapters
are well written, and the uniform style is unusual for a book of this kind. This book should be
of interest to seasoned researchers as well as novices. ... list of references at the end of each
chapter should be especially helpful.
(D. Bollman, ACM Computing Reviews, April, 2011)"
- Foreword (by R. Kowalski)
Preface (by A. Dovier and E. Pontelli).
Foreword and preface are
thanks to the courtesy of Springer-Verlag.
- Chapter 1. Gianfranco Rossi.
Logic Programming in Italy:
A Historical Perspective.
- Chapter 2. Annalisa Bossi and Maria Chiara Meo.
Theoretical Foundations and Semantics of Logic Programming
- Chapter 3. Andrea Formisano and E.G. Omodeo.
Theory-Specific Automated Reasoning
- Chapter 4. Marco Gavanelli and Francesca Rossi.
Constraint Logic Programming
- Chapter 5. Laura Giordano and Francesca Toni.
Knowledge representation and non-monotonic reasoning
- Chapter 6.
Alberto Pettorossi and
Maurizio Proietti and Valerio Senni.
The Transformational Approach to Program Development.
- Chapter 7.
Giorgio Delzanno and Roberto Giacobazzi and Francesco Ranzato.
Analysis, Abstract Interpretation, and Verification in (Constraint Logic) Programming
- Chapter 8.
Piero Bonatti and
Francesco Calimeri and
Nicola Leone and
Answer Set Programming.
- Chapter 9. Sergio Greco and Francesca A. Lisi
Logic Programming Languages for Databases and the Web
- Chapter 10. Matteo Baldoni and
Andrea Omicini and
Cristina Baroglio and
Viviana Mascardi and
Agents, Multi-Agent Systems and Declarative Programming:
What, When, Where, Why, Who, How?
- Chapter 11. Maurizio Gabbrielli and Catuscia Palamidessi and Frank Valencia
Concurrent and Reactive Constraint Programming
- Chapter 12. Alberto Momigliano and
Proof-theoretic and Higher-order Extensions of
- Chapter 13. Maria Alpuente and Demis Ballis and
Transformation and debugging of functional
- Chapter 14. Alessandro Dal Palù and Paolo Torroni
25 Years of Applications of Logic Programming in Italy