Robert Craven
Loading Google Thumbnails...
| 2011 |
|---|
| 7 | Policy refinement: Decomposition and operationalization for dynamic domains. Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman. CNSM 2011, 1-9. Web SearchBibTeXDownload |
| 2010 |
|---|
| 6 | Decomposition techniques for policy refinement. Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman. CNSM 2010, 72-79. Web SearchBibTeXDownload |
| 2009 |
|---|
| 5 | Expressive policy analysis with enhanced system dynamicity. Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara. ASIACCS 2009, 239-250. Cited by 5Web SearchBibTeXDownload |
| 2008 |
|---|
| 4 | Agent strands in the action language nC+. Robert Craven, Marek J. Sergot. J. Applied Logic (6): 172-191 (2008). Web SearchBibTeXDownload |
| 2006 |
|---|
| 3 | The Deontic Component of Action Language nC+. Marek J. Sergot, Robert Craven. DEON 2006, 222-237. Web SearchBibTeXDownload |
| 2005 |
|---|
| 2 | Some Logical Properties of Nonmonotonic Causal Theories. Marek J. Sergot, Robert Craven. LPNMR 2005, 198-210. Web SearchBibTeXDownload |
| 1 | Distant Causation in C+. Robert Craven, Marek J. Sergot. Studia Logica (79): 73-96 (2005). Web SearchBibTeXDownload |
from DBLP and Google Scholar
