VIII.GULP (1993), Gizzeria (Italy)

Gizzeria, Italy  15-18 June 1993

Program chair: Domenico Saccà

Conference proceedings: http://www.programmazionelogica.it/1993/06/atti-dellottavo-convegno-sulla-programmazione-logica-gulp-1993/

Conference program (see also DBLP): 

Invited talks

  • V. S. Subrahmanian: Hybrid Knowledge Bases for Intelligent Reasoning Systems. 3-20
  • Hendrik Decker, Juan Carlos Casamayor: A Prolog-like Paradigm for Reasoning in First-Order Theories. 217-236
  • Serge Abiteboul, Victor Vianu: Expressive Power of Query Languages. 441-468

Regular papers

  • R. di Meglio, V. Sassone: A Unification-Free Introduction to Logic Programming. 21-38
  • Alessio Guglielmi, Giorgio Levi: Chemical Logic Programming? 39-54
    Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? 55-70
  • Agostino Dovier, Gianfranco Rossi: Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. 71-86
    Nicola Leone, Pasquale Rullo: Adding Set Terms to Ordered Logic Programs. 87-100
  • Roberto Giaccio, Maurizio Talamo: A General Framework to Deal with Sets of One-Dimensional Intervals. 101-110
  • Marc-Michel Corsini, Antoine Rauzy: CLP(B): Do it Yourself. 111-125
  • María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal: Using Narrowing Approximations to Optimize Equational Logic Programs. 127-142
  • J. Piris, María José Ramírez: An Implementation of Equational Constructive Negation. 143-156
  • Giovanna M. Dore, Philippe Codognet: A Prototype Compiler for Prolog with Boolean Constraints. 157-172
  • Paul Tarau: Language Issues and Programming Techniques in BinProlog. 173-188
  • A. Chiarelli, V. Mazzotta, Chiara Renso: A WAM Estesa per la Composizione di Programi Logici. 189-202
  • Iliano Cervesato, Gianfranco Rossi: A WAM Implementation for the Logic Meta Programming Language ‘Log. 203-214
  • María-del-Mar Gallardo, José M. Troya: Parlog Programs Nontermination Analysis. 237-250
  • Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi: Abstract Interpretation of Concurrent Languages based on Linear Logic. 267-284
  • D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone: Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. 285-300
  • Bruno Bertolino, M. Mowbray: A Completeness Result for SLDNF-Resolution. 301-308
  • Alessandra Di Pierro: Amalgamating NAF with NAI. 309-324
  • Gilberto Filé, Sabina Rossi: Static Analysis of Prolog with Cut. 325-340
  • Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi: La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. 341-358
  • Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo: Intensional Negation in Constraint Logic Programs. 359-374
  • Alberto Bottoni, Giorgio Levi: Computing in the Completion. 375-392
  • Francesco Bergadano, Daniele Gunetti: Logic Programming by Examples. 393-405
  • L. Chittaro, Angelo Montanari: Reasoning about discrete processes in a logic programming framework. 407-422
  • Giovanni Sartor: Defeasible Arguments in a Logic Programming Model. 423-440
  • Francesco Scarcello: Calcolo del Modello Well-Founded di Programmi Datalog. 469-484
  • Salvador Villena, Emilia Ruiz, Cecilia Delgado, Buenaventura Clares Rodríguez: Deduccion del Conjunto de Condiciones Independiente de la Transaccion que Violan las Restricciones de Integridad de una Base de datos Deductiva. 485-500
  • Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi: Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). 501-518
  • Kees Schuerman, André Véron: Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS. 519-534
  • Antonio Natali, Andrea Omicini, Francesco Zanichelli: Exploiting Logic Programming in Robot Applications. 535-548
  • F. Levi, C. Menchini: Abductive Proof Procedures for Fault Diagnosis. 549-568
  • Juan Carlos González Moreno: A Correctness Proof for Warren’s HO into FO Translation. 569-584
  • A. Domenici: Gondor: Godel on Andorra. 585-600
  • Maurizio Proietti, Alberto Pettorossi: Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. 601-616
  • Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. 617-632
  • Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: An Operational Semantics for CHIP. 633-648
  • Vladimiro Sassone: A Note on Logic Programming Fixed-Point Semantics. 649-662
  • Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi: Modular Logic Programs on Finite Domains. 663-678