The first GULP book. 1985-1995 Ten Years of Logic Programming in Italy. Maria Sessa ed. Link alla pagina web dell’editore.
GULP Book: 1985-1995 Ten Years of Logic Programming in Italy
Pubblicazioni
Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1995
Table of contents can be retrieved from DBLP LINK The proceedings in pdf, split in files of at most 7MB are the following: 1995-Gulp-Prode-VIETRI-01-p001-p057 1995-Gulp-Prode-VIETRI-02-p058-p115 1995-Gulp-Prode-VIETRI-03-p116-p169 1995-Gulp-Prode-VIETRI-04-p170-p239 1995-Gulp-Prode-VIETRI-05-p240-p301 1995-Gulp-Prode-VIETRI-06-p302-p359 1995-Gulp-Prode-VIETRI-07-p360-p427 1995-Gulp-Prode-VIETRI-08-p428-p499 1995-Gulp-Prode-VIETRI-09-p500-p565 1995-Gulp-Prode-VIETRI-10-p566-p619 1995-Gulp-Prode-VIETRI-11-p620-p654
Proceedings Joint Conference on Declarative Programming – GULP-PRODE 1994
Table of contents from DBLP (Volume 1) and (Volume 2) Volume 1 GP1994-I-000-031 GP1994-I-032-061 GP1994-I-062-091 GP1994-I-092-125 GP1994-I-126-155 GP1994-I-156-187 GP1994-I-188-217 GP1994-I-218-251 GP1994-I-252-279 GP1994-I-280-325 GP1994-I-326-371 GP1994-I-372-402 GP1994-I-403-433 GP1994-I-434-480 Volume 2 GP1994-II-1-31 GP1994-II-32-59 GP1994-II-60-87 GP1994-II-88-117 GP1994-II-118-145 GP1994-II-146-175 GP1994-II-176-206 GP1994-II-206-237 GP1994-II-238-267 GP1994-II-268-281 GP1994-II-282-301 GP1994-II-308-335…
Atti dell’Ottavo Convegno sulla Programmazione Logica – GULP 1993
Editor: Domenico Saccà Atti del convegno, divisi in files da meno di 16MB GULP1993-1-167 GULP1993-168-311 GULP1993-312-443 GULP1993-444-577 GULP1993-578-673
Atti del Settimo Convegno sulla Programmazione Logica – GULP 1992
Gli atti, divisi in files da meno di 14MB sono i seguenti: GULP1992-0-253 GULP1992-254-516
Atti del Sesto Convegno Nazionale sulla Programmazione Logica – GULP 1991
Atti del Sesto Convegno Nazionale sulla Programmazione Logica – GULP 1991. Diviso in pdfs (searchable) di circa 8-18 MB l’uno. GULP1991:000_077 GULP1991:078_160 GULP1991:161_255 GULP1991:256_307 GULP1991:307_361 GULP1991:362_437 GULP1991:438_503 GULP1991:504_549
Atti del Quinto Convegno Nazionale sulla Programmazione Logica – GULP 1990
Atti del Quinto Convegno Nazionale sulla Programmazione Logica – GULP 1990. Introduzione Atti completi (suddivisi per pagine) 1990_000_049 1990_050_101 1990_102_155 1990_156_205 1990_206_259 1990_260_311 1990_312_365 1990_366_427
Atti del Quarto Convegno Nazionale sulla Programmazione Logica – GULP 1989
Atti del Quarto Convegno Nazionale sulla Programmazione Logica – GULP 1989. Copertina ed indice. Articoli (PDF, copia su Google Drive).
GULP Bollettino 4
Ecco la scansione del Bollettino numero 4, l’ultimo noto agli attuali “uffici”, riportante un resoconto del convegno del 1988 e della scuola di Alghero. PDF del Bollettino 4 (41 pagine)
Atti del Terzo Convegno Nazionale sulla Programmazione Logica – GULP 1988
Elenco dei lavori e PDF Rilassamento in reti di vincoli e metaprogrammazione logica. Francesca Rossi e Ugo Montanari. 1988-pp013-030 Temporal Reasoning in a Hybrid System. M. Poesio 1988-pp031-047 LOGICHE NON :MONOTONE SU BASE INTUIZIONISTA Gisèle Fischer Servi 1988-pp049-064 STRUTTURE DI SIMULAZIONE COME AMBIENTE SEMANTICO PER UN CALCOLO…