Nested sequent calculi for conditional logics R Alenda, N Olivetti, GL Pozzato European Workshop on Logics in Artificial Intelligence, 14-27, 2012 | 21 | 2012 |

Nested sequent calculi for normal conditional logics R Alenda, N Olivetti, GL Pozzato Journal of Logic and Computation 26 (1), 7-50, 2013 | 18 | 2013 |

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 |

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 | 13 | 2009 |

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 | 8 | 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 International Workshop on Computer Science Logic, 52-66, 2010 | 2 | 2010 |

Nested Sequent Calculi for Normal Conditional Logics N Olivetti, GL 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, GL 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 | | |