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, G. Levi - Trattamento efficiente del Cut in un sistema di valutazione parziale
M. Bugliesi, F. Russo - Invenzione dei predicati ausiliari per la trasformazione di programmi logici
A. Pettorossi, M. Proietti - Il completamento di programmi logici di ordine superiore
R. Barbuti, M. Martelli, P. Sidoti - A completeness result for SLDNF resolution
S. Baratella, G. File’ - Verso una teoria del ragionamento diagnostico integrata nella programmazione logica
L. Console, D. Theseider Dupre’ - La compilazione di programmi PARLOG
A. Brogi - Desiderata for Logic Programming with Sets
R. Sigal - Un nucleo per un sistema di deduzione logica per il trattamento di oggetti assiomatizzabili
G. Forcellese, M. Temperini - Chiusura parziale di reti gerarchiche di Horn
A. Benzoni, M. Lenzerini - Azioni e Ragionamento con modelli di processi fisici
S. Bandini, M. Bruschi - Logica senza verita’
C.E. Alchourron, A.A. Martino - Scomposizione sillogistica disgiuntiva
D. Cantone, A. Ferro, E.G. omodeo, A. Policriti - Verso un ambiente di programmazione logica aperto ed estendibile
P. Mello, A. Natali, C. Ruggieri - Realizzazione di un interprete riflessivo per clausole di Horn
G. Casaschi, S. Costantini, G.A. Lanzarone - Explanatione monitoring di programmi logici
U. Manfredi, E. Baraldi - PROXIMA: Un processore CMOS per l’esecuzione compilata di Prolog
P.L. Civera, M. Masera, G.L. Piccinini, M. Zamboni - SVF-LOG: Un’implementazione LISP delle clausole di Horn
M. Buonanno - Un ambiente di programmazione Prolog basato sulla manipolazione della storia del calcolo
G. Cattaneo, V. Loia, M. Quaggetto - Possibilita’ di configurazione in un tracer
M. Canarecci - Un ambiente per la specifica di sistemi in tempo reale basato su un formalismo logico
R. Meda, A. Morzenti, E. Ratto, M. Roncato - Compilazione ed esecuzione efficiente di interrogazioni logiche ricorsive
A. Mecchia, C. Pizzuti, G. Rossi, D. Sacca’Un’esperienza di interfacciamento tra Prolog e OMS e un’estensione di Prolog con i meccanismi di astrazione del MSD
A.M. Cochetti, M.G. gatti - La traduzione di programmi DATALOG con negazione in algebra relazionale
F. Cacace, L. Tanca - Metodi di riscrittura per evitare derivazioni ripetute
B. Demo, G. Marchisio, M.L. Sapino - Un editor intelligente per la costruzione di una base di conoscenza secondo il modello entita’-situaizone
S. Bergamaschi, S. Lodi, C. Sartori - Applicazione di un linguaggio logico parallelo: riconoscimento di oggetti bidimensionali
C. Moiso, M.V. Oneto, M. Porta, G. Sofi - Un modello per la correzione automatica di errori grammaticali e sintattici
F. Antonacci, G. Ferri, M. Russo - Analisi della lingua italiana mediante lexical functional grammars
V. Lombardo, L. Lesmo - Un sistema per l’acquisizione ed il trattamento di conoscenze di tipo giuridico
G. Casadei, M. Chiogna, M. Gambera, A. Palareti