Genovese, Valerio

Genovese, Valerio  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.012 secondi).
Titolo Data di pubblicazione Autore(i) File
A meta-model of access control in a fibred security language 2009 Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese
A Multimodal view on Access Control and Trust Management: Fibred Security Language In corso di stampa Guido Boella;Dov M. Gabbay;Valerio Genovese;Leendert van der Torre
Adding Organizations and Roles as Primitives to JADE Framework 2008 M. BALDONI; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
Checking Consistency in role oriented Dependence Networks 2009 G. Boella;V. Genovese;L. v. der Torre;S. Villata
Dynamics in Delegation and Revocation Schemes: A Logical Approach 2011 Guillaume Aucher; Steve Barker; Guido Boella; Valerio Genovese; Leendert van der Torre
Fibred security language 2009 Guido Boella; Dov M. Gabbay; Valerio Genovese; Leendert van der Torre
FSL - Fibred Security Language 2009 Guido Boella; Dov Gabbay; Valerio Genovese; Leendert van der Torre
How to Program Organizations and Roles in the JADE Framework 2008 M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
Learning and Reasoning about Norms using Neural-Symbolic Systems 2012 Guido Boella; Silvano Colombo Tosatto; Artur d'Avila Garcez; Valerio Genovese; Perotti Alan; Leendert van der Torre
Neural symbolic architecture for normative agents 2011 Guido Boella; Silvano Colombo Tosatto; Artur S. d'Avila Garcez; Valerio Genovese; Dino Ienco; Leendert van der Torre:
Reasoning about delegation and revocation schemes in answer set programming 2012 S. Barker;G. Boella;D. Gabbay;V. Genovese