Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gianfranco Rossi
2010 – today
- 2013
[j19]Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi: Preface. Fundam. Inform. 124(4): i-ii (2013)- 2011
- [j18]Federico Bergenti, L. Chiarabini, Gianfranco Rossi: Programming with partially specified aggregates in Java. Computer Languages, Systems & Structures 37(4): 178-192 (2011)
- [j17]Gianfranco Rossi: From set unification to set constraints. Intelligenza Artificiale 5(1): 157-161 (2011)
- 2010
- [c28]
- [c27]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi: MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW 2010
- [c26]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi: MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA 2010
2000 – 2009
- 2009
- [j16]Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi: Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Fundam. Inform. 96(3): 227-252 (2009)
- [j15]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: GASP: Answer Set Programming with Lazy Grounding. Fundam. Inform. 96(3): 297-322 (2009)
- [c25]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Answer Set Programming with Constraints Using Lazy Grounding. ICLP 2009: 115-129
- 2008
- [j14]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
- [j13]
- 2003
- [c24]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Intensional Sets in CLP. APPIA-GULP-PRODE 2003: 36-49
- [c23]
- [c22]Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Integrating finite domain constraints and CLP with sets. PPDP 2003: 219-229
- [i2]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
- [j12]Gianfranco Rossi: Set-based Nondeterministic Declarative Programming in Singleton. Electr. Notes Theor. Comput. Sci. 76: 216-232 (2002)
- 2001
- [j11]Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Constructive Negation and Constraint Logic Programming with Sets. New Generation Comput. 19(3): 209-256 (2001)
- [i1]
- 2000
- [j10]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)
- [j9]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000)
- [c21]Agostino Dovier, Carla Piazza, Gianfranco Rossi: Multiset Constraints and P Systems. WMP 2000: 103-122
1990 – 1999
- 1999
- [j8]Davide Aliffi, Agostino Dovier, Gianfranco Rossi: From Set to Hyperset Unification. Journal of Functional and Logic Programming 1999(10) (1999)
- [c20]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 constraints. APPIA-GULP-PRODE 1999: 305-320
- [c19]Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi: ACI1 Constraints. ICLP 1999: 573-587
- 1998
- [j7]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)
- [c18]Agostino Dovier, Carla Piazza, Gianfranco Rossi: Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE 1998: 43-56
- [c17]Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli: On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998: 40-54
- 1997
- [c16]R. Carmona, Agostino Dovier, Gianfranco Rossi: Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE 1997: 465-478
- 1996
- [j6]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)
- [c15]Agostino Dovier, Alberto Policriti, Gianfranco Rossi: Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS 1996: 303-319
- 1994
- [c14]Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Solving Systems of Equations over Hypersets. GULP-PRODE (1) 1994: 403-417
- [c13]Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi: Compiling Intensional Sets in CLP. ICLP 1994: 647-661
- 1993
- [j5]
- [j4]Evelina Lamma, Paola Mello, Gianfranco Rossi: Parametric Composable Modules in a Logic Programming Language. Comput. Lang. 18(2): 105-123 (1993)
- [c12]Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi: Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP 1993: 55-70
- [c11]Agostino Dovier, Gianfranco Rossi: Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP 1993: 71-86
- [c10]Iliano Cervesato, Gianfranco Rossi: A WAM Implementation for the Logic Meta Programming Language 'Log. GULP 1993: 203-214
- [c9]
- 1992
- [j3]Laura Giordano, Alberto Martelli, Gianfranco Rossi: Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992)
- [c8]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: Embedding Finite Sets in a Logic Programming Language. ELP 1992: 150-167
- [c7]
- 1991
- [c6]Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: {log}: A Logic Programming Language with Finite Sets. ICLP 1991: 111-124
1980 – 1989
- 1989
- [j2]Luca Console, Gianfranco Rossi: Using Prolog for Building Frog, a Hybrid Knowledge Representation System. New Generation Comput. 6(4): 361-388 (1989)
- 1988
- [c5]Alberto Martelli, Gianfranco Rossi: Enhancing Prolog to Support Prolog Programming Environments. ESOP 1988: 317-327
- [c4]Laura Giordano, Alberto Martelli, Gianfranco Rossi: Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396
- 1986
- [j1]Gianfranco Rossi: Uses of Prolog in Implementation of Expert Systems. New Generation Comput. 4(3): 321-329 (1986)
- [c3]Alberto Martelli, Gianfranco Rossi: On the Semantics of Logic Programing Languages. ICLP 1986: 327-334
- [c2]Alberto Martelli, Corrado Moiso, Gianfranco Rossi: An Algorithm for Unification in Equational Theories. SLP 1986: 180-186
- 1984
- [c1]Alberto Martelli, Gianfranco Rossi: Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS 1984: 202-209
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19 22:08 CEST by the dblp team