D. Rispoli

Most-cited papers

A system for classifying multi-label text into EuroVoc
G. Boella, Luigi Di Caro, D. Rispoli, L. Robaldo
2013International Conference on Artificial Intelligence and Law24 citations
Semantic Scholar
Embedding and automating conditional logics in classical higher-order logic
Christoph Benzmüller, D. Gabbay, Valerio Genovese, D. Rispoli
2011Annals of Mathematics and Artificial Intelligence20 citations Open access
Semantic Scholar
Multi-label Classification of Legislative Text into EuroVoc
G. Boella, Luigi Di Caro, L. Lesmo, D. Rispoli +1 more
2012International Conference on Legal Knowledge and Information Systems13 citations
Semantic Scholar
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction
Valerio Genovese, Deepak Garg, D. Rispoli
2012IEEE Computer Security Foundations Symposium8 citations
Semantic Scholar
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving
Valerio Genovese, D. Rispoli, D. Gabbay, Leendert van der Torre
2010Starting AI Researchers' Symposium4 citations Open access
Semantic Scholar
Labeled Goal-Directed Search in Access Control Logic
Valerio Genovese, Deepak Garg, D. Rispoli
2012International Workshop on Security and Trust Management1 citations
Semantic Scholar
A user-centric approach for federated identity management.
R. Accornero, F. Bergadano, G. Lucisano, D. Rispoli
20130 citations
Semantic Scholar
Neural-Symbolic Rule-Based Monitoring
A. Perotti, A. Garcez, G. Boella, D. Rispoli
2012NeSy@AAAI0 citations
Semantic Scholar
Privacy-enhanced identity via browser extensions and linking services
R. Accornero, D. Rispoli, F. Bergadano
2011International Conference on Network and System Security0 citations
Semantic Scholar