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