The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianfranco Rossi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Agostino Dovier, Gianfranco Rossi
    Embedding extensional finite sets in CLP. [Citation Graph (1, 0)][DBLP]
    ILPS, 1993, pp:540-556 [Conf]
  2. Alberto Martelli, Corrado Moiso, Gianfranco Rossi
    An Algorithm for Unification in Equational Theories. [Citation Graph (1, 0)][DBLP]
    SLP, 1986, pp:180-186 [Conf]
  3. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    A Language for Programming in Logic with Finite Sets. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1996, v:28, n:1, pp:1-44 [Journal]
  4. Luca Console, Gianfranco Rossi
    Using Prolog for Building Frog, a Hybrid Knowledge Representation System. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1989, v:6, n:4, pp:361-388 [Journal]
  5. R. Carmona, Agostino Dovier, Gianfranco Rossi
    Dealing with Infinite Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:465-478 [Conf]
  6. 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]
  7. Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
    Solving Systems of Equations over Hypersets. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:403-417 [Conf]
  8. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:305-320 [Conf]
  9. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:36-49 [Conf]
  10. Agostino Dovier, Carla Piazza, Gianfranco Rossi
    Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:43-56 [Conf]
  11. 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]
  12. 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]
  13. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    Embedding Finite Sets in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:150-167 [Conf]
  14. Alberto Martelli, Gianfranco Rossi
    Enhancing Prolog to Support Prolog Programming Environments. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:317-327 [Conf]
  15. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Local Definitions with Static Scope Rules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:389-396 [Conf]
  16. Alberto Martelli, Gianfranco Rossi
    Efficient Unificatioin with Infinite Terms in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:202-209 [Conf]
  17. Agostino Dovier, Alberto Policriti, Gianfranco Rossi
    Integrating Lists, Multisets, and Sets in a Logic Programming Framework. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:303-319 [Conf]
  18. Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Compiling Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:647-661 [Conf]
  19. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    {log}: A Logic Programming Language with Finite Sets. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:111-124 [Conf]
  20. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    ACI1 Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:573-587 [Conf]
  21. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:284-299 [Conf]
  22. Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
    On the Representation and Management of Finite Sets in CLP Languages. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:40-54 [Conf]
  23. Alberto Martelli, Gianfranco Rossi
    On the Semantics of Logic Programing Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:327-334 [Conf]
  24. Iliano Cervesato, Gianfranco Rossi
    Logic Meta-Programming Facilities in 'LOG. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:148-161 [Conf]
  25. Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Integrating finite domain constraints and CLP with sets. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:219-229 [Conf]
  26. Agostino Dovier, Carla Piazza, Gianfranco Rossi
    Multiset Constraints and P Systems. [Citation Graph (0, 0)][DBLP]
    WMP, 2000, pp:103-122 [Conf]
  27. Gianfranco Rossi
    Programs as Data in an Extended Prolog. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1993, v:36, n:3, pp:217-226 [Journal]
  28. Evelina Lamma, Paola Mello, Gianfranco Rossi
    Parametric Composable Modules in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1993, v:18, n:2, pp:105-123 [Journal]
  29. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Set Unification [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  30. Agostino Dovier, Carla Piazza, Gianfranco Rossi
    A uniform approach to constraint-solving for lists, multisets, compact lists, and sets [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  31. Gianfranco Rossi
    Set-based Nondeterministic Declarative Programming in Singleton. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  32. Agostino Dovier, Alberto Policriti, Gianfranco Rossi
    A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:36, n:2-3, pp:201-234 [Journal]
  33. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    A necessary condition for Constructive Negation in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:3-4, pp:147-156 [Journal]
  34. Davide Aliffi, Agostino Dovier, Gianfranco Rossi
    From Set to Hyperset Unification [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:10, pp:- [Journal]
  35. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Constructive Negation and Constraint Logic Programming with Sets. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:19, n:3, pp:209-256 [Journal]
  36. Gianfranco Rossi
    Uses of Prolog in Implementation of Expert Systems. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1986, v:4, n:3, pp:321-329 [Journal]
  37. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Extending Horn Clause Logic with Implication Goals. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:43-74 [Journal]
  38. Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
    Sets and constraint logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:5, pp:861-931 [Journal]
  39. Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
    Set unification. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:645-701 [Journal]

  40. Logic Programming in Italy: A Historical Perspective. [Citation Graph (, )][DBLP]


  41. Answer Set Programming with Constraints Using Lazy Grounding. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002