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
Comitato di Programma:
- Roberto Barbuti, Università di Pisa
- Annalisa Bossi, Università di Padova
- Luigia Carlucci Aiello, Università di Roma
- Philippe Codognet, INRIA – Francia
- Giovanni Criscuolo, Università di Napoli
- Manuel Hermenegildo, Univ. Politecnica Madrid – Spagna
- Pula Inverardi, IEI – CNR – Pisa
- Gaetano Lanzarone, Univasità di Milano
- Alberto Martelli, Università di Torino
- Maurizio Martelli, Università di Genova
- Paola Mello, Università di Bologna
- Corrado Moiso, CSELT – Torino
- Eugenio Omodeo, Università di Udine
- Maria Vittoria Oneto. ELSAG – Genova
- Mario Rodriguez-Artalejo, Univ. Complutense Madrid – Spagna
- Domenico Saccà, Università della Calabria
- Giuseppe Sardu, S & M – Pisa
Comitato Organizzatore
Stefania Biagioni, IEI – CNR – Pisa
Antonio Brogi, Università di Pisa
Amedeo Cappelli, ILC – CNR – Pisa
Moreno Falaschi, Università di Pisa
Fosca Giannotti, CNUCE – CNR – Pisa
Organizzato da
Istituto di Elaborazione della Informazione C.N.R. di Pisa
Con il contributo di
AIS-Artificial Intelligence Software S.p.A.
Amminisinzione Provinciale di Pisa
Azienda Promozione Turistica di Pisa
Banca Popolare di Novara
Cassa di Risparmio di Pisa
Centro Apple Education – Pisa
CNUCE – C.N.R. (Pisa)
Comune di Pisa
Consiglio Nazionale delle Ricerche
Consorzio Pisa Ricerche
Data Management S.p.A.
Delphi S.p.A.
Dipartimento di Informatica. Università di Pisa
Istituto di Linguisuca Compuuzionale – C.N.R. (Pisa)
List S.p.A.
Articoli Accettati
Abduzione e Negazione Intensionale in Programmazione Logica
P. Mancarella, F. Toni, F. Turini
The Completion Approach to Abduction and its Application to Classification in Taxonomic Hierarchies.
L. Console, D. Theseider Dupré
Uso di Conoscenza lessicale e grammaticale per la risoluzione dell’anafora in Italiano
D. Bianchi, P. Frugoni. R. Delmonte
Configurazione di L.A.N.: Uno Strumento Intelligente di Supporto alle Decisioni
F. Medelin, F. Rota, L. Tanca, A. Zarattini
Time Granularity in Logical Specifications
E. Corsetti, A. Mantanari, A. Morzenti, E. Ratto
EPSILON Adaptation on the EDS Machine: Some implementation Issues
N. Leone, L. Palopoli, P. Restuccia, M. Romeo
Una Semantica Composizionnle per Programmi Logici Aperti
A. Bossi, M. Menegus
Fair Computation Rules for Prolog Imerpreters
S. Janot, J.P. Delahaye
On the Signature of Logic Programs
M. Gabbrielli, D. Turi
Notes on Legality Concepts for Login Programs using Three-valued Logic
G. Nota, S. Orefice, G. Pacini, F. Ruggiero, G. Tortora
Equations Sets as a Tool for the Declamtive Semantics of Perpetual Processes
A. Sperduti, X. J. Chen
Une Semantique Denotationelle Simple pour Prolog avec Predicats d’Entrees-Sorties
M. Billaud
Unificafion: Σ-terms or Substitutions?
M. Bellia. M.E. Occhiuto
El indeterminismo en un Lenguaje Logico-Aplicativo
A. Sarmiento
A Prolog Object-Oriented System: an Exercise in Contextual Logic Programming
C. Ruggieri, M. Bugliesi
A Concurrent Object-oriented Logic Language
E. Pimentel, J.M. Troya
{log}: A Language for Programming in Logic with Finite Sets
A. Dovier, E.G. Omodeo, E. Pontelli, G. Rossi
On the Optimization of Metalogic Programs
S. Costantini. G.A. Lanzarone. A. Laudani, A. Zanzi
Meta-programmazione logica in ‘Log
I. Cervesato. G. Rossi
SLDNI-resolulion: a non-flounderìng imerpreter for general programs
A. Di Pierro, M. Martelli, C. Palamidessi
Consistency of Clark’s: Completion and Existence of Stable Models
F. Fages
A Well-founded Semantics for Ordered Logic Programming
N. Leone, G. Rossi
A Parallel Logic Programming Language for Distributed Architectures
A. Brogi, A. Ciampolini, E. Lamma. P. Mello
Constraints for Synchronizing Coarse-grained Sequential Logic Processes
A. Brogi, M. Gabbrielli, G. Levi
VEL: un linguaggio logico a vincoli per l’integrazione di conoscenza simbolica e numerica
C. Moiso e M. Porta
Some Results on the Partial Evaluation of Constraint Login Programs
C. Bendrame, C. Blanco, M. Marré, D. Yankelevich
Correctness and Completeness of Logic Programs under the CLP Scheme
B. Bertolino, P. A. Bonatti, D. Montesi, S.Pelagatti
Using Boolean constraints in Prolog III
J-M Boi, A. Rauzy
The Unfolding Semantics far Constraint Logic Programs
R. Giacobazzi
The abstract domain EXP for groundness, sharing, freeness and Compoundness analysis
A. Cortesi, G. Filé
Proving Universal Termination of a Logic Program
A. Bossi. N. Cocco, M. Fabris
Comprobacion de la integridad en bases de datos deductivas: una aproximacion basada en metaprogramacion
M. Celma, J.C. Casamayor, L. Mota, M.A. Pastor, F. Marquès
Towards a Translation Algorithm from Prolog to the Andorra Kernel Language
F. Bueno, M. Hermenegildo
Modelling Control
R. Barbuti, T. Castagnetti, R. Giacabazzi, G. Levi
Andorra Prolog in FCP(:)
M. Falaschi, Y. Kesten, E. Shapiro
POSTERS
Logic Modelling of VLSI Circuits: the ITALTEL Experience
M. Bombana, P. Cavalloro, U. Pelizzari, G. Zaza
Developmem of Real-time Diagnostic System for Data Acquisition
R. Campanini, I. D’Antone, G. Di Caro, G. Giusti
Un Generatore di codice sorgente per Applicazioni Transazionali su Basi di Dati Realizzato in Prolog
S, Dulli, R. Sprugnoli, L. Veronese
A Friendly Interactive Tutorial of the Warren Abstract Machine
J. Garcia-Martin, J.J. Moreno-Navarro