Nested sequent calculi for normal conditional logics R Alenda, N Olivetti, GL Pozzato
Journal of Logic and Computation 26 (1), 7-50, 2013
27 2013 Nested sequent calculi for conditional logics R Alenda, N Olivetti, GL Pozzato
European Workshop on Logics in Artificial Intelligence, 14-27, 2012
20 2012 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
16 2009 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
13 2010 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
13 2010 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
5 2012 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
3 2010 Tableau Calculi for R Alenda, N Olivetti, C Schwind, D Tishkovsky
Computer Science Logic, 2010
2 2010 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 LSIS UMR CNRS 6168 R Alenda, N Olivetti
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
2010 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
