Robert Craven

23 papers A* 2A 3B 4C 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A* conf
Reasoning About Actual Causality in Answer Set Programming.
KR
Daniel Özcan, Dalal Alrajeh, Robert Craven
2024 J jnl
Survey on Vulnerability Testing in the Smart Grid.
IEEE Access
Shampa Banik, Michael Rogers, Satish M. Mahajan, Chikezie Emeghara, Trapa Banik, Robert Craven
2022 — conf
Testbed for Evaluating and Analyzing Smart Grid Behavior in Demand Response Scenarios.
ICUMT
Rajesh Manicavasagam, Anthony Palmer, Mike Rogers, Satish Mahajan, Robert Craven, Chikezie Emeghara, Ryan Senz
2020 — conf
Development of A Wireless Power Transmission System for Agriculture Sensor Devices.
IEEE BigData
Charles A. Robinson, Brandon T. Nieman, Robert Craven, Muhammad Enagi Bima, Charles W. Van Neste
2017 J jnl
Adaptive Immune System reinforcement Learning-Based algorithm for real-time Cascading Failures prevention.
Eng. Appl. Artif. Intell.
Adeniyi Abdulrasheed Babalola, Rabie Belkacemi, Sina Zarrabian, Robert Craven
2016 J jnl
Argument graphs and assumption-based argumentation.
Artif. Intell.
Robert Craven, Francesca Toni
2014 B conf
Automated Error-Detection and Repair for Compositional Software Specifications.
SEFM
Dalal Alrajeh, Robert Craven
2013 — conf
Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.
CLIMA
Xiuyi Fan, Robert Craven, Ramsay Singer, Francesca Toni, Matthew Williams
2013 — conf
Graph-Based Dispute Derivations in Assumption-Based Argumentation.
TAFA
Robert Craven, Francesca Toni, Matthew Williams
2012 C conf
Argumentation-Based Reinforcement Learning for RoboCup Keepaway.
COMMA
Yang Gao, Francesca Toni, Robert Craven
2012 A conf
Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.
ECAI
Yang Gao, Francesca Toni, Robert Craven
2012 A* conf
Efficient Argumentation for Medical Decision-Making.
KR
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
2012 — ed.
Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Logic Programs, Norms and Action
Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, Kostas Stathis
2011 B conf
Policy refinement: Decomposition and operationalization for dynamic domains.
CNSM
Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman
2011 C conf
Rumpole: a flexible break-glass access control model.
SACMAT
Srdjan Marinovic, Robert Craven, Jiefei Ma, Naranker Dulay
2010 B conf
Decomposition techniques for policy refinement.
CNSM
Robert Craven, Jorge Lobo, Emil C. Lupu, Alessandra Russo, Morris Sloman
2009 A conf
Expressive policy analysis with enhanced system dynamicity.
AsiaCCS
Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil C. Lupu, Arosha K. Bandara
2009 — conf
Security policy refinement using data integration: a position paper.
SafeConfig
Robert Craven, Jorge Lobo, Emil Lupu, Alessandra Russo, Morris Sloman
2008 J jnl
Agent strands in the action language nC+.
J. Appl. Log.
Robert Craven, Marek J. Sergot
2006 — conf
The Deontic Component of Action Language nC+.
DEON
Marek J. Sergot, Robert Craven
2005 J jnl
Distant Causation in C+.
Stud Logica
Robert Craven, Marek J. Sergot
2005 B conf
Some Logical Properties of Nonmonotonic Causal Theories.
LPNMR
Marek J. Sergot, Robert Craven
1983 A conf
Chroma Voltmeter Measurement Techniques for Analog LSI Devices.
ITC
Robert Craven, Joseph Schissler, Peter Konde