Trust as a precursor to belief revision R Booth, A Hunter Journal of Artificial Intelligence Research 61, 699-722, 2018 | 32 | 2018 |
Iterated belief change: A transition system approach A Hunter, JP Delgrande IJCAI, 460-465, 2005 | 30 | 2005 |
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 | 26 | 2019 |
Iterated belief change due to actions and observations A Hunter, JP Delgrande Journal of Artificial Intelligence Research 40, 269-304, 2011 | 22 | 2011 |
Exploiting known vulnerabilities of a smart thermostat M Moody, A Hunter 2016 14th Annual Conference on Privacy, Security and Trust (PST), 50-53, 2016 | 17 | 2016 |
Belief Change and Cryptographic Protocol Verification. A Hunter, JP Delgrande Formal Models of Belief Change in Rational Agents, 2007 | 17 | 2007 |
An Action Description Language for Iterated Belief Change. A Hunter, JP Delgrande IJCAI, 2498-2503, 2007 | 17 | 2007 |
Trust-sensitive belief revision A Hunter, R Booth ACM, 2015 | 16 | 2015 |
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 | 13 | 2009 |
An efficient solver for parametrized difference revision A Hunter, J Agapeyev AI 2019: Advances in Artificial Intelligence: 32nd Australasian Joint …, 2019 | 12 | 2019 |
Reasoning about trust and belief change on a social network: A formal approach A Hunter Information Security Practice and Experience: 13th International Conference …, 2017 | 11 | 2017 |
Belief Manipulation Through Propositional Announcements. A Hunter, F Schwarzentruber, E Tsang IJCAI, 1109-1115, 2017 | 9 | 2017 |
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 | 9 | 2016 |
Building trust for belief revision A Hunter PRICAI 2021: Trends in Artificial Intelligence: 18th Pacific Rim …, 2021 | 8 | 2021 |
GenB: A general solver for AGM revision A Hunter, E Tsang Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016 | 8 | 2016 |
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 | 8 | 2006 |
COBA: A consistency-based belief revision system JP Delgrande, A Hunter, T Schaub Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002 | 8 | 2002 |
Belief modeling for maritime surveillance A Hunter 2009 12th International Conference on Information Fusion, 1926-1932, 2009 | 7 | 2009 |
Spectrum hierarchies and subdiagonal functions A Hunter 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003 | 7 | 2003 |
Belief change with uncertain action histories A Hunter, J Delgrande Journal of Artificial Intelligence Research 53, 779-824, 2015 | 6 | 2015 |