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.

Since its online publication on Jun 30, 2010, there have been a total of 30K chapter downloads

2021 (partial)	2020	2019	2018	2017	2016	2015	2014	2013	2012	2011	2010
3944	5186	5154	838	924	1197	1191	1905	748	1958	3916	2307

Slides of the Official Presentation at CILC 2010, 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 researchers ... 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)"

Book contents

• Foreword (by R. Kowalski)
• Preface (by A. Dovier and E. Pontelli). Foreword and preface are available here thanks to the courtesy of Springer-Verlag.
• Chapter 1. Gianfranco Rossi.
  Logic Programming in Italy: A Historical Perspective. 14 pages
• Chapter 2. Annalisa Bossi and Maria Chiara Meo.
  Theoretical Foundations and Semantics of Logic Programming 22 pages
• Chapter 3. Andrea Formisano and E.G. Omodeo.
  Theory-Specific Automated Reasoning 27 pages
• Chapter 4. Marco Gavanelli and Francesca Rossi.
  Constraint Logic Programming 22 pages
• Chapter 5. Laura Giordano and Francesca Toni.
  Knowledge representation and non-monotonic reasoning 25 pages
• Chapter 6. Alberto Pettorossi and Maurizio Proietti and Valerio Senni.
  The Transformational Approach to Program Development. 25 pages
• Chapter 7. Giorgio Delzanno and Roberto Giacobazzi and Francesco Ranzato.
  Analysis, Abstract Interpretation, and Verification in (Constraint Logic) Programming 23 pages
• Chapter 8. Piero Bonatti and Francesco Calimeri and Nicola Leone and Francesco Ricca.
  Answer Set Programming. 20 pages
• Chapter 9. Sergio Greco and Francesca A. Lisi
  Logic Programming Languages for Databases and the Web 20 pages
• Chapter 10. Matteo Baldoni and Andrea Omicini and Cristina Baroglio and Viviana Mascardi and Paolo Torroni
  Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 26 pages
• Chapter 11. Maurizio Gabbrielli and Catuscia Palamidessi and Frank Valencia
  Concurrent and Reactive Constraint Programming 24 pages
• Chapter 12. Alberto Momigliano and Mario Ornaghi
  Proof-theoretic and Higher-order Extensions of Logic Programming 18 pages
• Chapter 13. Maria Alpuente and Demis Ballis and Moreno Falaschi
  Transformation and debugging of functional logic programs 29 pages
• Chapter 14. Alessandro Dal Palù and Paolo Torroni
  25 Years of Applications of Logic Programming in Italy 29 pages