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)

Comitato di Programma

Luigia Aiello (Dip. Informatica e sistemistica – Roma)
Barbara Demo (Dip. Informatica – Torino)
Giorgio Levi (Dip. Informatica — Pisa)
Annalisa Marcia (Dip. Matematica — Trento)
Alberto Martelli (Dip. Informatica – Torino)
Antonio Natali (DEIS – Bologna)
Eugenio Omodeo (Enidata – Bologna)
Mario Ornaghi (Dip. Informatica – Milano)
Enrico Pagelle (LADSEB, CNR – Padova)
Leonardo Roncarolo (ELSAG – Genova)
Domenico Saccà (CRAI – Cosenza)

Finanziatori del Convegno:

Apple Computer Italia
Dipartimento di Informatica – Univ. Torino
Cassa di Risparmio dì Torino
CSELT Torino
CSI Piemonte
ELSAG Genova
IRST Trento
Unione Industriale Torino
Università di Torino
Olivetti S.p.A.

 

INDICE

Ambienti e strumenti

– Un valutatore parziale per metaprogrammi in un linguaggio logico con
teorie multiple (S.Ghelfo, Enidata – Bologna, G.Levi, Dip. di Informatica
Pisa)

– Metaprogrammi per la specifica di interazioni tra Processi Prolog
(P.Mello, A.Natali, D.E.I.S .— Univ. di Bologna)

Rappresentazione della Conoscenza 1

– HORN: un prototipo di motore inferenziale per implementare sistemi
intelligenti (A.D’Angelo, I.M.I.S., Univ. di Udine)

– Preprocessing flessibile e rappresentazione della conoscenza in Prolog
(L.Console, G.F.Rossi, Dip. di Informatica, Torino)

– Terminological and assertional knowledge within Prolog knowledge
bases: the DRL system (N.Guarino, LADSEB-CNR, Padova) (breve)

– Alcuni problemi di efficienza e di stile nell’implementazione del
forward chaining in PROLOG ( C.Chiopris, TecLogic, Padova)

Altri approcci 1

– Closed worlds assumption, circumscription e non-monotonicità
(A. Vincenzi)

– Higher arity assumption in the intuitionistìc Theory of Types
(A. Bossi, S. Valentini. Ist. di Algebra e Geometria, Padova)

Rappresentazione della conoscenza 2

– Aspetti della determinazione nel processo di comunicazione
(R.Blarbuti,M.Conti, Dip. di Informatica, Pisa; A.Cappelli, L.Moretti,
Istituto di linguistica computazionale CNR Pisa; G. Vezzino)

– Interpretazione logica di una rappresentazione epistemologica
(M.Poesio, CSELT, Torino)

Giochi e didattica

– Un sistema basato su regole per il training professionale in elettronica
(G.Sissa) (breve)

– Verso un sistema autore intelligente. Rappresentazione della conoscenza e
modello studente in un sistema didattico domanda-risposta
(D.Santangelo; DlDA*EL, Milano) (breve)

– META-Chess: a Multigame PROLOG-based environment
(P. Ciancarini, Dip. di Informatica, Pisa) (breve)

– Un progetto per l’insegnamento del Prolog nella scuola italiana
dell’obbligo (G. Casadei, A. Moscianese, Dip. Scienze Statistiche Bologna;
A. Palestri, Ist. Informatica, Ancona) (breve)

Applicazioni

– Sistema esperto per la diagnosi di avarie in un trasmettitore radar
(B. Cardile, F. Turini. Dip. Informatica, Pisa; R. Filippi, SELENIA)
(breve)

– ESTA: un sistema esperto per la verifica di regole di Design for
Testability (P. Gianoglio, Dip Informatica, Torino; R. Gianoglio,
Politecnico di Torino) (breve)

– Parallel parsing in Concurrent Prolog
(G. Giandonato, C.Moiso, CSELT, Torino)

Basi di conoscenza e basi di dati

– Un ambiente avanzato di basi di dati per gestire oggetti attraverso la
programmazione logica (C.De| Gracco, P. Naggar, ENIDATA Roma;
M. Dispinzieri, A. Mecchia, C. Pizzuti, D. Saccà, CRAI Cosenza)

– La Programmazione Logica in Ambienti di Sviluppo Software: un
Data Base di Progetto Logico (P. Asirelli, P. Inverardi, (IEI-CNR, Pisa;
F. Giannini, E. Grifoni)

– Epsilon: architettura di un Knowledge Based Management System object
oriented (P. Coscia, P. Franceschi, M. Modesti, G. Sardu, C. Simonelli,
L. Torre, System 8 Management, Pisa; G. Levi, Dip. Informatica, Pisa)

– PredA: un sistema per l’integrazione trasparente tra Prolog e Database
relazionale (F.Me|e, F. Bonsignori, Ist. Aerodinamica, Napoli) (breve)

Ambienti e strumenti 2

– Partizionamento Dinamico della conoscenza in Prolog: l’approccio LEAP
(P.Benetti, N. Bersia, B. Giannetti. S. Truzzi, CSELT, Torino;
A. Mura, SELENIA, Roma)

– Efficienza di ragionamenti tassonomici ed interpreti Prolog
(G. Montini, CSI-Piemonte, Torino)

– Le idee del progetto Logiform
(N. Ciaramella, SIPE Optimation, Pisa) (breve)

Ambienti e strumenti 3

– Ambienti per la Programmazione Logica: alcune questioni teoriche ed
esperimenti d’implementazione (L. Aiello. C. Cecchi, S. Montesi,
D. Nardi, D. Sanìni, Dip. Informatica e sistemistica, Roma)

– PROSE: un ambiente di programmazione per il Prolog
(G.F. Rossi, A. Martelli, Dip. Informatica, Torino)

Altri approcci 2

– Il sistema logico FOL: basi e possibili sviluppi
(G. Amati, Fondazione Bordoni, Roma)

– Tre possibili orientamenti per una programmazione dichiarativa
basata sulla teoria degli insiemi (A. Bossi Carraro Ist. di Algebra e
Geometria, Padova; E. Omodeo, ENIDATA, Bologna; G. Sambin, Siena)