Gianfranco Rossi

Available identifiers

zbMath Open rossi.gianfrancoWikidataQ57422698 ScholiaQ57422698MaRDI QIDQ206866

List of research outcomes

Publication	Date of Publication	Type
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
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language	2010-02-05	Paper
GASP: Answer Set Programming with Lazy Grounding	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gianfranco Rossi