Towards a General Framework for Modelling Roles. - Valerio Genovese (Normative Multi-agent Systems, 2007)

Merging Roles in Coordination and in Agent Deliberation. - Guido Boella; Valerio Genovese; Roberto Grenna; Leendert W. N. van der Torre (PRIMA, 2007)

An implementation of roles as affordances: powerJava. - Erik Arnaudo; Matteo Baldoni; Guido Boella; Valerio Genovese; Roberto Grenna (WOA, 2007)

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 (Programming Multi-Agent 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 (MATES, 2008)

Adding Organizations and Roles as Primitives to JADE Framework. - Matteo Baldoni; Valerio Genovese; Roberto Grenna; Leendert W. N. van der Torre (NORMAS, 2008)

FSL - Fibred Security Language. - Valerio Genovese; Dov M. Gabbay; Guido Boella; Leendert W. N. van der Torre (Normative Multi-Agent Systems, 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 (PROMAS, 2009)

A Meta-model of Access Control in a Fibred Security Language. - Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese (Stud Logica, 2009)

Fibred Security Language. - Guido Boella; Dov M. Gabbay; Valerio Genovese; Leendert W. N. van der Torre (Stud Logica, 2009)

A Constructive Conditional Logic for Access Control. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (CILC, 2010)

A Logic of Privacy. - Steve Barker; Valerio Genovese (DBSec, 2010)

Higher-Order Coalition Logic. - Guido Boella; Dov M. Gabbay; Valerio Genovese; Leendert W. N. van der Torre (ECAI, 2010)

A constructive conditional logic for access control: a preliminary report. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (ECAI, 2010)

Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. - Valerio Genovese; Daniele Rispoli; Dov M. Gabbay; Leendert W. N. van der Torre (STAIRS, 2010)

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 (AAMAS, 2011)

Dynamics in Delegation and Revocation Schemes: A Logical Approach. - Guillaume Aucher; Steve Barker; Guido Boella; Valerio Genovese; Leendert W. N. van der Torre (DBSec, 2011)

Socially Constructed Trust for Distributed Authorization. - Steve Barker; Valerio Genovese (ESORICS, 2011)

Secommunity: A Framework for Distributed Access Control. - Steve Barker; Valerio Genovese (LPNMR, 2011)

Embedding Normative Reasoning into Neural Symbolic Systems. - Guido Boella; Silvano Colombo Tosatto; Artur S. d'Avila Garcez; Valerio Genovese; Leon van der Torre (NeSy, 2011)

New Modalities for Access Control Logics: Permission, Control and Ratification. - Valerio Genovese; Deepak Garg 001 (STM, 2011)

A Conditional Constructive Logic for Access Control and Its Sequent Calculus. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2011)

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 (AAMAS, 2012)

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. - Valerio Genovese; Deepak Garg 001; Daniele Rispoli (CSF, 2012)

Countermodels from Sequent Calculi in Multi-Modal Logics. - Deepak Garg 001; Valerio Genovese; Sara Negri (LICS, 2012)

Labeled Goal-Directed Search in Access Control Logic. - Valerio Genovese; Deepak Garg 001; Daniele Rispoli (STM, 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)

Quantified Conditional Logics are Fragments of HOL - Christoph Benzmueller; Valerio Genovese (CoRR, 2012)

Access Control with Privacy Enhancements a Unified Approach. - Steve Barker; Valerio Genovese (IEEE Trans. Dependable Secur. Comput., 2012)

Reasoning about delegation and revocation schemes in answer set programming. - Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese (J. Log. Comput., 2014)

Logics in access control: a conditional approach. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (J. Log. Comput., 2014)