Efficient Argumentation for Medical Decision-Making.
Craven,
Toni,
Cadar,
Hadad,
Williams.
KR 2012 (accepted).
Policy Refinement: Decomposition and Operationalization for Dynamic Domains.
Craven,
Lobo,
Lupu,
Russo,
Sloman.
CNSM 2011.
Rumpole: A Flexible Break-glass Access Control Model.
Marinovic,
Craven,
Ma,
Dulay.
SACMAT 2011 (best paper).
Policies, Norms and Actions: Groundwork for a Framework.
Craven. Dept. Computing Technical Report 2011/3.
Decomposition Techniques for Policy Refinement.
Craven,
Lobo,
Lupu,
Russo,
Sloman.
CNSM 2010.
Security Policy Refinement using Data Integration: A Position Paper.
Craven,
Lobo,
Lupu,
Russo,
Sloman.
SafeConfig 2009.
Expressive Policy Analysis with Enhanced System Dynamicity.
Craven,
Lobo,
Ma,
Russo,
Lupu,
Sloman,
Bandara.
ASIACCS 2009.
A Formal Framework for Policy Analysis.
Craven,
Lobo,
Lupu,
Ma,
Russo,
Sloman,
Bandara.
Dept. Computing Technical Report 2008/5.
Agent Strands in the Action Language nC+.
Craven,
Sergot.
Journal of Applied Logic 6(2), 2008.
Execution Mechanisms for the Action Language C+.
Craven.
Ph.D. thesis, 2007.
The Deontic Component of Action Language nC+.
Sergot,
Craven.
DEON 2006.
Some Logical Properties of Nonmonotonic Causal Theories.
Sergot,
Craven.
LPNMR 2005.
Logical Properties of Nonmonotonic Causal Theories and the Action Language C+.
Craven,
Sergot.
Dept. Computing Technical Report 2005/5.
Distant Causation in C+.
Craven,
Sergot.
Studia Logica 79(1), 2005.