Gianfranco Rossi

From MaRDI portal
Person:206866

Available identifiers

zbMath Open rossi.gianfrancoWikidataQ57422698 ScholiaQ57422698MaRDI QIDQ206866

List of research outcomes





PublicationDate of PublicationType
A practical decision procedure for quantifier-free, decidable languages extended with restricted quantifiers2024-12-16Paper
A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals2024-02-21Paper
https://portal.mardi4nfdi.de/entity/Q50877852022-07-01Paper
An automatically verified prototype of the Tokeneer ID station specification2022-01-21Paper
Automated reasoning with restricted intensional sets2021-11-23Paper
Automated proof of Bell-LaPadula security properties2021-06-09Paper
Solving quantifier-free first-order constraints over finite sets and binary relations2020-03-03Paper
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form2020-02-10Paper
A Decision Procedure for Sets, Binary Relations and Partial Functions2019-05-03Paper
A set solver for finite set relation algebra2018-11-08Paper
Constraint Logic Programming with Polynomial Constraints over Finite Domains2018-10-02Paper
Adding partial functions to Constraint Logic Programming with sets2017-11-09Paper
A decision procedure for restricted intensional sets2017-09-22Paper
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets2017-07-12Paper
A necessary condition for constructive negation in constraint logic programming2016-06-16Paper
Logic programming in Italy: a historical perspective2010-07-20Paper
GASP: Answer set programming with lazy grounding2010-02-05Paper
Integrating finite domain and set constraints into a set-based constraint language2010-02-05Paper
Logic Programming2009-08-06Paper
Set unification2007-02-13Paper
https://portal.mardi4nfdi.de/entity/Q44740082004-08-04Paper
Constructive negation and constraint logic programming with sets2001-10-10Paper
https://portal.mardi4nfdi.de/entity/Q49448642000-12-05Paper
https://portal.mardi4nfdi.de/entity/Q45063982000-09-18Paper
https://portal.mardi4nfdi.de/entity/Q42641051999-09-16Paper
https://portal.mardi4nfdi.de/entity/Q43854501998-04-13Paper
{log}: A language for programming in logic with finite sets1997-11-10Paper
Extending Horn clause logic with implication goals1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q39912081992-06-28Paper
Using Prolog for building FROG, a hybrid knowledge representation system1989-01-01Paper

Research outcomes over time

This page was built for person: Gianfranco Rossi