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