Robert Craven

According to our database1, Robert Craven authored at least 20 papers between 1983 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Testbed for Evaluating and Analyzing Smart Grid Behavior in Demand Response Scenarios.
Proceedings of the 14th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, 2022

2020
Development of A Wireless Power Transmission System for Agriculture Sensor Devices.
Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2017
Adaptive Immune System reinforcement Learning-Based algorithm for real-time Cascading Failures prevention.
Eng. Appl. Artif. Intell., 2017

2016
Argument graphs and assumption-based argumentation.
Artif. Intell., 2016

2014
Automated Error-Detection and Repair for Compositional Software Specifications.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013
Graph-Based Dispute Derivations in Assumption-Based Argumentation.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012
Efficient Argumentation for Medical Decision-Making.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.
Proceedings of the ECAI 2012, 2012

Argumentation-Based Reinforcement Learning for RoboCup Keepaway.
Proceedings of the Computational Models of Argument, 2012

2011
Rumpole: a flexible break-glass access control model.
Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Policy refinement: Decomposition and operationalization for dynamic domains.
Proceedings of the 7th International Conference on Network and Service Management, 2011

2010
Decomposition techniques for policy refinement.
Proceedings of the 6th International Conference on Network and Service Management, 2010

2009
Security policy refinement using data integration: a position paper.
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

Expressive policy analysis with enhanced system dynamicity.
Proceedings of the 2009 ACM Symposium on Information, 2009

2008
Agent strands in the action language nC+.
J. Appl. Log., 2008

2006
The Deontic Component of Action Language nC+.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

2005
Distant Causation in C+.
Stud Logica, 2005

Some Logical Properties of Nonmonotonic Causal Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

1983
Chroma Voltmeter Measurement Techniques for Analog LSI Devices.
Proceedings of the Proceedings International Test Conference 1983, 1983


  Loading...