Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Robert Craven

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/comma/GaoTC12
- ask others
Yang Gao, Francesca Toni, Robert Craven: Argumentation-Based Reinforcement Learning for RoboCup Keepaway. COMMA 2012: 519-520
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecai/GaoTC12
- ask others
Yang Gao, Francesca Toni, Robert Craven: Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. ECAI 2012: 342-347
[c9]
- view
  - electronic edition @ aaai.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kr/CravenTCHW12
- ask others
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams: Efficient Argumentation for Medical Decision-Making. KR 2012
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/2012sergot
- ask others
Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis (Eds.): Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7360, Springer 2012, ISBN 978-3-642-29413-6
2011
[c8]
- view
  - electronic edition @ ieee.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cnsm/CravenLLRS11
- ask others
Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Policy refinement: Decomposition and operationalization for dynamic domains. CNSM 2011: 1-9
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sacmat/MarinovicCMD11
- ask others
Srdjan Marinovic, Robert Craven, Jiefei Ma, Naranker Dulay: Rumpole: a flexible break-glass access control model. SACMAT 2011: 73-82
2010
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cnsm/CravenLLRS10
- ask others
Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman: Decomposition techniques for policy refinement. CNSM 2010: 72-79

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ccs/CravenLMRLB09
- ask others
Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara: Expressive policy analysis with enhanced system dynamicity. ASIACCS 2009: 239-250
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/safeconfig/CravenLLRS09
- ask others
Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman: Security policy refinement using data integration: a position paper. SafeConfig 2009: 25-28
2008
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/japll/CravenS08
- ask others
Robert Craven, Marek J. Sergot: Agent strands in the action language nC+. J. Applied Logic 6(2): 172-191 (2008)
2006
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/deon/SergotC06
- ask others
Marek J. Sergot, Robert Craven: The Deontic Component of Action Language nC+. DEON 2006: 222-237
2005
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sLogica/CravenS05
- ask others
Robert Craven, Marek J. Sergot: Distant Causation in C+. Studia Logica 79(1): 73-96 (2005)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpnmr/SergotC05
- ask others
Marek J. Sergot, Robert Craven: Some Logical Properties of Nonmonotonic Causal Theories. LPNMR 2005: 198-210

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1983
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itc/CravenSK83
- ask others
Robert Craven, Joseph Schissler, Peter Konde: Chroma Voltmeter Measurement Techniques for Analog LSI Devices. ITC 1983: 771-783