Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gianfranco Rossi" ( http://dblp.L3S.de/Authors/Gianfranco_Rossi )

URL (Homepage):  http://www.math.unipr.it/~gianfr/  Author page on DBLP  Author page in RDF  Community of Gianfranco Rossi in ASPL-2

Publication years (Num. hits)
1984-1993 (17) 1994-2001 (16) 2002-2011 (15)
Publication types (Num. hits)
article(20) inproceedings(28)
Venues (Conferences, Journals, ...)
ICLP(6) APPIA-GULP-PRODE(4) Fundam. Inform.(3) GULP(3) New Generation Comput.(3) CoRR(2) FGCS(2) 25 Years GULP(1) ACM Trans. Comput. Log.(1) ACM Trans. Program. Lang. Syst...(1) Comput. J.(1) Comput. Lang.(1) Computer Languages, Systems & ...(1) Electr. Notes Theor. Comput. S...(1) ELP(1) ESOP(1) More (+10 of total 32)
Authors
Gianfranco Rossi(48) Agostino Dovier(28) Enrico Pontelli(17) Carla Piazza(8) Alberto Martelli(6) Eugenio G. Omodeo(5) Alberto Policriti(4) Alessandro Dal Palù(4) Federico Bergenti(4) Alessandro Ricci(2) Andrea Santi(2) Antonio Boccalatte(2) Cristina Baroglio(2) Elisa Marengo(2) Iliano Cervesato(2) Laura Giordano(2) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 7 keywords
Results
Found 48 publication records. Showing 48 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gianfranco Rossi From set unification to set constraints. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Federico Bergenti, L. Chiarabini, Gianfranco Rossi Programming with partially specified aggregates in Java. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matteo 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. Search on Bibsonomy WOA The full citation details ... 2010 DBLP  BibTeX  RDF
1Gianfranco Rossi Logic Programming in Italy: A Historical Perspective. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matteo 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. Search on Bibsonomy MALLOW The full citation details ... 2010 DBLP  BibTeX  RDF
1Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi GASP: Answer Set Programming with Lazy Grounding. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Answer Set Programming with Constraints Using Lazy Grounding. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi A uniform approach to constraint-solving for lists, multisets, compact lists, and sets. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Membership and equality constraints, compact lists, sets, lists, multisets
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Set unification. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi A uniform approach to constraint-solving for lists, multisets, compact lists, and sets Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Intensional Sets in CLP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Intensional Sets in CLP. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Aggregates, Constraint Logic Programming, Sets
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Integrating finite domain constraints and CLP with sets. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF programming with sets, constraint logic programming
1Gianfranco Rossi Set-based Nondeterministic Declarative Programming in Singleton. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Set Unification Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Constructive Negation and Constraint Logic Programming with Sets. Search on Bibsonomy New Generation Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Enrico Pontelli, Gianfranco Rossi A necessary condition for Constructive Negation in Constraint Logic Programming. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi Sets and constraint logic programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF computable set theory, constraints, declarative programming
1Agostino Dovier, Carla Piazza, Gianfranco Rossi Multiset Constraints and P Systems. Search on Bibsonomy WMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Davide Aliffi, Agostino Dovier, Gianfranco Rossi From Set to Hyperset Unification Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1999 DBLP  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi ACI1 constraints. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1999 DBLP  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi ACI1 Constraints. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Agostino Dovier, Alberto Policriti, Gianfranco Rossi A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Search on Bibsonomy Fundam. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1998 DBLP  BibTeX  RDF
1Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli On the Representation and Management of Finite Sets in CLP Languages. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1R. Carmona, Agostino Dovier, Gianfranco Rossi Dealing with Infinite Intensional Sets in CLP. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 1997 DBLP  BibTeX  RDF
1Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi A Language for Programming in Logic with Finite Sets. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Alberto Policriti, Gianfranco Rossi Integrating Lists, Multisets, and Sets in a Logic Programming Framework. Search on Bibsonomy Frontiers of Combining Systems (FroCos) The full citation details ... 1996 DBLP  BibTeX  RDF
1Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi Solving Systems of Equations over Hypersets. Search on Bibsonomy GULP-PRODE The full citation details ... 1994 DBLP  BibTeX  RDF
1Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Compiling Intensional Sets in CLP. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1Gianfranco Rossi Programs as Data in an Extended Prolog. Search on Bibsonomy Comput. J. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Paola Mello, Gianfranco Rossi Parametric Composable Modules in a Logic Programming Language. Search on Bibsonomy Comput. Lang. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
1Iliano Cervesato, Gianfranco Rossi A WAM Implementation for the Logic Meta Programming Language 'Log. Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
1Agostino Dovier, Gianfranco Rossi Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. Search on Bibsonomy GULP The full citation details ... 1993 DBLP  BibTeX  RDF
1Agostino Dovier, Gianfranco Rossi Embedding extensional finite sets in CLP. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Laura Giordano, Alberto Martelli, Gianfranco Rossi Extending Horn Clause Logic with Implication Goals. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato, Gianfranco Rossi Logic Meta-Programming Facilities in 'LOG. Search on Bibsonomy META The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi Embedding Finite Sets in a Logic Programming Language. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi {log}: A Logic Programming Language with Finite Sets. Search on Bibsonomy ICLP The full citation details ... 1991 DBLP  BibTeX  RDF
1Luca Console, Gianfranco Rossi Using Prolog for Building Frog, a Hybrid Knowledge Representation System. Search on Bibsonomy New Generation Comput. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Laura Giordano, Alberto Martelli, Gianfranco Rossi Local Definitions with Static Scope Rules in Logic Programming. Search on Bibsonomy FGCS The full citation details ... 1988 DBLP  BibTeX  RDF
1Alberto Martelli, Gianfranco Rossi Enhancing Prolog to Support Prolog Programming Environments. Search on Bibsonomy ESOP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Gianfranco Rossi Uses of Prolog in Implementation of Expert Systems. Search on Bibsonomy New Generation Comput. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Alberto Martelli, Gianfranco Rossi On the Semantics of Logic Programing Languages. Search on Bibsonomy ICLP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Alberto Martelli, Corrado Moiso, Gianfranco Rossi An Algorithm for Unification in Equational Theories. Search on Bibsonomy SLP The full citation details ... 1986 DBLP  BibTeX  RDF
1Alberto Martelli, Gianfranco Rossi Efficient Unificatioin with Infinite Terms in Logic Programming. Search on Bibsonomy FGCS The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #48 of 48 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.