| 2025 | KR | Reasoning About Actual Causality in Answer Set Programming. | Daniel zcan, Dalal Alrajeh, Robert Craven |
| 2014 | SEFM | Automated Error-Detection and Repair for Compositional Software Specifications. | Dalal Alrajeh, Robert Craven |
| 2012 | COMMA | Argumentation-Based Reinforcement Learning for RoboCup Keepaway. | Yang Gao, Francesca Toni, Robert Craven |
| 2012 | ECAI | Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. | Yang Gao, Francesca Toni, Robert Craven |
| 2012 | KR | Efficient Argumentation for Medical Decision-Making. | Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams |
| 2011 | CNSM | Policy refinement: Decomposition and operationalization for dynamic domains. | Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman |
| 2011 | SACMAT | Rumpole: a flexible break-glass access control model. | Srdjan Marinovic, Robert Craven, Jiefei Ma, Naranker Dulay |
| 2010 | CNSM | Decomposition techniques for policy refinement. | Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman |
| 2009 | CCS | Expressive policy analysis with enhanced system dynamicity. | Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara |
| 2005 | LPNMR | Some Logical Properties of Nonmonotonic Causal Theories. | Marek J. Sergot, Robert Craven |
| 1983 | ITC | Chroma Voltmeter Measurement Techniques for Analog LSI Devices. | Robert Craven, Joseph Schissler, Peter Konde |