Valerio Genovese
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2007–2012
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | AAMAS | Learning and reasoning about norms using neural-symbolic systems. | Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre |
| 2012 | LICS | Countermodels from Sequent Calculi in Multi-Modal Logics. | Deepak Garg, Valerio Genovese, Sara Negri |
| 2011 | DBSEC | Dynamics in Delegation and Revocation Schemes: A Logical Approach. | Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre |
| 2011 | ESORICS | Socially Constructed Trust for Distributed Authorization. | Steve Barker, Valerio Genovese |
| 2011 | LPNMR | Secommunity: A Framework for Distributed Access Control. | Steve Barker, Valerio Genovese |
| 2011 | NeSy | Embedding Normative Reasoning into Neural Symbolic Systems. | Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre |
| 2011 | TABLEAUX | A Conditional Constructive Logic for Access Control and Its Sequent Calculus. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2010 | DBSEC | A Logic of Privacy. | Steve Barker, Valerio Genovese |
| 2010 | ECAI | Higher-Order Coalition Logic. | Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre |
| 2010 | ECAI | A constructive conditional logic for access control: a preliminary report. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2007 | PRIMA | Merging Roles in Coordination and in Agent Deliberation. | Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre |