Gianfranco Rossi
Orcid: 0000-0002-6970-8790
According to our database1,
Gianfranco Rossi
authored at least 74 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers.
J. Autom. Reason., December, 2024
ACM Trans. Comput. Log., January, 2024
Proceedings of the From Computational Logic to Computational Biology, 2024
2023
Theory Pract. Log. Program., March, 2023
Comput. J., March, 2023
2022
A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers.
CoRR, 2022
Comput. J., 2022
2021
J. Autom. Reason., 2021
CoRR, 2021
2020
Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations.
J. Autom. Reason., 2020
2018
Fundam. Informaticae, 2018
Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
Proceedings of the 31st Italian Conference on Computational Logic, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
A Subdivision Approach to the Solution of Polynomial Constraints over Finite Domains Using the Modified Bernstein Form.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2015
Theory Pract. Log. Program., 2015
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015
2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
2011
Comput. Lang. Syst. Struct., 2011
2010
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Fundam. Informaticae, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Trans. Comput. Log., 2008
2007
Softw. Pract. Exp., 2007
2006
2003
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
JAVASET: Declarative Programming in Java with Sets.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
2001
New Gener. Comput., 2001
2000
Inf. Process. Lett., 2000
1999
ACI1 Constraints.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
1998
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.
Fundam. Informaticae, 1998
On the Representation and Management of Finite Sets in CLP Languages.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998
1997
Action Specifications in log.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
Dealing with Infinite Intensional Sets in CLP.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Integrating Lists, Multisets, and Sets in a Logic Programming Framework.
Proceedings of the Frontiers of Combining Systems, 1996
1994
Compiling Intensional Sets in CLP.
Proceedings of the Logic Programming, 1994
Solving Systems of Equations over Hypersets.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994
1993
Embedding extensional finite sets in CLP.
Proceedings of the Logic Programming, 1993
Extensional and Intensional Sets in CLP with Intensional Negation.
Proceedings of the Workshop on Logic Programming with Sets, 1993
Unification of Hyperset Terms.
Proceedings of the Workshop on Logic Programming with Sets, 1993
Che Genere di Insiemi/Multi-insiemi/Iper-insiemi Incorporare nella Programazione Logica?
Proceedings of the 8th Italian Conference on Logic Programming, 1993
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
A WAM Implementation for the Logic Meta Programming Language 'Log.
Proceedings of the 8th Italian Conference on Logic Programming, 1993
1992
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992
1991
{log}: A Logic Programming Language with Finite Sets.
Proceedings of the Logic Programming, 1991
1989
New Gener. Comput., 1989
1988
Local Definitions with Static Scope Rules in Logic Programming.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988
Proceedings of the ESOP '88, 1988
1986
An Algorithm for Unification in Equational Theories.
Proceedings of the 1986 Symposium on Logic Programming, 1986
Proceedings of the Third International Conference on Logic Programming, 1986
1984
Efficient Unificatioin with Infinite Terms in Logic Programming.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1984