Convegni

VIII.GULP (1993), Gizzeria (Italy)

Gizzeria, Italy  15-18 June 1993 Program chair: Domenico Saccà Conference proceedings: https://www.programmazionelogica.it/1993/06/atti-dellottavo-convegno-sulla-programmazione-logica-gulp-1993/ Conference program (see also DBLP):  Invited talks V. S. Subrahmanian: Hybrid Knowledge Bases for Intelligent Reasoning Systems. 3-20 Hendrik Decker, Juan Carlos Casamayor: A Prolog-like Paradigm for Reasoning…

VII. GULP (1992), Tremezzo (Italy)

Tremezzo (Lago di Como) 17-19 Giugno 1992 Program Chair: Stefania Costantini Conference Proceedings [OPAC]: https://www.programmazionelogica.it/1992/06/atti-del-settimo-convegno-nazionale-sulla-programmazione-logica/ Accepted Papers: Minimal Negation and Hereditarily Harrop Formulae A. Momigliano Higher Order Datalog F. Arcelli, M. Gaeta, A. Riva Fairness nei linguaggi logici STP M.…

VI. GULP (1991), Pisa (Italy)

VI. GULP (1991), Pisa (Italy) Pisa, 12-14 Giugno 1991 Centro Studi della Cassa di Risparmio di Pisa P.za San Paolo a Ripa d’Arno Conference Proceedings: Atti del Sesto Convegno Nazionale sulla Programmazione Logica – GULP 1991 Organizzatore Patrizia Asirelli IEI-CNR-Pisa…

V. GULP (1990), Padova (Italy)

V. GULP (1990)[OPAC], Padova (Italy) Quinto convegno sulla Programmazione Logica Padova, Italy 6-8 Giugno 1990 Coordinatrice: Annalisa Bossi (Università di Padova) Comitato di Programma: Pier Giorgio Bosco (CSELT, Torino) Alfredo Ferro (Università di Catania) Gilberto Filé (Università di Padova) Giorgio…

IV. GULP (1989),Bologna (Italy)

Bologna 7-9 Giugno 1989 Program chair: Paola Mello (DEIS, Univ di Bologna) Conference Proceedings: https://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,…

III. GULP (1988), Rome (Italy)

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”…

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)…

I. GULP (1986), Genova (Italy)

The first GULP annual meeting took place in Genoa in 1986. Genova. March 12-14 1986 Program chair: Giuliana Dettori (IMA CNR, Genova) Conference Proceedings: https://www.programmazionelogica.it/1986/03/primo-convegno-nazionale-sulla-programmazione-logica/ Invited talks: A multiprocessor Prolog architecture C. Percebois (Univ. P. Sabatier, Toulouse, France) Simulation studies…