|
Search the dblp DataBase
Gianfranco Rossi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Agostino Dovier, Gianfranco Rossi
Embedding extensional finite sets in CLP. [Citation Graph (1, 0)][DBLP] ILPS, 1993, pp:540-556 [Conf]
- Alberto Martelli, Corrado Moiso, Gianfranco Rossi
An Algorithm for Unification in Equational Theories. [Citation Graph (1, 0)][DBLP] SLP, 1986, pp:180-186 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
ACI1 constraints. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1999, pp:305-320 [Conf]
- Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 2003, pp:36-49 [Conf]
- 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]
- 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]
- 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]
- 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]
- Alberto Martelli, Gianfranco Rossi
Enhancing Prolog to Support Prolog Programming Environments. [Citation Graph (0, 0)][DBLP] ESOP, 1988, pp:317-327 [Conf]
- 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]
- Alberto Martelli, Gianfranco Rossi
Efficient Unificatioin with Infinite Terms in Logic Programming. [Citation Graph (0, 0)][DBLP] FGCS, 1984, pp:202-209 [Conf]
- 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]
- Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Compiling Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:647-661 [Conf]
- 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]
- Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
ACI1 Constraints. [Citation Graph (0, 0)][DBLP] ICLP, 1999, pp:573-587 [Conf]
- Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Intensional Sets in CLP. [Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:284-299 [Conf]
- 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]
- Alberto Martelli, Gianfranco Rossi
On the Semantics of Logic Programing Languages. [Citation Graph (0, 0)][DBLP] ICLP, 1986, pp:327-334 [Conf]
- Iliano Cervesato, Gianfranco Rossi
Logic Meta-Programming Facilities in 'LOG. [Citation Graph (0, 0)][DBLP] META, 1992, pp:148-161 [Conf]
- 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]
- Agostino Dovier, Carla Piazza, Gianfranco Rossi
Multiset Constraints and P Systems. [Citation Graph (0, 0)][DBLP] WMP, 2000, pp:103-122 [Conf]
- 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]
- 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]
- Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Set Unification [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Set unification. [Citation Graph (0, 0)][DBLP] TPLP, 2006, v:6, n:6, pp:645-701 [Journal]
Logic Programming in Italy: A Historical Perspective. [Citation Graph (, )][DBLP]
Answer Set Programming with Constraints Using Lazy Grounding. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.306secs
|