- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j1 |      | Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and automating conditional logics in classical higher-order logic. Ann. Math. Artif. Intell. 66(1-4): 257-271 (2012) |
| c4 | | Valerio Genovese, Deepak Garg, Daniele Rispoli: Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. CSF 2012: 139-153 |
| c3 | | Guido Boella, Luigi Di Caro, Leonardo Lesmo, Daniele Rispoli, Livio Robaldo: Multi-label Classification of Legislative Text into EuroVoc. JURIX 2012: 21-30 |
| 2011 | ||
| c2 | | Renato Accornero, Daniele Rispoli, Francesco Bergadano: Privacy-enhanced identity via browser extensions and linking services. NSS 2011: 89-96 |
| i1 | | Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and Automating Conditional Logics in Classical Higher-Order Logic. CoRR abs/1106.3685 (2011) |
| 2010 | ||
| c1 | | Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre: Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS 2010: 114-126 |
| 1 | Renato Accornero | |
| 2 | Christoph Benzmüller (Christoph Benzmueller) | |
| 3 | Francesco Bergadano | |
| 4 | Guido Boella | |
| 5 | Luigi Di Caro | |
| 6 | Dov M. Gabbay | |
| 7 | Deepak Garg | |
| 8 | Valerio Genovese | |
| 9 | Leonardo Lesmo | |
| 10 | Livio Robaldo | |
| 11 | Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre) |
Colors in the list of coauthors
Last update Tue May 21 14:18:32 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page