Genovese, Valerio
Genovese, Valerio
A meta-model of access control in a fibred security language
2009-01-01 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-01-01 M. BALDONI; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
Checking Consistency in role oriented Dependence Networks
2009-01-01 G. Boella;V. Genovese;L. v. der Torre;S. Villata
Dynamics in Delegation and Revocation Schemes: A Logical Approach
2011-01-01 Guillaume Aucher; Steve Barker; Guido Boella; Valerio Genovese; Leendert van der Torre
Fibred security language
2009-01-01 Guido Boella; Dov M. Gabbay; Valerio Genovese; Leendert van der Torre
FSL - Fibred Security Language
2009-01-01 Guido Boella; Dov Gabbay; Valerio Genovese; Leendert van der Torre
How to Program Organizations and Roles in the JADE Framework
2008-01-01 M. BALDONI; G. BOELLA; V. GENOVESE; R. GRENNA; L. VAN DER TORRE
Learning and Reasoning about Norms using Neural-Symbolic Systems
2012-01-01 Guido Boella; Silvano Colombo Tosatto; Artur d'Avila Garcez; Valerio Genovese; Perotti Alan; Leendert van der Torre
Neural symbolic architecture for normative agents
2011-01-01 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-01-01 S. Barker;G. Boella;D. Gabbay;V. Genovese
| 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 |