Robert Craven

Eng. Appl. Artif. Intell., 2017

2016

Argument graphs and assumption-based argumentation.

[BibT_eX]

[DOI]

Artif. Intell., 2016

2014

Automated Error-Detection and Repair for Compositional Software Specifications.

[BibT_eX]

[DOI]

Dalal Alrajeh

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

Graph-Based Dispute Derivations in Assumption-Based Argumentation.

[BibT_eX]

[DOI]

Matthew Williams

Proceedings of the Theory and Applications of Formal Argumentation, 2013

Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Efficient Argumentation for Medical Decision-Making.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway.

[BibT_eX]

[DOI]

Yang Gao

Proceedings of the ECAI 2012, 2012

Argumentation-Based Reinforcement Learning for RoboCup Keepaway.

[BibT_eX]

[DOI]

Yang Gao

Proceedings of the Computational Models of Argument, 2012

2011

Rumpole: a flexible break-glass access control model.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Policy refinement: Decomposition and operationalization for dynamic domains.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Network and Service Management, 2011

2010

Decomposition techniques for policy refinement.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Network and Service Management, 2010

2009

Security policy refinement using data integration: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, 2009

Expressive policy analysis with enhanced system dynamicity.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

Agent strands in the action language nC+.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

2006

The Deontic Component of Action Language nC+.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

2005

Distant Causation in C+.

[BibT_eX]

[DOI]

Stud Logica, 2005

Some Logical Properties of Nonmonotonic Causal Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

1983

Chroma Voltmeter Measurement Techniques for Analog LSI Devices.

[BibT_eX]