The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

APPIA-GULP-PRODE (agp)
1993 (conf/agp/1993)

  1. V. S. Subrahmanian
    Hybrid Knowledge Bases for Intelligent Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:3-20 [Conf]
  2. R. di Meglio, V. Sassone
    A Unification-Free Introduction to Logic Programming. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:21-38 [Conf]
  3. Alessio Guglielmi, G. Levi
    Chemical Logic Programming? [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:39-54 [Conf]
  4. Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
    Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:55-70 [Conf]
  5. Agostino Dovier, Gianfranco Rossi
    Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:71-86 [Conf]
  6. Nicola Leone, Pasquale Rullo
    Adding Set Terms to Ordered Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:87-100 [Conf]
  7. Roberto Giaccio, Maurizio Talamo
    A General Framework to Deal with Sets of One-Dimensional Intervals. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:101-110 [Conf]
  8. Marc-Michel Corsini, Antoine Rauzy
    CLP(B): Do it Yourself. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:111-125 [Conf]
  9. María Alpuente, Moreno Falaschi, María José Ramis, Germán Vidal
    Using Narrowing Approximations to Optimize Equational Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:127-142 [Conf]
  10. J. Piris, María José Ramírez
    An Implementation of Equational Constructive Negation. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:143-156 [Conf]
  11. Giovanna M. Dore, Philippe Codognet
    A Prototype Compiler for Prolog with Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:157-172 [Conf]
  12. Paul Tarau
    Language Issues and Programming Techniques in BinProlog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:173-188 [Conf]
  13. A. Chiarelli, V. Mazzotta, Chiara Renso
    A WAM Estesa per la Composizione di Programi Logici. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:189-202 [Conf]
  14. Iliano Cervesato, Gianfranco Rossi
    A WAM Implementation for the Logic Meta Programming Language 'Log. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:203-214 [Conf]
  15. Hendrik Decker, Juan Carlos Casamayor
    A Prolog-like Paradigm for Reasoning in First-Order Theories. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:217-236 [Conf]
  16. María-del-Mar Gallardo, José M. Troya
    Parlog Programs Nontermination Analysis. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:237-250 [Conf]
  17. Agostino Cortesi, Gilberto Filé
    Comparison and design of abstract domains for sharing analysis. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:251-266 [Conf]
  18. Jean-Marc Andreoli, Tiziana Castagnetti, Remo Pareschi
    Abstract Interpretation of Concurrent Languages based on Linear Logic. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:267-284 [Conf]
  19. D. Concari, Stefania Costantini, Gaetano Aurelio Lanzarone
    Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:285-300 [Conf]
  20. Bruno Bertolino, M. Mowbray
    A Completeness Result for SLDNF-Resolution. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:301-308 [Conf]
  21. Alessandra Di Pierro
    Amalgamating NAF with NAI. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:309-324 [Conf]
  22. Gilberto Filé, Sabina Rossi
    Static Analysis of Prolog with Cut. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:325-340 [Conf]
  23. Roberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi
    La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:341-358 [Conf]
  24. Paola Bruscoli, Francesca Levi, Giorgio Levi, Maria Chiara Meo
    Intensional Negation in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:359-374 [Conf]
  25. Alberto Bottoni, Giorgio Levi
    Computing in the Completion. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:375-392 [Conf]
  26. Francesco Bergadano, Daniele Gunetti
    Logic Programming by Examples. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:393-405 [Conf]
  27. L. Chitaro, Angelo Montanari
    Reasoning about discrete processes in a logic programming framework. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:407-422 [Conf]
  28. Giovanni Sartor
    Defeasible Arguments in a Logic Programming Model. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:423-440 [Conf]
  29. Serge Abiteboul, Victor Vianu
    Expressive Power of Query Languages. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:441-468 [Conf]
  30. Francesco Scarcello
    Calcolo del Modello Well-Founded di Programmi Datalog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:469-484 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:485-500 [Conf]
  32. Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi
    Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:501-518 [Conf]
  33. Kees Schuerman, André Véron
    Safeguarding the Venice Lagoon: Ann Aplication of a Knowledge-Based DSS. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:519-534 [Conf]
  34. Antonio Natali, Andrea Omicini, Francesco Zanichelli
    Exploiting Logic Programming in Robot Applications. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:535-548 [Conf]
  35. F. Levi, C. Menchini
    Abductive Proof Procedures for Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:549-568 [Conf]
  36. Juan Carlos González-Moreno
    A Correctness Proof for Warren's HO into FO Translation. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:569-584 [Conf]
  37. A. Domenici
    Gondor: Godel on Andorra. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:585-600 [Conf]
  38. Maurizio Proietti, Alberto Pettorossi
    Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:601-616 [Conf]
  39. Annalisa Bossi, Michele Bugliesi, Massimo Fabris
    A New Fixpoint Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:617-632 [Conf]
  40. Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco
    An Operational Semantics for CHIP. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:633-648 [Conf]
  41. Vladimiro Sassone
    A Note on Logic Programming Fixed-Point Semantics. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:649-662 [Conf]
  42. Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi
    Modular Logic Programs on Finite Domains. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:663-678 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002