GULP 1993:
Gizzeria,
Italy
Domenico Saccà (Ed.):
8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993.
1993
- V. S. Subrahmanian:
Hybrid Knowledge Bases for Intelligent Reasoning Systems.
3-20
- R. di Meglio, V. Sassone:
A Unification-Free Introduction to Logic Programming.
21-38
- Alessio Guglielmi, G. 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
- Hendrik Decker, Juan Carlos Casamayor:
A Prolog-like Paradigm for Reasoning in First-Order Theories.
217-236
- María-del-Mar Gallardo, José M. Troya:
Parlog Programs Nontermination Analysis.
237-250
- Agostino Cortesi, Gilberto Filé:
Comparison and design of abstract domains for sharing analysis.
251-266
- 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. Chitaro, Angelo Montanari:
Reasoning about discrete processes in a logic programming framework.
407-422
- Giovanni Sartor:
Defeasible Arguments in a Logic Programming Model.
423-440
- Serge Abiteboul, Victor Vianu:
Expressive Power of Query Languages.
441-468
- 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
Copyright © Tue Dec 1 16:09:20 2009
by Michael Ley (ley@uni-trier.de)