2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 |

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)"

- 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