Daniele Rispoli

According to our database, Daniele Rispoli authored at least 8 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2013

A system for classifying multi-label text into EuroVoc.

Guido Boella, Luigi Di Caro, Daniele Rispoli, Livio Robaldo

Proceedings of the International Conference on Artificial Intelligence and Law, 2013

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

Labeled Goal-Directed Search in Access Control Logic.

Valerio Genovese, Deepak Garg, Daniele Rispoli

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Neural-Symbolic Rule-Based Monitoring.

Alan Perotti, Artur d'Avila Garcez, Guido Boella, Daniele Rispoli

Proceedings of the Neural-Symbolic Learning and Reasoning (NeSy 2012), 2012

Multi-label Classification of Legislative Text into EuroVoc.

Guido Boella, Luigi Di Caro, Leonardo Lesmo, Daniele Rispoli, Livio Robaldo

Proceedings of the Legal Knowledge and Information Systems, 2012

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.

Valerio Genovese, Deepak Garg, Daniele Rispoli

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Privacy-enhanced identity via browser extensions and linking services.

Renato Accornero, Daniele Rispoli, Francesco Bergadano

Proceedings of the 5th International Conference on Network and System Security, 2011

2010

Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.

Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the STAIRS 2010, 2010