Pubblicazioni

Atti del Terzo Convegno Nazionale sulla Programmazione Logica – GULP 1988

AttiTerzoConvegno_Pag1

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…

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…

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)

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)