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”
• CRAI – Consorzio per la Ricerca e le Applicazioni di Informatica

Organizzatore

• Daniele Nardi
  Dipartimento di Informatica e Sistemistica dell’Università degli Studi di Roma “La Sapienza”

Comitato di Programma

• Annalisa Bossi Università di Padova
• Barbara Demo Università di Torino
• Maurizio Lenzerini Università di Roma “La Sapienza”
• Maurizio Martelli CNUCE – Pisa
• Eugenio Omodeo Enidata – Bologna
• Mario Ornaghi Univeristà di Milano
• Renato Petrioli FUB – Roma
• Leonardo Roncarolo ELSAG – Genova
• Domenico Saccà Università della Calabria – Cosenza
• Giovanni Sambin università di Siena

Responsabile Organizzativo

• Gaetano Santucci CRAI

Sponsor

• CNR
• Database informatica
• Digital
• Elsag
• Enidata
• Fondazione Ugo Bordoni
• IBM Italia
• Sarin
• Siemens Data
• Università di Roma “La Sapienza”

Articoli accettati

• Rilassamento in reti di vincoli e metaprogrammazione logica
  F. Rossi, U. Montanari
• Temporal Reasoning in a Hibryd System
  M. Poesio
• Logiche non monotone su base intuizionista
  G. Fischer Servi
• Strutture di simulazione come ambiente semantico per un calcolo classico
  A. Carbone
• Alcune osservazioni matematiche sulla metateoria del PROLOG
  A. Vincenzi
• Un metodo per la specializzazione di programmi logici
  A. Bossi, N. Cocco, S. Dulli
• Optimization of Logic Programs Execution Based on their Static Analysis
  G. Codognet, M. M. Corsini, G. Filè
• Alcune considerazioni sulla integrazione tra livello oggetto e meta
  nel linguaggio logico MI_Prolog
  L. Giordano, A. Martelli, I. Murgia, G. F. Rossi
• Correttezza e completezza della valutazione parziale di programmi logici
  L. Fanti, G. Levi, S. Zanobetti
• Un’estensione dell’interprete PROLOG con modularità e concorrenza
  P. Mello, A. Natali, A. Rossolini, F. Russo
• Un linguaggio OR-parallelo per una classe di applicazioni di 1A
  G. Giandonato, G. Sofi
• The Concept of Exception Handling in VIP Prolog
  S. Dulli, E. Kuhn
• Applicazioni di un linguaggio logico+funzionale di ordine superiore
  P.G. Bosco, C. Cecchi, C. Moiso
• Un sistema esperto con architettura a blackboard per la fusione dati
  A. Brogi, R. Filippi, M. Gaspari, F. Turini
• Blackshell: una shell a a blackboard in PROLOG
  A. Brogi, M. Gaspari
• Un valutatore parziale per per l’ottimizzazione del sistema esperto ADES
  M. Cavalieri, R. Cremonini, E. Lamma, P. Mello
• Il PROLOG in ambiente di progettazione grafica
  V. Milanese
• L’uso della storia in un sistema per il controllo di accessi e versioni
  A. Huber Bachrich, D. Nardi
• Metodi di riscrittura di clausole di Horn per la valutazione di predicati ricorsivi
  M. L. Sapino
• Un linguaggio orientato ad oggetti basato sulla programmazione logica
  S. Greco, P. Rullo
• LOAR: un sistema di interrogazione logico—algebrico
  M. A. Dispinzeri, L. Palopoli, C. Pizzuti
• Ottimizzazione della memoria per query non ricorsive
  G. Di Battista, A. Marchetti Spaccamela
• Programmazione in logica della legge sull’IVA
  R. Bertocchi, F. Frattini, G. A. Lanzarone, A. Maglia
• Uso di linguaggi formali per la rappresentazione di testi normativi: il progetto PROLEG (PROlog applicato alle LEGgi)
  M. Andretta, M. G. Losano, M. Luganesi, N. Nannini, F. Zambon
• Bypasses fra contesti FOL
  F. Collovà, G. Criscuolo, G. Minicone, E. Minicozzi, A. Russo
• Un’architettura riflessiva per i linguaggi logici
  S. Costantini, G.A. Lanzarone
• Formalizzazione di un caso di ragionamento qualitativo utilizzando insiemi di contesti
  L. Palomba
• Un approccio PROLOG alla fisica naive: l’esempio dei processi qualitativi
  S. Bandini, M. Bruschi, M. G. Filippini, A. Molesini
• Metodi bayesiani per i1 trattamento dell’incertezza in problemi di decisione: un’applicazione antropologica
  M. Chiogna, M. Gambera, A. Palareti
• Un formalismo logico per la rappresentazione della semantica del linguaggio naturale
  P. Terenziani, L. Lesmo, P. Torasso
• Metodologie di rappresentazione e di controllo per un sistema di comprensione dei testi
  F. Antonacci, M. Russo, P. Velardi., M.T. Pazienza
• Interpretazione dell’italiano in termini di Logic Programming
  G. Dondossola, G. Ferrari

Poster

• Sistema esperto per la formazione di un orario scolastico
  C. Bonino, C. Gallo, T. Gardois
• Ambiente di insegnamento della fisica utilizzando tecniche di intelligenza artificiale
  P. Davitti
• C.R.E.S. (Credit Granting Expert System), sistema esperto per la consulenza al credito
  F. Mariani, F. Pianesi, C. Croda, G. Valeriani
• Un formalismo logico per la rappresentazione di conoscenze temporali
  A. Navalesi
• Comprensione di Testi
  F. Antonacci, M. Russo, P. Velmardi, M. T. Pazienza