Aaron Hunter
Title
Cited by
Cited by
Year
Iterated belief change: A transition system approach
A Hunter, JP Delgrande
IJCAI, 460-465, 2005
282005
Belief Change and Cryptographic Protocol Verification.
A Hunter, JP Delgrande
Formal Models of Belief Change in Rational Agents, 2007
162007
Iterated belief change due to actions and observations
A Hunter, JP Delgrande
Journal of Artificial Intelligence Research 40, 269-304, 2011
142011
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 Action Description Language for Iterated Belief Change.
A Hunter, JP Delgrande
IJCAI, 2498-2503, 2007
132007
Trust-sensitive belief revision
A Hunter, R Booth
ACM, 2015
122015
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
European Workshop on Logics in Artificial Intelligence, 509-512, 2002
82002
Belief Manipulation Through Propositional Announcements.
A Hunter, F Schwarzentruber, E Tsang
IJCAI, 1109-1115, 2017
72017
Trust as a precursor to belief revision
R Booth, A Hunter
Journal of Artificial Intelligence Research 61, 699-722, 2018
62018
Exploiting known vulnerabilities of a smart thermostat
M Moody, A Hunter
2016 14th Annual Conference on Privacy, Security and Trust (PST), 50-53, 2016
62016
Protocol verification in a theory of action
A Hunter, JP Delgrande, R McBride
Canadian Conference on Artificial Intelligence, 52-63, 2013
62013
Belief modeling for maritime surveillance
A Hunter
2009 12th International Conference on Information Fusion, 1926-1932, 2009
62009
Spectrum hierarchies and subdiagonal functions
A Hunter
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings …, 2003
62003
GenB: A general solver for AGM revision
A Hunter, E Tsang
European Conference on Logics in Artificial Intelligence, 564-569, 2016
52016
An Efficient Solver for Parametrized Difference Revision
A Hunter, J Agapeyev
Australasian Joint Conference on Artificial Intelligence, 143-152, 2019
42019
Nearly counterfactual revision
A Hunter
Canadian Conference on Artificial Intelligence, 263-269, 2016
42016
Belief change with uncertain action histories
A Hunter, J Delgrande
Journal of Artificial Intelligence Research 53, 779-824, 2015
42015
Learning belief revision operators
A Hunter
Canadian Conference on Artificial Intelligence, 239-245, 2018
32018
On faculty supervision in industry projects
M Aibin, A Hunter
Proceedings of the 23rd Western Canadian Conference on Computing Education, 1-5, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20