Régis Alenda

According to our database, Régis Alenda authored at least 8 papers between 2009 and 2016.

Collaborative distances:

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

2016

Nested sequent calculi for normal conditional logics.

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato

J. Log. Comput., 2016

2012

Nested Sequent Calculi for Conditional Logics.

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models.

Régis Alenda, Nicola Olivetti

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces.

Régis Alenda, Nicola Olivetti

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.

Régis Alenda, Nicola Olivetti

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Tableau Calculi for <i>CSL</i>\mathcal{CSL} over minspaces.

Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky

Proceedings of the Computer Science Logic, 24th International Workshop, 2010

2009

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity.

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.

Régis Alenda, Nicola Olivetti, Camilla Schwind

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009