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:

  1. Minimal Negation and Hereditarily Harrop Formulae
    A. Momigliano
  2. Higher Order Datalog
    F. Arcelli, M. Gaeta, A. Riva
  3. Fairness nei linguaggi logici STP
    M. Gaspari, L. Semini
  4. Transforming Normal Programs by Replacement
    A. Bossi, N. Cocco, S. Etalle
  5. Partial Evaluation of Prolog Programs with Structured Uses of Non-Logical Predicates
    E. Not
  6. Abstract Interpretation of Prolog: the treatments of the built-ins
    A. Cortesi, G. File’
  7. Non Subjects to Occur-check Programs: a Polynomial Test
    J.-L. Bouquard
  8. Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns
    M. Gabbrielli, G. Levi, M.C. Meo
  9. Oracle Semantics for Prolog
    R. Barbuti, M. Codish, R. Giacobazzi, M. Maher
  10. Semantica Dichiarativa di Predicati Meta-Logici in Programmazione Logica
    A. Messora, M. Martelli
  11. An effective Operational Semantics for General Logic Program
    M. Martelli, C. Tricomi
  12. A Note on the Exhaustiveness of SLDNF-Resolution for Normal Programs
    G. De Giacomo
  13. Insiemi di Soluzioni di Programmi Logici
    G. Delzanno, M. Martelli
  14. Advances in KBLab: a laboratory for Rewriting Techniques
    G. Degli Antoni, A. Paccanaro, R. Virga
  15. Linear Time Proofs of Propositional Horn Formulas with Inverse Resolution
    D. Gunetti
  16. Costruzione di Tableaux e Deduzioni Naturali Normalizzate Supportata da Refutazioni Clausali
    F. Buffoli
  17. Interactions Betweel Logic Programming and Other Techniques using Portable AI Lab
    F. Baj, M. Rosner
  18. Negazione Costruttiva e Quantificatione Universale in Programmazione Logica con Vincoli
    F. Levi, P. Mancarella, D. Pedreschi
  19. Algoritmi Basati su Ipergrafi per frammenti di Tipo Datalog in Linguaggi CLP
    L. Equi
  20. Contexts as First-Class Objects: an Implementation Based in the SICStus Prolog System
    E. Denti, A. Natali, A. Omicini
  21. The implementation of an Environment for OLP
    C. Ruggieri, M. Sancassani
  22. A Declarative X-Window interface for Prolog
    F. Russo
  23. Implementation of a Natural Language Parse for Man-Machine Interface
    M.A. Alberti, M. Cristiani
  24. Herramientas Graficas en un Entorno de Prototipado Automatico
    I. Ferrandiz, I. Ramos, J.H. Canos
  25. Conditional Narrowing with Constructive Negation
    M.J. Ramirez, M. Falaschi, G. Levi
  26. Sistema de Modulos para el Lenguajo Declarativo BABEL con Semantica Basada en un Algoritmo de Traduccion
    A.G. Luecas, J.A. Guerrero Abenza
  27. Identificacion de paralelismo en programas Logico-Functionales BABEL
    F. Saenz Perez, J.J. Ruz Ortiz
  28. The law of contracts in Event Calculus
    A. Provetti
  29. Meta-level reasoning – The design of a System to Handle Legal Knowledge Bases
    P. Guidotti, P. Mariani, G. Sardu, D. Triscornia
  30. Semantic Unification in the Interference of Union Types
    P. Missier
  31. Une Extension Declarative des Grammaires de Clauses Definier
    F. Barthelemy
  32. A message-passing Approach for Updating Probabilities with Multiple Evidences in Multiply Connected Bayesan Networks
    P. Cavina, M. Roccetti, A. G. B. Teolis