Följ
Aaron Hunter
Titel
Citeras av
Citeras av
År
Iterated belief change: A transition system approach
A Hunter, JP Delgrande
IJCAI, 460-465, 2005
302005
Trust as a precursor to belief revision
R Booth, A Hunter
Journal of Artificial Intelligence Research 61, 699-722, 2018
252018
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
222019
Iterated belief change due to actions and observations
A Hunter, JP Delgrande
Journal of Artificial Intelligence Research 40, 269-304, 2011
212011
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
Exploiting known vulnerabilities of a smart thermostat
M Moody, A Hunter
2016 14th Annual Conference on Privacy, Security and Trust (PST), 50-53, 2016
162016
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
Reasoning about trust and belief change on a social network: A formal approach
A Hunter
Information Security Practice and Experience: 13th International Conference …, 2017
92017
An efficient solver for parametrized difference revision
A Hunter, J Agapeyev
AI 2019: Advances in Artificial Intelligence: 32nd Australasian Joint …, 2019
82019
Belief Manipulation Through Propositional Announcements.
A Hunter, F Schwarzentruber, E Tsang
IJCAI, 1109-1115, 2017
82017
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
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
72016
GenB: A general solver for AGM revision
A Hunter, E Tsang
Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016
72016
Belief modeling for maritime surveillance
A Hunter
2009 12th International Conference on Information Fusion, 1926-1932, 2009
72009
Building trust for belief revision
A Hunter
PRICAI 2021: Trends in Artificial Intelligence: 18th Pacific Rim …, 2021
62021
Belief change with uncertain action histories
A Hunter, J Delgrande
Journal of Artificial Intelligence Research 53, 779-824, 2015
62015
Protocol verification in a theory of action
A Hunter, JP Delgrande, R McBride
Advances in Artificial Intelligence: 26th Canadian Conference on Artificial …, 2013
62013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20