default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGULP 1993: Gizzeria, Italy
- Domenico Saccà:
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. GULP 1993: 3-20 - R. di Meglio, Vladimiro Sassone:
A Unification-Free Introduction to Logic Programming. GULP 1993: 21-38 - Alessio Guglielmi, Giorgio Levi:
Chemical Logic Programming? GULP 1993: 39-54 - Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi:
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP 1993: 55-70 - Agostino Dovier, Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP 1993: 71-86 - Nicola Leone, Pasquale Rullo:
Adding Set Terms to Ordered Logic Programs. GULP 1993: 87-100 - Roberto Giaccio, Maurizio Talamo:
A General Framework to Deal with Sets of One-Dimensional Intervals. GULP 1993: 101-110 - Marc-Michel Corsini, Antoine Rauzy:
CLP(B): Do it Yourself. GULP 1993: 111-125 - María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal:
Using Narrowing Approximations to Optimize Equational Logic Programs. GULP 1993: 127-142 - J. Piris, María José Ramírez:
An Implementation of Equational Constructive Negation. GULP 1993: 143-156 - Giovanna M. Dore, Philippe Codognet:
A Prototype Compiler for Prolog with Boolean Constraints. GULP 1993: 157-172 - Paul Tarau:
Language Issues and Programming Techniques in BinProlog. GULP 1993: 173-188 - A. Chiarelli, V. Mazzotta, Chiara Renso:
A WAM Estesa per la Composizione di Programi Logici. GULP 1993: 189-202 - Iliano Cervesato, Gianfranco Rossi:
A WAM Implementation for the Logic Meta Programming Language 'Log. GULP 1993: 203-214 - Hendrik Decker, Juan Carlos Casamayor:
A Prolog-like Paradigm for Reasoning in First-Order Theories. GULP 1993: 217-236 - María-del-Mar Gallardo, José M. Troya:
Parlog Programs Nontermination Analysis. GULP 1993: 237-250 - Agostino Cortesi, Gilberto Filé:
Comparison and design of abstract domains for sharing analysis. GULP 1993: 251-266 - Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi:
Abstract Interpretation of Concurrent Languages based on Linear Logic. GULP 1993: 267-284 - D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone:
Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. GULP 1993: 285-300 - Bruno Bertolino, M. Mowbray:
A Completeness Result for SLDNF-Resolution. GULP 1993: 301-308 - Alessandra Di Pierro:
Amalgamating NAF with NAI. GULP 1993: 309-324 - Gilberto Filé, Sabina Rossi:
Static Analysis of Prolog with Cut. GULP 1993: 325-340 - Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi:
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358 - Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo:
Intensional Negation in Constraint Logic Programs. GULP 1993: 359-374 - Alberto Bottoni, Giorgio Levi:
Computing in the Completion. GULP 1993: 375-392 - Francesco Bergadano, Daniele Gunetti:
Logic Programming by Examples. GULP 1993: 393-405 - L. Chitaro, Angelo Montanari:
Reasoning about discrete processes in a logic programming framework. GULP 1993: 407-422 - Giovanni Sartor:
Defeasible Arguments in a Logic Programming Model. GULP 1993: 423-440 - Serge Abiteboul, Victor Vianu:
Expressive Power of Query Languages. GULP 1993: 441-468 - Francesco Scarcello:
Calcolo del Modello Well-Founded di Programmi Datalog. GULP 1993: 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. GULP 1993: 485-500 - Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi:
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). GULP 1993: 501-518 - Kees Schuerman, André Véron:
Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS. GULP 1993: 519-534 - Antonio Natali, Andrea Omicini, Francesco Zanichelli:
Exploiting Logic Programming in Robot Applications. GULP 1993: 535-548 - F. Levi, C. Menchini:
Abductive Proof Procedures for Fault Diagnosis. GULP 1993: 549-568 - Juan Carlos González Moreno:
A Correctness Proof for Warren's HO into FO Translation. GULP 1993: 569-584 - A. Domenici:
Gondor: Godel on Andorra. GULP 1993: 585-600 - Maurizio Proietti, Alberto Pettorossi:
Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. GULP 1993: 601-616 - Annalisa Bossi, Michele Bugliesi, Massimo Fabris:
A New Fixpoint Semantics for Prolog. GULP 1993: 617-632 - Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco:
An Operational Semantics for CHIP. GULP 1993: 633-648 - Vladimiro Sassone:
A Note on Logic Programming Fixed-Point Semantics. GULP 1993: 649-662 - Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi:
Modular Logic Programs on Finite Domains. GULP 1993: 663-678
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
