GULP 1993:
Gizzeria,
Italy
Domenico Saccà (Ed.):
8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993.
1993 BibTeX
- V. S. Subrahmanian:
Hybrid Knowledge Bases for Intelligent Reasoning Systems.
3-20 BibTeX
- R. di Meglio, V. Sassone:
A Unification-Free Introduction to Logic Programming.
21-38 BibTeX
- Alessio Guglielmi, G. Levi:
Chemical Logic Programming?
39-54 BibTeX
- Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?
55-70 BibTeX
- Agostino Dovier, Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
71-86 BibTeX
- Nicola Leone, Pasquale Rullo:
Adding Set Terms to Ordered Logic Programs.
87-100 BibTeX
- Roberto Giaccio, Maurizio Talamo:
A General Framework to Deal with Sets of One-Dimensional Intervals.
101-110 BibTeX
- Marc-Michel Corsini, Antoine Rauzy:
CLP(B): Do it Yourself.
111-125 BibTeX
- María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
Using Narrowing Approximations to Optimize Equational Logic Programs.
127-142 BibTeX
- J. Piris, María José Ramírez:
An Implementation of Equational Constructive Negation.
143-156 BibTeX
- Giovanna M. Dore, Philippe Codognet:
A Prototype Compiler for Prolog with Boolean Constraints.
157-172 BibTeX
- Paul Tarau:
Language Issues and Programming Techniques in BinProlog.
173-188 BibTeX
- A. Chiarelli, V. Mazzotta, Chiara Renso:
A WAM Estesa per la Composizione di Programi Logici.
189-202 BibTeX
- Iliano Cervesato, Gianfranco Rossi:
A WAM Implementation for the Logic Meta Programming Language 'Log.
203-214 BibTeX
- Hendrik Decker, Juan Carlos Casamayor:
A Prolog-like Paradigm for Reasoning in First-Order Theories.
217-236 BibTeX
- María-del-Mar Gallardo, José M. Troya:
Parlog Programs Nontermination Analysis.
237-250 BibTeX
- Agostino Cortesi, Gilberto Filé:
Comparison and design of abstract domains for sharing analysis.
251-266 BibTeX
- Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi:
Abstract Interpretation of Concurrent Languages based on Linear Logic.
267-284 BibTeX
- D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone:
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.
285-300 BibTeX
- Bruno Bertolino, M. Mowbray:
A Completeness Result for SLDNF-Resolution.
301-308 BibTeX
- Alessandra Di Pierro:
Amalgamating NAF with NAI.
309-324 BibTeX
- Gilberto Filé, Sabina Rossi:
Static Analysis of Prolog with Cut.
325-340 BibTeX
- Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi:
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
341-358 BibTeX
- Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo:
Intensional Negation in Constraint Logic Programs.
359-374 BibTeX
- Alberto Bottoni, Giorgio Levi:
Computing in the Completion.
375-392 BibTeX
- Francesco Bergadano, Daniele Gunetti:
Logic Programming by Examples.
393-405 BibTeX
- L. Chitaro, Angelo Montanari:
Reasoning about discrete processes in a logic programming framework.
407-422 BibTeX
- Giovanni Sartor:
Defeasible Arguments in a Logic Programming Model.
423-440 BibTeX
- Serge Abiteboul, Victor Vianu:
Expressive Power of Query Languages.
441-468 BibTeX
- Francesco Scarcello:
Calcolo del Modello Well-Founded di Programmi Datalog.
469-484 BibTeX
- 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 BibTeX
- Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi:
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD).
501-518 BibTeX
- Kees Schuerman, André Véron:
Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS.
519-534 BibTeX
- Antonio Natali, Andrea Omicini, Francesco Zanichelli:
Exploiting Logic Programming in Robot Applications.
535-548 BibTeX
- F. Levi, C. Menchini:
Abductive Proof Procedures for Fault Diagnosis.
549-568 BibTeX
- Juan Carlos González Moreno:
A Correctness Proof for Warren's HO into FO Translation.
569-584 BibTeX
- A. Domenici:
Gondor: Godel on Andorra.
585-600 BibTeX
- Maurizio Proietti, Alberto Pettorossi:
Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables.
601-616 BibTeX
- Annalisa Bossi, Michele Bugliesi, Massimo Fabris:
A New Fixpoint Semantics for Prolog.
617-632 BibTeX
- Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco:
An Operational Semantics for CHIP.
633-648 BibTeX
- Vladimiro Sassone:
A Note on Logic Programming Fixed-Point Semantics.
649-662 BibTeX
- Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi:
Modular Logic Programs on Finite Domains.
663-678 BibTeX
Copyright © Sat May 16 22:56:59 2009
by Michael Ley (ley@uni-trier.de)
