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