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

Slides of the Official Presentation at CILC 2010, Rende, July 7th 2010.

Comunicato stampa, (articoletto su Il Gazzettino) e presentazione a Udine del 24/11/2010.

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

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

Slides of the Official Presentation at CILC 2010, Rende, July 7th 2010.

Comunicato stampa

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