Follow
Aaron Hunter
Title
Cited by
Cited by
Year
Trust as a precursor to belief revision
R Booth, A Hunter
Journal of Artificial Intelligence Research 61, 699-722, 2018
322018
Iterated belief change: A transition system approach
A Hunter, JP Delgrande
IJCAI, 460-465, 2005
302005
Drones' face off: authentication by machine learning in autonomous IoT systems
M Karimibiuki, M Aibin, Y Lai, R Khan, R Norfield, A Hunter
2019 IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile …, 2019
262019
Iterated belief change due to actions and observations
A Hunter, JP Delgrande
Journal of Artificial Intelligence Research 40, 269-304, 2011
222011
Exploiting known vulnerabilities of a smart thermostat
M Moody, A Hunter
2016 14th Annual Conference on Privacy, Security and Trust (PST), 50-53, 2016
172016
Belief Change and Cryptographic Protocol Verification.
A Hunter, JP Delgrande
Formal Models of Belief Change in Rational Agents, 2007
172007
An Action Description Language for Iterated Belief Change.
A Hunter, JP Delgrande
IJCAI, 2498-2503, 2007
172007
Trust-sensitive belief revision
A Hunter, R Booth
ACM, 2015
162015
A general approach to the verification of cryptographic protocols using answer set programming
JP Delgrande, T Grote, A Hunter
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009
132009
An efficient solver for parametrized difference revision
A Hunter, J Agapeyev
AI 2019: Advances in Artificial Intelligence: 32nd Australasian Joint …, 2019
122019
Reasoning about trust and belief change on a social network: A formal approach
A Hunter
Information Security Practice and Experience: 13th International Conference …, 2017
112017
Belief Manipulation Through Propositional Announcements.
A Hunter, F Schwarzentruber, E Tsang
IJCAI, 1109-1115, 2017
92017
Mobile forensics for cloud data: Practical and legal considerations
J Bjornson, A Hunter
2016 14th Annual Conference on Privacy, Security and Trust (PST), 203-206, 2016
92016
Building trust for belief revision
A Hunter
PRICAI 2021: Trends in Artificial Intelligence: 18th Pacific Rim …, 2021
82021
GenB: A general solver for AGM revision
A Hunter, E Tsang
Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016
82016
Belief change in the context of fallible actions and observations
A Hunter, JP Delgrande
Proceedings of the National Conference on Artificial Intelligence 21 (1), 257, 2006
82006
COBA: A consistency-based belief revision system
JP Delgrande, A Hunter, T Schaub
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
82002
Belief modeling for maritime surveillance
A Hunter
2009 12th International Conference on Information Fusion, 1926-1932, 2009
72009
Spectrum hierarchies and subdiagonal functions
A Hunter
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
72003
Belief change with uncertain action histories
A Hunter, J Delgrande
Journal of Artificial Intelligence Research 53, 779-824, 2015
62015
The system can't perform the operation now. Try again later.
Articles 1–20