Valerio Genovese

32 papers A* 1A 6B 5C 1Journal 8Unranked 11

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