Search
Results 1-9 of 9
Publication Date | Title | Author(s) |
---|---|---|
1-Jan-2009 | Learning Rules from User Behaviour | Corapi, D; Ray, O; Russo, A; Bandara, A; Lupu, E |
1-May-1999 | Labelled Natural Deduction for Substructural Logics | Russo, A; Broda, K; Finger, M |
1-Jan-1998 | On the consequences of acting in the presence of inconsistency | Nuseibeh, B; Russo, A |
1-Jan-2003 | Using event calculus to formalise policy specification and analysis | Bandara, AK; Lupu, EC; Russo, A |
30-Sep-2007 | Toward a Formal Characterization of Policy Specification & Analysis | Bandara, A; Lobo, J; Calo, S; Lupu, E; Russo, A, et al |
1-Dec-2010 | Decomposition techniques for policy refinement. | Craven, R; Lobo, J; Lupu, EC; Russo, A; Sloman, M |
1-Dec-2011 | Policy Refinement: Decomposition and Operationalization for Dynamic Domains | Craven; Lobo, J; Lupu, E; Russo, A; Sloman, M |
1-Jan-2004 | A goal-based approach to policy refinement | Bandara, AK; Lupu, EC; Moffett, J; Russo, A |
31-Dec-1998 | A Translation Method for Four-valued Logics | Russo, A; Rodrigues, O |
- previous
- 1
- next