Valerio Genovese

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Nonmonotonic Inference

Top Venues

J. Log. Comput.

Ann. Math. Artif. Intell.

Publications

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Logics in access control: a conditional approach. J. Log. Comput. 24 (4) (2014)
Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese
Reasoning about delegation and revocation schemes in answer set programming. J. Log. Comput. 24 (1) (2014)
Christoph Benzmueller, Valerio Genovese
Quantified Conditional Logics are Fragments of HOL CoRR (2012)
Steve Barker, Valerio Genovese
Access Control with Privacy Enhancements a Unified Approach. IEEE Trans. Dependable Secur. Comput. 9 (5) (2012)
Valerio Genovese, Deepak Garg, Daniele Rispoli
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. CSF (2012)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre
Learning and reasoning about norms using neural-symbolic systems. AAMAS (2012)
Deepak Garg, Valerio Genovese, Sara Negri
Countermodels from Sequent Calculi in Multi-Modal Logics. LICS (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)
Steve Barker, Valerio Genovese
Secommunity: A Framework for Distributed Access Control. LPNMR (2011)
Steve Barker, Valerio Genovese
Socially Constructed Trust for Distributed Authorization. ESORICS (2011)
Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
Embedding and Automating Conditional Logics in Classical Higher-Order Logic CoRR (2011)
Valerio Genovese, Deepak Garg
New Modalities for Access Control Logics: Permission, Control and Ratification. STM (2011)
Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre
Dynamics in Delegation and Revocation Schemes: A Logical Approach. DBSec (2011)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre
Embedding Normative Reasoning into Neural Symbolic Systems. NeSy (2011)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX (2011)
Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre
Neural symbolic architecture for normative agents. AAMAS (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)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A Constructive Conditional Logic for Access Control. CILC (2010)
Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre
Higher-Order Coalition Logic. ECAI (2010)
Steve Barker, Valerio Genovese
A Logic of Privacy. DBSec (2010)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A constructive conditional logic for access control: a preliminary report. ECAI (2010)
Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre
Fibred Security Language. Stud Logica 92 (3) (2009)
Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert W. N. van der Torre
A Middleware for Modeling Organizations and Roles in Jade. PROMAS (2009)
Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre
FSL - Fibred Security Language. Normative Multi-Agent Systems (2009)
Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese
A Meta-model of Access Control in a Fibred Security Language. Stud Logica 92 (3) (2009)
Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre, Mauro Dorni, Andrea Mugnaini, Valerio Genovese
Adding Organizations and Roles as Primitives to the JADE Framework. Programming Multi-Agent Systems (2008)
Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre
Adding Organizations and Roles as Primitives to JADE Framework. NORMAS (2008)
Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre
How to Program Organizations and Roles in the JADE Framework. MATES (2008)
Erik Arnaudo, Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna
An implementation of roles as affordances: powerJava. WOA (2007)
Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre
Merging Roles in Coordination and in Agent Deliberation. PRIMA (2007)
Valerio Genovese
Towards a General Framework for Modelling Roles. Normative Multi-agent Systems (2007)