Valerio Genovese

According to our database, Valerio Genovese authored at least 31 papers between 2007 and 2014.

Collaborative distances:

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

2014

Logics in access control: a conditional approach.

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

J. Log. Comput., 2014

Reasoning about delegation and revocation schemes in answer set programming.

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese

J. Log. Comput., 2014

2012

Access Control with Privacy Enhancements a Unified Approach.

Steve Barker, Valerio Genovese

IEEE Trans. Dependable Secur. Comput., 2012

Quantified Conditional Logics are Fragments of HOL

Christoph Benzmueller, Valerio Genovese

CoRR, 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

Countermodels from Sequent Calculi in Multi-Modal Logics.

Deepak Garg, Valerio Genovese, Sara Negri

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 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

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

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

A Conditional Constructive Logic for Access Control and Its Sequent Calculus.

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

New Modalities for Access Control Logics: Permission, Control and Ratification.

Valerio Genovese, Deepak Garg

Proceedings of the Security and Trust Management - 7th International Workshop, 2011

Embedding Normative Reasoning into Neural Symbolic Systems.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Secommunity: A Framework for Distributed Access Control.

Steve Barker, Valerio Genovese

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Socially Constructed Trust for Distributed Authorization.

Steve Barker, Valerio Genovese

Proceedings of the Computer Security - ESORICS 2011, 2011

Dynamics in Delegation and Revocation Schemes: A Logical Approach.

Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre

Proceedings of the Data and Applications Security and Privacy XXV, 2011

Neural symbolic architecture for normative agents.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 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

A constructive conditional logic for access control: a preliminary report.

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Proceedings of the ECAI 2010, 2010

Higher-Order Coalition Logic.

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre

Proceedings of the ECAI 2010, 2010

A Logic of Privacy.

Steve Barker, Valerio Genovese

Proceedings of the Data and Applications Security and Privacy XXIV, 2010

A Constructive Conditional Logic for Access Control.

Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Fibred Security Language.

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre

Stud Logica, 2009

A Meta-model of Access Control in a Fibred Security Language.

Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese

Stud Logica, 2009

A Middleware for Modeling Organizations and Roles in Jade.

Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

FSL - Fibred Security Language.

Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

2008

Adding Organizations and Roles as Primitives to JADE Framework.

Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

How to Program Organizations and Roles in the JADE Framework.

Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Adding Organizations and Roles as Primitives to the JADE Framework.

Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre, Mauro Dorni, Andrea Mugnaini, Valerio Genovese

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

2007

An implementation of roles as affordances: powerJava.

Erik Arnaudo, Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna

Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

Merging Roles in Coordination and in Agent Deliberation.

Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Towards a General Framework for Modelling Roles.

Valerio Genovese

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007