Bologna 7-9 Giugno 1989 Program chair: Paola Mello (DEIS, Univ di Bologna) Conference Proceedings: http://www.programmazionelogica.it/1989/06/atti-del-quarto-convegno-nazionale-sulla-programmazione-logica-gulp-1989/ Regular papers: Una proposta per l’introduzione di blocchi e moduli nei linguaggi logici L. Giorgano, A. Martelli, G. Rossi Metainterpreti ammissibili R. Barbuti, M. Gabbrielli,…
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)
Int’l Summer School 1988
Advanced School on Foundations of Logic Programming (org: Maurizio Martelli and Roberto Barbuti)
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…
III. GULP (1988), Rome (Italy)
III. GULP (1988)[OPAC], Rome (Italy) GULP 88: Terzo Convegno Nazionale sulla Programmazione Logica Roma, 11-13 maggio 1988, Aula magna dell’università degli Studi di Roma “La Sapienza” Organizzato da Dipartimento di Informatica e Sistemistica dell’Università degli Studi di Roma “La Sapienza”…
GULP Bollettino 3
Ecco la scansione del Bollettino numero 3 con l’articolo “la logica della negazione” di Gabriele Lolli. Attualissimo anche nell’era di ASP e un contributo “del socio” Antonio Vincenzi. PDF del Bollettino 3 (40 pagine)
GULP Bollettino 2
Grazie alla costanza nella catalogazione di materiale scientifico da parte di Eugenio Omodeo siamo riusciti a reperire i primi “Bollettini GULP”. Questa è la scansione del numero 2, con l’editoriale del presidente Giorgio Levi e diversi contributi: BOLLETTINO 2…
II. GULP (1987),Torino (Italy)
II. GULP (1987) [OPAC],Torino (Italy) Secondo Convegno Nazionale sulla Programmazione Logica Torino 13-15 maggio 1987 Sede del convegno: Centro Incontri – Cassa di Risparmio di Torino C.so Stati Uniti, 23 Presidente del Convegno Barbara Demo (Dip. di Informatica – Torino)…
Atti del Secondo Convegno Nazionale sulla Programmazione Logica – GULP 1987
ATTI COMPLETI: GULP 87 pp 0-54 GULP 87 pp 55-112 GULP 87 pp 113-195 GULP 87 pp 197-296
GULP Bollettino 1
Grazie alla costanza nella catalogazione di materiale scientifico di Eugenio Omodeo siamo riusciti a reperire i primi “Bollettini GULP”. Questa è la scansione del numero 1, con l’editoriale del presidente Giorgio Levi: Bollettino 1 in PDF(29 pagine)
Atti del Primo Convegno Nazionale sulla Programmazione Logica – GULP 1986
Sono disponibili gli atti del primo convegno (archivio ZIP, copia su Google Drive). Il GULP ringrazia Giuliana Dettori per aver reperito e scandito il volume. Alleghiamo qui anche lo scan del programma del convegno.
I. GULP (1986), Genova (Italy)
The first GULP annual meeting took place in Genoa in 1986. Genova. March 12-14 1986 Program chair: Giuliana Dettori (IMA CNR, Genova) Conference Proceedings: http://www.programmazionelogica.it/1986/03/primo-convegno-nazionale-sulla-programmazione-logica/ Invited talks: A multiprocessor Prolog architecture C. Percebois (Univ. P. Sabatier, Toulouse, France) Simulation studies…
GULP Bollettino 0
Grazie alla costanza nella catalogazione di materiale scientifico da parte di Eugenio Omodeo siamo riusciti a reperire i primi “Bollettini GULP”. Questa è la scansione del numero 0, con l’editoriale del presidente Giorgio Levi: BOLLETTINO 0 in PDF (13 pagine)