Atti del Terzo Convegno Nazionale sulla Programmazione Logica – GULP 1988

AttiTerzoConvegno_Pag1AttiTerzoConvegno_Pag2AttiTerzoConvegno_Pag3AttiTerzoConvegno_Pag4AttiTerzoConvegno_Pag5AttiTerzoConvegno_Pag6AttiTerzoConvegno_Pag7

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 CLASSICO Alessandra Carbone 1988-pp065-077
  • Alcune osservazioni matematiche sulla metateoria del PROLOG  Antonio Vincenzi 1988-pp079-095
  • Un metodo per la specializzazione di programmi logici A. Bossi, N. Cocco. S. Dulli 1988-pp097-114
  • Optimization of logic programs execution based on their static analysis. C. Codognet, MM Corsini, G. Filè. 1988-pp115-129
  • ALCUNE CONSIDERAZIONI SULLA INTEGRAZIONE TRA LIVELLO OGGETTO E META NEL LINGUAGGIO LOGICO MI_PROLOG. L.Giordano, A.Martelli, I.Murgia, G.F.Rossi. 1988-pp131-148
  • Correttezza e Completezza della Valutazione Parziale di Programmi Logici Laura Fanti, Giorgio Levi, e Sandra Zanobetti. 1988-pp149-166
  • UN’ESTENSIONE DELL’INTERPRETE PROLOG CON MODULARITA’ E CONCORRENZA. Paola Mello, Antonio Natali, Aurelio Rossolini, Francesco Russo. 1988-pp167-180
  • Un Linguaggio Logico OR-Parallelo per una Classe di Applicazioni di IA G. Giandonato, G. Sofi 1988-pp181-193
  • THE CONCEPT OF EXCEPTION HANDLING IN VIP PROLOG Susi Dulli, Eva Kilhn 1988-pp195-206
  • Applicazioni di un Linguaggio Logico·+ Funzionale di Ordine Superiore P.G. Bosco, C. Cecchi, C. Moiso 1988-pp207-224
  • Un sistema esperto con architettura a blackboard per la fusione dati Antonio Brogi, Riccardo Filippi,Mauro Gaspari,Franco Turini 1988-pp225-233
  • Blackshell: una shell a blackboard in Prolog Antonio Brogi, Mauro Gaspari 1988-pp235-248
  • UN VALUTATORE PARZIALE PER L’OTTIMIZZAZIONE DEL SISTEMA ESPERTO ADES Marco Cavalieri, Roberto Cremonini, Evelina Larnrna, Paola Mello 1988-pp249-266
  • IL PROLOG IN AMBIENTI DI PROGETTAZIONE GRAFICA Vitaliano Milanese 1988-pp267-282
  • L’uso della storia in un Sistema per il Controllo di Accessi e Versioni Alessandro Huber-Bachrich, Daniele Nardi 1988-pp283-299
  • METODI DI RISCRITTURA DI CLAUSOLE DI HORN PER LA VALUTAZIONE DI PREDICA TI RICORSIVI Maria Luisa Sapino 1988-pp301-317
  • Un Linguaggio Orientato ad Oggetti Basato sulla Programmazione Logica Sergio Greco e Pasquale Rullo 1988-pp319-328
  • LOAR : un sistema di interrogazione logico-algebrico M. A. Dispinzeri 1988-pp329-339
  • Ottimizzazione della Memoria per Query non Ricorsive Giuseppe Di Battista e Alberto Marchetti-Spaccamela 1988-pp341-353
  • PROGRAMMAZIONE IN LOGICA DELLA LEGGE SULL’IVA R BertocchJ, F. Frattmì, G. A Lanzarone, A Maglia 1988-pp355-371
  • USO DI LINGUAGGI FORMALI PER LA RAPPRESENTAZIONE DI TESTI NORMATIVI: IL PROGETTO PROLEG
    (PROlog applicato alle LEGgi) M.Andretta, M.Lugaresi, F.Zambon, M. G. Losano, N. Nannini 1988-pp373-386
  • Bypasses fra contesti FOL Francesco Collovà, Giovanni Criscuolo, Giancarlo Minicone, Eliana Minicozzi, Adolfo Russo 1988-pp387-401
  • Un’ architettura riflessiva per i linguaggi logici Stefania Costantini Gaetano Aurelio Lanzarone 1988-pp403-417
  • Formalizzazione di un caso di ragionamento qualitativo utilizzando insiemi di contesti Livio Palomba 1988-pp419-432
  • UN APPROCCIO PROLOG ALLA FISICA NAIVE: L’ESEMPIO DEI PROCESSI QUALITATIVI. S. Bandini, M. Bruschi, M. G. Filippini, A. Molesini. 1988-pp433-445
  • Metodi bayesiani per il trattamento dell’incertezza in problemi di decisione: un’applicazione antropologica
    Monica Chiogna, Mario Gambera, Aldopaolo Palareti 1988-pp447-458
  • UN FORMALISMO LOGICO PER LA RAPPRESENTAZIONE DELLA SEMANTICA DEL LINGUAGGIO NATURALE
    P. Terenziani, L. Lesmo, P. Torasso 1988-pp459-473
  • METODOLOGIE DI RAPPRESENTAZIONE E DI CONTROLLO PER UN SISTEMA DI COMPRENSIONE DEI TESTI Francesco Antonacci, Marina Russo, Paola Velardi, Maria Teresa Pazienza   1988-pp475-492
  • INTERPRETAZIONE DELL’ITALIANO IN TERMINI DI LOGIC PROGRAMMING Giovanna Dondossola, Giacomo Ferrari. 1988-pp493-509
  • Sistema esperto per la formazione di un orario scolastico Bonino Cristina, Gallo Celeste, Gardois Tiziana 1988-pp511-515