Follow
Regis Alenda
Regis Alenda
PhD Student, Université Paul-Cézanne, Marseille, France
Verified email at lsis.org
Title
Cited by
Cited by
Year
Nested sequent calculi for normal conditional logics
R Alenda, N Olivetti, GL Pozzato
Journal of Logic and Computation 26 (1), 7-50, 2013
252013
Nested sequent calculi for conditional logics
R Alenda, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 14-27, 2012
202012
Comparative concept similarity over minspaces: Axiomatisation and tableaux calculus
R Alenda, N Olivetti, C Schwind
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
152009
Tableau calculus for the Logic of Comparative Similarity over arbitrary distance spaces
R Alenda, N Olivetti
International Conference on Logic for Programming Artificial Intelligence …, 2010
122010
Csl-lean: A theorem-prover for the logic of comparative concept similarity
R Alenda, N Olivetti, GL Pozzato
Electronic Notes in Theoretical Computer Science 262, 3-16, 2010
122010
Preferential semantics for the logic of comparative similarity over triangular and metric models
R Alenda, N Olivetti
European Workshop on Logics in Artificial Intelligence, 1-13, 2012
42012
Preferential semantics for the logic of comparative concepts similarity
R Alenda, N Olivetti, C Schwind, D Tishkovsky
Topology, Algebra, and Categories in Logic, 69, 2010
32010
Tableau Calculi for over minspaces
R Alenda, N Olivetti, C Schwind, D Tishkovsky
Computer Science Logic, 2010
22010
CSymLean: a theorem prover for the logic CSL over symmetric minspaces
R Alenda, N Olivetti
International Conference on Automated Reasoning with Analytic Tableaux and …, 2011
2011
CSL-lean
R Alenda, N Olivetti, G Pozzato
Dipartimento di Informatica-Università di Torino, 2009
2009
Nested sequents for Conditional Logics: Preliminary Results
N Olivetti, GL Pozzato, R Alenda
Logique de Similarité Comparative sur Modeles Triangulaires et Métriques: Sémantique Préférentielle, Axiomatization et Complétude
R Alenda, N Olivetti
An axiomatization and a tableau calculus for the logic of comparative concept similarity
R Alenda, N Olivetti, C Schwind
Reasoning about comparative similarity in ontologies: a first step
R Alenda, N Olivetti, C Schwind
The system can't perform the operation now. Try again later.
Articles 1–14