# 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.