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