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

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