Robert Craven

robert.craven@imperial.ac.uk

Research

Argumentation theory; logics of action; deontic logic; policy analysis.
I'm a research associate at Imperial College, currently working on TRaDAr with Francesca Toni.

Collaborators

Links to pages of those I've worked with on the writings listed below:
Artikis, Bandara, Cadar, Çiçekli, Dulay, Fan, Gao, Lobo, Lupu, Ma, Marinovic, Russo, Sadighi, Sergot, Sloman, Stathis, Toni, Williams.

Software

iCCalc and mcLUCA (C+ and the logic of unwitting agency).
proxdd and grapharg (assumption-based argumentation).
concord (hypertextual, self-referential concordance of Joyce's Ulysses and other texts).

Selected publications

• Graph-Based Dispute Derivations in Assumption-Based Argumentation.
  Craven, Toni, Williams. TAFA 2013.
• Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.
  Fan, Craven, Singer, Toni, Williams. CLIMA 2013.
• Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.
  Gao, Toni, Craven. COMMA 2012.
• Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.
  Gao, Toni, Craven. ECAI 2012.
• Efficient Argumentation for Medical Decision-Making.
  Craven, Toni, Cadar, Hadad, Williams. KR 2012.
• Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot.
  Artikis, Craven, Çiçekli, Sadighi, Stathis (eds.). Springer, LNAI 7360, 2012.
• 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.