Gianfranco Rossi

Available identifiers

zbMath Open rossi.gianfrancoWikidataQ57422698 ScholiaQ57422698MaRDI QIDQ206866

List of research outcomes

Publication	Date of Publication	Type
A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers	2024-12-16	Paper
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals	2024-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5087785	2022-07-01	Paper
An automatically verified prototype of the Tokeneer ID station specification	2022-01-21	Paper
Automated reasoning with restricted intensional sets	2021-11-23	Paper
Automated proof of Bell-LaPadula security properties	2021-06-09	Paper
Solving quantifier-free first-order constraints over finite sets and binary relations	2020-03-03	Paper
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form	2020-02-10	Paper
A Decision Procedure for Sets, Binary Relations and Partial Functions	2019-05-03	Paper
A set solver for finite set relation algebra	2018-11-08	Paper
Constraint Logic Programming with Polynomial Constraints over Finite Domains	2018-10-02	Paper
Adding partial functions to Constraint Logic Programming with sets	2017-11-09	Paper
A decision procedure for restricted intensional sets	2017-09-22	Paper
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets	2017-07-12	Paper
A necessary condition for constructive negation in constraint logic programming	2016-06-16	Paper
Logic programming in Italy: a historical perspective	2010-07-20	Paper
GASP: Answer set programming with lazy grounding	2010-02-05	Paper
Integrating finite domain and set constraints into a set-based constraint language	2010-02-05	Paper
Logic Programming	2009-08-06	Paper
Set unification	2007-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4474008	2004-08-04	Paper
Constructive negation and constraint logic programming with sets	2001-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4944864	2000-12-05	Paper
https://portal.mardi4nfdi.de/entity/Q4506398	2000-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4264105	1999-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4385450	1998-04-13	Paper
{log}: A language for programming in logic with finite sets	1997-11-10	Paper
Extending Horn clause logic with implication goals	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3991208	1992-06-28	Paper
Using Prolog for building FROG, a hybrid knowledge representation system	1989-01-01	Paper

Research outcomes over time

This page was built for person: Gianfranco Rossi