Get started
Author

Aaron Hunter

Observed name: Hunter, Aaron
ORCID: 0000-0002-5460-1587
Observed ORCID: 0000-0002-5460-1587
OpenAlex ID: A5109043125
ProLogICA : a practical system for Abductive Logic Programming
2006 · Oliver Ray, Antonis Kakas, et al. · Bristol Research (University of Bristol) · 31
An action description language for iterated belief change
2007 · Aaron Hunter, James P. Delgrande · International Joint Conference on Artificial Intelligence · 13
Belief Change and Cryptographic Protocol Verification
2007 · Hunter, Aaron, Delgrande, James · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 12
PDF
Belief modeling for maritime surveillance
2009 · Aaron Hunter · 6
Belief change in the context of fallible actions and observations
2006 · Aaron Hunter, James P. Delgrande · National Conference on Artificial Intelligence · 6
Belief Change with Uncertain Action Histories
2015 · Aaron Hunter, James Delgrande · Journal of Artificial Intelligence Research · 5
PDF
Modelling cryptographic protocols in a theory of action
2009 · Aaron Hunter, James P. Delgrande, et al. · 3
On the representation and verification of cryptographic protocols in a theory of action
2010 · James P. Delgrande, Aaron Hunter, et al. · Conference on Privacy, Security and Trust · 2
Using Answer Sets to Solve Belief Change Problems
2007 · Aaron Hunter, James P. Delgrande, et al. · Springer eBooks · 2
Adding modal operators to the action language A.
2004 · Aaron Hunter · Non-Monotonic Reasoning · 2
On the Use of Indigenous Games in Teaching Software Engineering and Artificial Intelligence
2025 · Aaron Hunter · IEEE International Conference on Industrial Engineering and Engineering Management (IEEM) · 1
Using Counterfactuals for Explainable Android Malware Detection
2025 · Maryam Tanha, Winston Zhao, et al. · Conference on Privacy, Security and Trust · 1
Managing cybersecurity break-ins using bluetooth low energy devices to verify attackers: A practical study
2017 · Kenneth C.K. Wong, Aaron Hunter · IEEE Conference on Communications and Network Security · 1
Belief change in the presence of actions and observations: a transition system approach
2006 · Aaron Hunter · Summit (Simon Fraser University) · 1
PDF
Iterated belief change
2005 · Aaron Hunter, James P. Delgrande · International Joint Conference on Artificial Intelligence · 1
Using ranking functions to determine plausible action histories
2005 · Aaron Hunter, James P. Delgrande · International Joint Conference on Artificial Intelligence · 1
Hands-on Strategies for Teaching Social and Societal Impacts of Computing
2025 · Stan Kurkovsky, Manee Ngozi Nnamani, et al. · ACM Global Computing Education Conference (CompEd)
Formal Reasoning About Trusted Third Party Protocols
2025 · Aaron Hunter · International Conference on Agents and Artificial Intelligence (ICAART)
An explicit model of belief change for cryptographic protocol verification
2007 · Aaron Hunter, James P. Delgrande · National Conference on Artificial Intelligence
A Unified Action Language Framework
2004 · Aaron Hunter · Lecture notes in computer science
Works count: 21
Citation count: 88
H-index: 5
I10-index: 3
Year
Topic
Type