Gianfranco Rossi

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 28

Top Topics

Constraint Logic Programming

Constraint Solving

Top Venues

J. Autom. Reason.

Fundam. Informaticae

Theory Pract. Log. Program.

Publications

Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log. 25 (1) (2024)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of a Landing Gear System. From Computational Logic to Computational Biology (2024)
Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
Declarative Programming with Intensional Sets in Java Using JSetL. Comput. J. 66 (3) (2023)
Maximiliano Cristiá, Gianfranco Rossi
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. Theory Pract. Log. Program. 23 (2) (2023)
Maximiliano Cristiá, Gianfranco Rossi
A Typechecker for a Set-Based Constraint Logic Programming Language. CoRR (2022)
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. Comput. J. 65 (7) (2022)
Maximiliano Cristiá, Gianfranco Rossi
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers. CoRR (2022)
Maximiliano Cristiá, Gianfranco Rossi
$\{log\}$: Applications to Software Specification, Prototyping and Verification. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
Automated Proof of Bell-LaPadula Security Properties. J. Autom. Reason. 65 (4) (2021)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of the Tokeneer ID Station Specification. J. Autom. Reason. 65 (8) (2021)
Maximiliano Cristiá, Gianfranco Rossi
Automated Reasoning with Restricted Intensional Sets. J. Autom. Reason. 65 (6) (2021)
Maximiliano Cristiá, Gianfranco Rossi
log: Set Formulas as Programs. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of a Landing Gear System. CoRR (2021)
Maximiliano Cristiá, Ricardo D. Katz, Gianfranco Rossi
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
Integrating Cardinality Constraints into Constraint Logic Programming with Sets. CoRR (2021)
Maximiliano Cristiá, Gianfranco Rossi
Automated Proof of Bell-LaPadula Security Properties. CoRR (2020)
Maximiliano Cristiá, Andrea Fois, Gianfranco Rossi
Declarative Programming with Intensional Sets in Java Using JSetL. CoRR (2020)
Maximiliano Cristiá, Gianfranco Rossi
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations. J. Autom. Reason. 64 (2) (2020)
Maximiliano Cristiá, Gianfranco Rossi
An Automatically Verified Prototype of the Tokeneer ID Station Specification. CoRR (2020)
Maximiliano Cristiá, Gianfranco Rossi
Automated Reasoning with Restricted Intensional Sets. CoRR (2019)
Maximiliano Cristiá, Gianfranco Rossi
Programming in Java with Restricted Intensional Sets. SETS@ABZ (2018)
Maximiliano Cristiá, Gianfranco Rossi
A Set Solver for Finite Set Relation Algebra. RAMiCS (2018)
Federico Bergenti, Stefania Monica, Gianfranco Rossi
Constraint Logic Programming with Polynomial Constraints over Finite Domains. Fundam. Informaticae 161 (1-2) (2018)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for Restricted Intensional Sets. CADE (2017)
Federico Bergenti, Stefania Monica, Gianfranco Rossi
Polynomial Constraint Solving over Finite Domains with the Modified Bernstein Form. CILC (2016)
Maximiliano Cristiá, Gianfranco Rossi
A Decision Procedure for Sets, Binary Relations and Partial Functions. CAV (1) (2016)
Federico Bergenti, Stefania Monica, Gianfranco Rossi
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form. AI*IA (2016)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Adding partial functions to Constraint Logic Programming with sets. Theory Pract. Log. Program. 15 (4-5) (2015)
Gianfranco Rossi, Federico Bergenti
Nondeterministic Programming in Java with JSetL. Fundam. Informaticae 140 (3-4) (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Adding Partial Functions to Constraint Logic Programming with Sets. CoRR (2015)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
Helping Programmers to Adopt Set-Based Specifications. FMSEE&T@FM (2015)
Gianfranco Rossi, Federico Bergenti
Nondeterministic Programming in Java with JSetL. CILC (2013)
Maximiliano Cristiá, Gianfranco Rossi, Claudia S. Frydman
{log} as a Test Case Generator for the Test Template Framework. SEFM (2013)
Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi
Preface. Fundam. Informaticae 124 (4) (2013)
Federico Bergenti, L. Chiarabini, Gianfranco Rossi
Programming with partially specified aggregates in Java. Comput. Lang. Syst. Struct. 37 (4) (2011)
Gianfranco Rossi
From set unification to set constraints. Intelligenza Artificiale 5 (1) (2011)
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)
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)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
GASP: Answer Set Programming with Lazy Grounding. Fundam. Informaticae 96 (3) (2009)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Answer Set Programming with Constraints Using Lazy Grounding. ICLP (2009)
Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. Fundam. Informaticae 96 (3) (2009)
Gianfranco Rossi
From Set Unification to Set Constraints. Il Milione (2008)
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)
Gianfranco Rossi, E. Panegai, Elisabetta Poleo
JSetL: a Java library for supporting declarative programming in Java. Softw. Pract. Exp. 37 (2) (2007)
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Set unification. Theory Pract. Log. Program. 6 (6) (2006)
Gianfranco Rossi, Elisabetta Poleo
Javaset: Declarative programming in Java with sets. Conf. Computing Frontiers (2004)
Elisabetta Poleo, Gianfranco Rossi
JAVASET: Declarative Programming in Java with Sets. APPIA-GULP-PRODE (2003)
Agostino Dovier, Carla Piazza, Gianfranco Rossi
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets CoRR (2003)
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Intensional Sets in CLP. ICLP (2003)
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Intensional Sets in CLP. APPIA-GULP-PRODE (2003)
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Integrating finite domain constraints and CLP with sets. PPDP (2003)
Gianfranco Rossi
Set-based Nondeterministic Declarative Programming in Singleton. Electron. Notes Theor. Comput. Sci. 76 (2002)
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Constructive Negation and Constraint Logic Programming with Sets. New Gener. Comput. 19 (3) (2001)
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Set Unification CoRR (2001)
Agostino Dovier, Carla Piazza, Gianfranco Rossi
Multiset constraints and P systems. APPIA-GULP-PRODE (2001)
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22 (5) (2000)
Agostino Dovier, Carla Piazza, Gianfranco Rossi
Multiset Constraints and P Systems. WMP (2000)
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
A necessary condition for Constructive Negation in Constraint Logic Programming. Inf. Process. Lett. 74 (3-4) (2000)
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
ACI1 Constraints. ICLP (1999)
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi
ACI1 constraints. APPIA-GULP-PRODE (1999)
Davide Aliffi, Agostino Dovier, Gianfranco Rossi
From Set to Hyperset Unification J. Funct. Log. Program. 1999 (10) (1999)
Agostino Dovier, Alberto Policriti, Gianfranco Rossi
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundam. Informaticae 36 (2-3) (1998)
Agostino Dovier, Carla Piazza, Gianfranco Rossi, Enrico Pontelli
On the Representation and Management of Finite Sets in CLP Languages. IJCSLP (1998)
Agostino Dovier, Carla Piazza, Gianfranco Rossi
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. APPIA-GULP-PRODE (1998)
Alessandro Provetti, Gianfranco Rossi
Action Specifications in log. APPIA-GULP-PRODE (1997)
Roberta Carmona, Agostino Dovier, Gianfranco Rossi
Dealing with Infinite Intensional Sets in CLP. APPIA-GULP-PRODE (1997)
Agostino Dovier, Alberto Policriti, Gianfranco Rossi
Integrating Lists, Multisets, and Sets in a Logic Programming Framework. FroCoS (1996)
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
A Language for Programming in Logic with Finite Sets. J. Log. Program. 28 (1) (1996)
Paola Bruscoli, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
Compiling Intensional Sets in CLP. ICLP (1994)
Agostino Dovier, Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
Solving Systems of Equations over Hypersets. GULP-PRODE (1) (1994)
Paola Bruscoli, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli
Extensional and Intensional Sets in CLP with Intensional Negation. ICLP Workshop on Logic Programming with Sets (1993)
Iliano Cervesato, Gianfranco Rossi
A WAM Implementation for the Logic Meta Programming Language 'Log. GULP (1993)
Davide Aliffi, Gianfranco Rossi, Agostino Dovier, Eugenio G. Omodeo
Unification of Hyperset Terms. ICLP Workshop on Logic Programming with Sets (1993)
Gianfranco Rossi
Programs as Data in an Extended Prolog. Comput. J. 36 (3) (1993)
Agostino Dovier, Gianfranco Rossi
Embedding extensional finite sets in CLP. ILPS (1993)
Eugenio G. Omodeo, Alberto Policriti, Gianfranco Rossi
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica? GULP (1993)
Agostino Dovier, Gianfranco Rossi
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP. GULP (1993)
Evelina Lamma, Paola Mello, Gianfranco Rossi
Parametric Composable Modules in a Logic Programming Language. Comput. Lang. 18 (2) (1993)
Laura Giordano, Alberto Martelli, Gianfranco Rossi
Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95 (1) (1992)
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
Embedding Finite Sets in a Logic Programming Language. ELP (1992)
Iliano Cervesato, Gianfranco Rossi
Logic Meta-Programming Facilities in 'LOG. META (1992)
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
{log}: A Logic Programming Language with Finite Sets. ICLP (1991)
Luca Console, Gianfranco Rossi
Using Prolog for Building Frog, a Hybrid Knowledge Representation System. New Gener. Comput. 6 (4) (1989)
Laura Giordano, Alberto Martelli, Gianfranco Rossi
Local Definitions with Static Scope Rules in Logic Programming. FGCS (1988)
Alberto Martelli, Gianfranco Rossi
Enhancing Prolog to Support Prolog Programming Environments. ESOP (1988)
Alberto Martelli, Corrado Moiso, Gianfranco Rossi
An Algorithm for Unification in Equational Theories. SLP (1986)
Gianfranco Rossi
Uses of Prolog in Implementation of Expert Systems. New Gener. Comput. 4 (3) (1986)
Alberto Martelli, Gianfranco Rossi
On the Semantics of Logic Programing Languages. ICLP (1986)
Alberto Martelli, Gianfranco Rossi
Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS (1984)