Sign in
GULP
1993
1993
1993
Keyphrases
Publications
1993
A. Chiarelli
,
V. Mazzotta
,
Chiara Renso
A WAM Estesa per la Composizione di Programi Logici.
GULP
(1993)
Maurizio Proietti
,
Alberto Pettorossi
Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables.
GULP
(1993)
A. Domenici
Gondor: Godel on Andorra.
GULP
(1993)
Eugenio G. Omodeo
,
Alberto Policriti
,
Gianfranco Rossi
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?
GULP
(1993)
María-del-Mar Gallardo
,
José M. Troya
Parlog Programs Nontermination Analysis.
GULP
(1993)
Juan Carlos González Moreno
A Correctness Proof for Warren's HO into FO Translation.
GULP
(1993)
Roberto Giaccio
,
Maurizio Talamo
A General Framework to Deal with Sets of One-Dimensional Intervals.
GULP
(1993)
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.
GULP
(1993)
8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy, June 15-18, 1993
GULP
(1993)
L. Chitaro
,
Angelo Montanari
Reasoning about discrete processes in a logic programming framework.
GULP
(1993)
Alberto Bottoni
,
Giorgio Levi
Computing in the Completion.
GULP
(1993)
Annalisa Bossi
,
Michele Bugliesi
,
Massimo Fabris
A New Fixpoint Semantics for Prolog.
GULP
(1993)
Alessandra Di Pierro
Amalgamating NAF with NAI.
GULP
(1993)
Agostino Dovier
,
Gianfranco Rossi
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
GULP
(1993)
Antonio Natali
,
Andrea Omicini
,
Francesco Zanichelli
Exploiting Logic Programming in Robot Applications.
GULP
(1993)
Alessio Guglielmi
,
Giorgio Levi
Chemical Logic Programming?
GULP
(1993)
Hendrik Decker
,
Juan Carlos Casamayor
A Prolog-like Paradigm for Reasoning in First-Order Theories.
GULP
(1993)
Roberto Barbuti
,
E. Bellugi
,
Mauro Gaspari
,
Roberto Giacobazzi
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
GULP
(1993)
F. Levi
,
C. Menchini
Abductive Proof Procedures for Fault Diagnosis.
GULP
(1993)
Bruno Bertolino
,
M. Mowbray
A Completeness Result for SLDNF-Resolution.
GULP
(1993)
Giovanna M. Dore
,
Philippe Codognet
A Prototype Compiler for Prolog with Boolean Constraints.
GULP
(1993)
Paul Tarau
Language Issues and Programming Techniques in BinProlog.
GULP
(1993)
Gilberto Filé
,
Giuseppe Nardiello
,
Adriano Tirabosco
An Operational Semantics for CHIP.
GULP
(1993)
Vladimiro Sassone
A Note on Logic Programming Fixed-Point Semantics.
GULP
(1993)
Paola Bruscoli
,
Francesca Levi
,
Giorgio Levi
,
Maria Chiara Meo
Intensional Negation in Constraint Logic Programs.
GULP
(1993)
Francesco Bergadano
,
Daniele Gunetti
Logic Programming by Examples.
GULP
(1993)
María Alpuente
,
Moreno Falaschi
,
María José Ramis
,
Germán Vidal
Using Narrowing Approximations to Optimize Equational Logic Programs.
GULP
(1993)
D. Concari
,
Stefania Costantini
,
Gaetano Aurelio Lanzarone
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.
GULP
(1993)
Iliano Cervesato
,
Gianfranco Rossi
A WAM Implementation for the Logic Meta Programming Language 'Log.
GULP
(1993)
Francesco Scarcello
Calcolo del Modello Well-Founded di Programmi Datalog.
GULP
(1993)
Gilberto Filé
,
Sabina Rossi
Static Analysis of Prolog with Cut.
GULP
(1993)
Giovanni Sartor
Defeasible Arguments in a Logic Programming Model.
GULP
(1993)
Elisa Bertino
,
Barbara Catania
,
Giovanna Guerrini
,
Maurizio Martelli
,
Danilo Montesi
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD).
GULP
(1993)
Marc-Michel Corsini
,
Antoine Rauzy
CLP(B): Do it Yourself.
GULP
(1993)
Nicola Leone
,
Pasquale Rullo
Adding Set Terms to Ordered Logic Programs.
GULP
(1993)
Jean-Marc Andreoli
,
Tiziana Castagnetti
,
Remo Pareschi
Abstract Interpretation of Concurrent Languages based on Linear Logic.
GULP
(1993)
Kees Schuerman
,
André Véron
Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS.
GULP
(1993)
V. S. Subrahmanian
Hybrid Knowledge Bases for Intelligent Reasoning Systems.
GULP
(1993)
Serge Abiteboul
,
Victor Vianu
Expressive Power of Query Languages.
GULP
(1993)
J. Piris
,
María José Ramírez
An Implementation of Equational Constructive Negation.
GULP
(1993)
R. di Meglio
,
Vladimiro Sassone
A Unification-Free Introduction to Logic Programming.
GULP
(1993)
Agostino Cortesi
,
Gilberto Filé
Comparison and design of abstract domains for sharing analysis.
GULP
(1993)
Maurizio Gabbrielli
,
Roberto Giacobazzi
,
Danilo Montesi
Modular Logic Programs on Finite Domains.
GULP
(1993)