default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25 Years GULP: 2010
- Agostino Dovier, Enrico Pontelli
:
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science 6125, Springer 2010, ISBN 978-3-642-14308-3 - Gianfranco Rossi:
Logic Programming in Italy: A Historical Perspective. 1-14 - Annalisa Bossi, Maria Chiara Meo:
Theoretical Foundations and Semantics of Logic Programming. 15-36 - Andrea Formisano, Eugenio G. Omodeo:
Theory-Specific Automated Reasoning. 37-63 - Marco Gavanelli, Francesca Rossi:
Constraint Logic Programming. 64-86 - Laura Giordano, Francesca Toni:
Knowledge Representation and Non-monotonic Reasoning. 87-111 - Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
The Transformational Approach to Program Development. 112-135 - Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 136-158 - Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Answer Set Programming. 159-182 - Sergio Greco, Francesca A. Lisi:
Logic Programming Languages for Databases and the Web. 183-203 - Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni:
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? 204-230 - Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia:
Concurrent and Reactive Constraint Programming. 231-253 - Alberto Momigliano, Mario Ornaghi:
Proof-Theoretic and Higher-Order Extensions of Logic Programming. 254-270 - María Alpuente, Demis Ballis, Moreno Falaschi:
Transformation and Debugging of Functional Logic Programs. 271-299 - Alessandro Dal Palù, Paolo Torroni:
25 Years of Applications of Logic Programming in Italy. 300-328
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-27 02:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
