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 Levi (Università di Pisa)
Alberto Martelli (Università di Torino)
Maurizio Martelli (Università di Genova)
Paola Mello (Università di Bologna)
Daniele Nardi (Università di Roma)
M. Vittoria Oncto (ELSAG, Genova)
Enrico Pagello (Università di Padova)
Alberto Pettorossi (Università di Roma)
Cristina Ruggicri (D.S. Logics, Bologna)
Maria Simi (Università di Udine)
Silvio Valentini (Università di Milano)

Organizzato dal:
Dipartimento di Matematica Pura ed Applicata – Università di Padova

Comitato organizzatore:
Nicoletta Cocco (Università di Padova)
Susi Dulli (Università di Padova)
Luigi Marcolungo (Università di Padova)
Nino Trainito (LADSEB-CNR, Padova)

Con il Patrocinio di:
Università di Padova Comune di Padova-Settore Spettacolo e Manifestazioni

Con il Contribuito di:
CNR CERVED S.p.A.
ICON s.r.l.
ELSAG S.p.A. Systems & Management S. p. A. AIS-Artificial Intelligente Software S.p.A. Cassa di Risparmio di Padova e Rovigo
Stampa: La Photograph, via del Santo, 48/6, Padova

RELAZIONI INVITATE

  • Completeness Results for SLDNF – K. Kunen
  • Negation-as-Failure and Classical Negation – V. Lifschitz
  • Abstract Interpretation of Logic Programs: the Denotational Approach – K. Marriott, H. Sondergaard

AMBIENTI E STRUMENTI

  • Performance of Logic+Functional Programming on a Distributed Memory Architecture – P .G. Bosco, C. Cecchi, C. Moiso, M. Porta, G. Sofi
  • Verso un Supporto a Tempo di Esecuzione per Linguaggi Logici e Funzionali – M. Gaspari, F. Saracco
  • The Epsilon KBMS: Environment and Applications – P. Coscia, S. Valeri
  • Compilazione ed Esecuzione di un Linguaggio Logico Distribuito – T. Castagnetti, P. Ciancarini, M. Montanari

APPLICAZIONI

  • Comprensione di Descrizioni di Attività Economico-Produttive Espresse in Linguaggio Naturale – M. Fasolo, L. Garbuio, N. Guarino
  • RASP: Resource Allocator for Software Projects – C. Bertazzoni, M. G. Gatti, F. Giannotti
  • Logic Programming and Approximate Reasoning: Fuzzy Tools in Prolog Environments – E. Binaghi, D. Orban, A. Rampini
  • Integrazione di uno Strumento di Inferenza Probabilistica Basato sul Modello di Pearl nell’ Ambiente LEAP – L. De Giovanni
  • Progetto e Sviluppo di ENprover, un Dimostratore Automatico di Teoremi Basato su EN-Strategy – F. Baj, M.P. Bonacina, M. Bruschi, A. Zanzi
  • Logic Programming and Software Development Environments – V. Ambriola, P. Ciancarini
  • Strumenti per lo Studio di Reti di Petri Basati sulla Programmazione Logica – A. Domenici

 

LINGUAGGI

  • LML: a Logic Based Language for Knowledge Manipulation – A. Brogi, P. Mancarella, D. Pedreschi, F. Turini
  • Estensioni di Ordine Superiore a Prolog Sono Necessarie – S. Costantini, P. Dell’ Acqua, G.A. Lanzarone
  • Note sull’ Uso e la Definizione di un Linguaggio per la Programmazione Logica Strutturata – G. Rossi
  • Negazione come Inconsistenza e Meccanismi di Strutturazione Prolog – C. Bassino, C. Charrere, B. Demo

OTTIMIZZAZIONI E TRASFORMAZIONI

  • Abstract Interpretation for Concurrent Logic Languages – C. Codognet, P. Codognet, M. Corsini
  • A Specialization of Bottom-up Abstract Interpretation for Type Inference in Logic Programming – R. Barbuti, R. Giacobazzi
  • Optimizing Fully-Bound DATALOG Queries – N. Leone
  • Deriving Efficient Logic Programs for Unfolding Trees – M. Proietti, A. Pettorossi
  • Fold/Unfold Transformations for Structured Logic Programming – M. Bugliesi, E. Lamma, P. Mello

SEMANTICA

  • SLD-Resolution Completeness without Lifting, without Switching – R. Sigal
  • A Contribution to the Automated Treatment of Menbership Theories – E. Omodeo, F. Parlamento, A. Policriti
  • Global, Local and Weak Graph Properties for Normal Logic Programs – A. Cortesi, G. Filè
  • A Theory for Modeling the Synchronization Mechanisms of Concurrent Logic Languages – C. Palamidessi
  • La Semantica degli Aggiornamenti su Programmi Logici di Horn – L. Palopoli
  • Monotonicity in AE Theories: Preliminary Report – P. A. Bonatti
  • Costruzione di un Modello Minimale per una Procedura di Classificazione Fuzzy – A. O. Arigoni, S. Nobilio