Rgis Alenda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2009–2012
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | JELIA | Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models. | Rgis Alenda, Nicola Olivetti |
| 2012 | JELIA | Nested Sequent Calculi for Conditional Logics. | Rgis Alenda, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | TABLEAUX | CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces. | Rgis Alenda, Nicola Olivetti |
| 2010 | CSL | Tableau Calculi for | Rgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky |
| 2010 | LPAR | Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces. | Rgis Alenda, Nicola Olivetti |
| 2009 | TABLEAUX | Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. | Rgis Alenda, Nicola Olivetti, Camilla Schwind |