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