Gianfranco Rossi

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

Coauthor Index

1	Davide Aliffi	[26]
2	Paola Bruscoli	[18]
3	R. Carmona	[22]
4	Iliano Cervesato	[10] [17]
5	Luca Console	[7]
6	Agostino Dovier	[8] [11] [14] [15] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [35] [36] [37] [38] [39] [40] [41]
7	Laura Giordano	[5] [9]
8	Evelina Lamma	[12]
9	Alberto Martelli	[1] [3] [4] [5] [6] [9]
10	Paola Mello	[12]
11	Corrado Moiso	[3]
12	Eugenio G. Omodeo	[8] [11] [16] [19] [20]
13	Alessandro Dal Palù	[36] [41]
14	Carla Piazza	[24] [25] [27] [28] [30] [31] [35] [40]
15	Alberto Policriti	[16] [19] [21] [23]
16	Enrico Pontelli	[8] [11] [18] [20] [24] [27] [28] [29] [30] [32] [33] [36] [37] [38] [39] [41]

Colors in the list of coauthors