Gabriele Buriola

According to our database, Gabriele Buriola authored at least 11 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

CoRR, July, 2025

Explainability by design: an experimental analysis of the legal coding process.

Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola

CoRR, May, 2025

An Experimental Analysis of the Legal Coding Process.

Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola

Proceedings of the Companion Proceedings of the 9th International Joint Conference on Rules and Reasoning, 2025

2024

From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021).

Ingo Blechschmidt, Hajime Ishihara, Peter M. Schuster, Gabriele Buriola

Dagstuhl Reports, 2024

Simulating the Law in a Multi-Agent System.

Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola

Proceedings of the 25th Workshop "From Objects to Agents", 2024

A General Constructive Form of Higman's Lemma.

Stefano Berardi, Gabriele Buriola, Peter Schuster

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Some Decidability Issues Concerning C^n Real Functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 39th Italian Conference on Computational Logic, 2024

2023

A decidable theory involving addition of differentiable real functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Theor. Comput. Sci., 2023

A Constructive Picture of Noetherian Conditions and Well Quasi-orders.

Gabriele Buriola, Peter Schuster, Ingo Blechschmidt

Proceedings of the Unity of Logic and Computation, 2023

2021

A Decidable Theory Treating Addition of Differentiable Real Functions.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Proceedings of the 35th Italian Conference on Computational Logic, 2020