Régis Alenda

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Classification Models

Nonmonotonic Inference

Sequent Calculi

Higher Order Logic

Top Venues

J. Log. Comput.

Publications

Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested sequent calculi for normal conditional logics. J. Log. Comput. 26 (1) (2016)
Régis Alenda, Nicola Olivetti
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. JELIA (2012)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested Sequent Calculi for Conditional Logics. JELIA (2012)
Régis Alenda, Nicola Olivetti
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. TABLEAUX (2011)
Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
\mathcal{CSL} over minspaces. CSL (2010)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. Electron. Notes Theor. Comput. Sci. 262 (2010)
Régis Alenda, Nicola Olivetti
Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. LPAR (Yogyakarta) (2010)
Régis Alenda, Nicola Olivetti, Camilla Schwind
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX (2009)
Régis Alenda, Nicola Olivetti, Camilla Schwind
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR (2009)