Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. - Valerio Genovese; Daniele Rispoli; Dov M. Gabbay; Leendert W. N. van der Torre (STAIRS, 2010)

Privacy-enhanced identity via browser extensions and linking services. - Renato Accornero; Daniele Rispoli; Francesco Bergadano (NSS, 2011)

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. - Valerio Genovese; Deepak Garg 001; Daniele Rispoli (CSF, 2012)

Multi-label Classification of Legislative Text into EuroVoc. - Guido Boella; Luigi Di Caro; Leonardo Lesmo; Daniele Rispoli; Livio Robaldo (JURIX, 2012)

Neural-Symbolic Rule-Based Monitoring. - Alan Perotti; Artur d'Avila Garcez; Guido Boella; Daniele Rispoli (NeSy@AAAI, 2012)

Labeled Goal-Directed Search in Access Control Logic. - Valerio Genovese; Deepak Garg 001; Daniele Rispoli (STM, 2012)

Embedding and automating conditional logics in classical higher-order logic. - Christoph Benzmüller; Dov M. Gabbay; Valerio Genovese; Daniele Rispoli (Ann. Math. Artif. Intell., 2012)

A system for classifying multi-label text into EuroVoc. - Guido Boella; Luigi Di Caro; Daniele Rispoli; Livio Robaldo (ICAIL, 2013)