Daniele Rispoli

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Automatic Text Classification

K Nearest Neighbor

Top Venues

Publications

Guido Boella, Luigi Di Caro, Daniele Rispoli, Livio Robaldo
A system for classifying multi-label text into EuroVoc. ICAIL (2013)
Valerio Genovese, Deepak Garg, Daniele Rispoli
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. CSF (2012)
Guido Boella, Luigi Di Caro, Leonardo Lesmo, Daniele Rispoli, Livio Robaldo
Multi-label Classification of Legislative Text into EuroVoc. JURIX (2012)
Alan Perotti, Artur d'Avila Garcez, Guido Boella, Daniele Rispoli
Neural-Symbolic Rule-Based Monitoring. NeSy@AAAI (2012)
Valerio Genovese, Deepak Garg, Daniele Rispoli
Labeled Goal-Directed Search in Access Control Logic. STM (2012)
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) (2012)
Renato Accornero, Daniele Rispoli, Francesco Bergadano
Privacy-enhanced identity via browser extensions and linking services. NSS (2011)
Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
Embedding and Automating Conditional Logics in Classical Higher-Order Logic CoRR (2011)
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)