default search action

combined dblp search
author search
venue search
publication search

ask others

25 Years GULP: 2010

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > GULP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/agp/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/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
- view
  authority control:
- export record
  dblp key:
  - conf/agp/Rossi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Rossi10
Gianfranco Rossi:
Logic Programming in Italy: A Historical Perspective. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/agp/BossiM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/BossiM10
Annalisa Bossi, Maria Chiara Meo:
Theoretical Foundations and Semantics of Logic Programming. 15-36
- view
  authority control:
- export record
  dblp key:
  - conf/agp/FormisanoO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/FormisanoO10
Andrea Formisano, Eugenio G. Omodeo:
Theory-Specific Automated Reasoning. 37-63
- view
  authority control:
- export record
  dblp key:
  - conf/agp/GavanelliR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/GavanelliR10
Marco Gavanelli, Francesca Rossi:
Constraint Logic Programming. 64-86
- view
  authority control:
- export record
  dblp key:
  - conf/agp/GiordanoT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/GiordanoT10
Laura Giordano, Francesca Toni:
Knowledge Representation and Non-monotonic Reasoning. 87-111
- view
  authority control:
- export record
  dblp key:
  - conf/agp/PettorossiPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/PettorossiPS10
Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
The Transformational Approach to Program Development. 112-135
- view
  authority control:
- export record
  dblp key:
  - conf/agp/DelzannoGR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/DelzannoGR10
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 136-158
- view
  authority control:
- export record
  dblp key:
  - conf/agp/BonattiCLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/BonattiCLR10
Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Answer Set Programming. 159-182
- view
  authority control:
- export record
  dblp key:
  - conf/agp/GrecoL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/GrecoL10
Sergio Greco, Francesca A. Lisi:
Logic Programming Languages for Databases and the Web. 183-203
- view
  authority control:
- export record
  dblp key:
  - conf/agp/BaldoniBMOT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/BaldoniBMOT10
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
- view
  authority control:
- export record
  dblp key:
  - conf/agp/GabbrielliPV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/GabbrielliPV10
Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia:
Concurrent and Reactive Constraint Programming. 231-253
- view
  authority control:
- export record
  dblp key:
  - conf/agp/MomiglianoO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MomiglianoO10
Alberto Momigliano, Mario Ornaghi:
Proof-Theoretic and Higher-Order Extensions of Logic Programming. 254-270
- view
  authority control:
- export record
  dblp key:
  - conf/agp/AlpuenteBF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/AlpuenteBF10
María Alpuente, Demis Ballis, Moreno Falaschi:
Transformation and Debugging of Functional Logic Programs. 271-299
- view
  authority control:
- export record
  dblp key:
  - conf/agp/PaluT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/PaluT10
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.