Nested sequent calculi for normal conditional logics R Alenda, N Olivetti, GL Pozzato Journal of Logic and Computation 26 (1), 7-50, 2013 | 25 | 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 | 15 | 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 | 12 | 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 | 12 | 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 | 4 | 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 over minspaces 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 |
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 | | |