Regis Alenda
Regis Alenda
PhD Student, Université Paul-Cézanne, Marseille, France
Dirección de correo verificada de lsis.org
Título
Citado por
Citado por
Año
Nested sequent calculi for conditional logics
R Alenda, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 14-27, 2012
212012
Nested sequent calculi for normal conditional logics
R Alenda, N Olivetti, GL Pozzato
Journal of Logic and Computation 26 (1), 7-50, 2013
182013
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
132010
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
132009
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
62010
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
32012
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
International Workshop on Computer Science Logic, 52-66, 2010
22010
Nested Sequent Calculi for Normal Conditional Logics
N Olivetti, G Pozzato, R Alenda
2016
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15