COBA: A Consistency-Based Belief Revision System. - James P. Delgrande; Aaron Hunter 001; Torsten Schaub (JELIA, 2002)

Spectrum Hierarchies and Subdiagonal Functions. - Aaron Hunter 001 (LICS, 2003)

A Unified Action Language Framework. - Aaron Hunter 001 (Canadian AI, 2004)

Adding modal operators to the action language A. - Aaron Hunter 001 (NMR, 2004)

Iterated Belief Change: A Transition System Approach. - Aaron Hunter 001; James P. Delgrande (IJCAI, 2005)

Belief Change in the Context of Fallible Actions and Observations. - Aaron Hunter 001; James P. Delgrande (AAAI, 2006)

Belief Change and Cryptographic Protocol Verification. - Aaron Hunter 001; James P. Delgrande (AAAI, 2007)

An Explicit Model of Belief Change for Cryptographic Protocol Verification. - Aaron Hunter 001; James P. Delgrande (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

An Action Description Language for Iterated Belief Change. - Aaron Hunter 001; James P. Delgrande (IJCAI, 2007)

Using Answer Sets to Solve Belief Change Problems. - Aaron Hunter 001; James P. Delgrande; Joel Faber (LPNMR, 2007)

Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary. - Aaron Hunter 001 (EuroISI, 2008)

Belief modeling for maritime surveillance. - Aaron Hunter 001 (FUSION, 2009)

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. - James P. Delgrande; Torsten Grote; Aaron Hunter 001 (LPNMR, 2009)

On the representation and verification of cryptographic protocols in a theory of action. - James P. Delgrande; Aaron Hunter 001; Torsten Grote (PST, 2010)

Iterated Belief Change Due to Actions and Observations. - Aaron Hunter 001; James P. Delgrande (J. Artif. Intell. Res., 2011)

Actions, Preferences, and Logic Programs. - Aaron Hunter 001 (Canadian AI, 2012)

Structured Documents: Signatures and Deception. - Aaron Hunter 001 (EISIC, 2012)

Revisiting the Epistemics of Protocol Correctness. - Aaron Hunter 001 (Canadian AI, 2013)

Protocol Verification in a Theory of Action. - Aaron Hunter 001; James P. Delgrande; Ryan McBride (Canadian AI, 2013)

Belief Manipulation: A Formal Model of Deceit in Message Passing Systems. - Aaron Hunter 001 (PAISI, 2013)

Belief Change and Non-deterministic Actions. - Aaron Hunter 001 (Canadian AI, 2014)

Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression. - Aaron Hunter 001 (ICAART (1), 2014)

Belief Revision on Modal Accessibility Relations. - Aaron Hunter 001 (ICAART (1), 2014)

Belief Revision and Trust. - Aaron Hunter 001 (CoRR, 2014)

Belief manipulation and message meaning for protocol analysis. - Aaron Hunter 001 (Secur. Informatics, 2014)

On Keeping Secrets: Intelligent Agents and the Ethics of Information Hiding. - Aaron Hunter 001 (AAAI Workshop: AI and Ethics, 2015)

Exploring Power Storage Profiles for Vehicle to Grid Systems. - Aaron Hunter 001; Ray Young (AAAI Workshop: AI for Cities, 2015)

A Declarative Model for Reasoning about Form Security. - Aaron Hunter 001 (ICAART (2), 2015)

Trust-Sensitive Belief Revision. - Aaron Hunter 001; Richard Booth 001 (IJCAI, 2015)

Arbitrary Announcements in Propositional Belief Revision. - Aaron Hunter 001; François Schwarzentruber (DARe@IJCAI, 2015)

Infinite Ordinals and Finite Improvement. - Aaron Hunter 001 (LORI, 2015)

Belief Change with Uncertain Action Histories. - Aaron Hunter 001; James P. Delgrande (J. Artif. Intell. Res., 2015)

Nearly Counterfactual Revision. - Aaron Hunter 001 (Canadian AI, 2016)

Information Hiding: Ethics and Safeguards for Beneficial Intelligence. - Aaron Hunter 001 (ICAART (2), 2016)

GenB: A General Solver for AGM Revision. - Aaron Hunter 001; Eric Tsang (JELIA, 2016)

Mobile forensics for cloud data: Practical and legal considerations. - John Bjornson; Aaron Hunter 001 (PST, 2016)

A logical approach to promoting trust over knowledge to trust over action. - Aaron Hunter 001 (PST, 2016)

Exploiting known vulnerabilities of a smart thermostat. - Mike Moody; Aaron Hunter 001 (PST, 2016)

Ordinal Conditional Functions for Nearly Counterfactual Revision. - Aaron Hunter 001 (CoRR, 2016)

Security and trust for surveillance cameras. - Konstantin Boyarinov; Aaron Hunter 001 (CNS, 2017)

Bluetooth for decoy systems: A practical study. - Ken Wong; Aaron Hunter 001 (CNS, 2017)

Managing cybersecurity break-ins using bluetooth low energy devices to verify attackers: A practical study. - Kenneth C. K. Wong; Aaron Hunter 001 (CNS, 2017)

On the Replaceability of Computational Agents in an Ethical Theory. - Aaron Hunter 001 (ICAART (2), 2017)

Power Storage on the Smart Grid: Experimentation and Education. - Aaron Hunter 001; Ray Young (ICAART (2), 2017)

Belief Manipulation Through Propositional Announcements. - Aaron Hunter 001; François Schwarzentruber; Eric Tsang (IJCAI, 2017)

Reasoning About Trust and Belief Change on a Social Network: A Formal Approach. - Aaron Hunter 001 (ISPEC, 2017)

Learning Belief Revision Operators. - Aaron Hunter 001 (Canadian AI, 2018)

A Tool for Defining and Simulating Storage Strategies on the Smart Grid. - Dan Russell; Aaron Hunter 001 (Canadian AI, 2018)

Using Wearable Device Data in a Criminal Investigation: A Preliminary Study. - Sarah McNary; Aaron Hunter 001 (EISIC, 2018)

Decoy Systems with Low Energy Bluetooth Communication. - Aaron Hunter 001; Ken Wong (ICISSP, 2018)

Wearable Device Data for Criminal Investigation. - Sarah McNary; Aaron Hunter 001 (SpaCCS, 2018)

A Comparative Analysis of Properties that May be Used for Malware Detection. - Jimmy Hua; Aaron Hunter 001 (UEMCON, 2018)

Machine Learning to Identify Android Malware. - Geran Tam; Aaron Hunter 001 (UEMCON, 2018)

On Faculty Supervision in Industry Projects. - Michal Aibin; Aaron Hunter 001 (WCCCE, 2018)

Trust as a Precursor to Belief Revision. - Richard Booth 001; Aaron Hunter 001 (J. Artif. Intell. Res., 2018)

An Efficient Solver for Parametrized Difference Revision. - Aaron Hunter 001; John Agapeyev (Australasian Conference on Artificial Intelligence, 2019)

Building a Curriculum for Industrial Network Security. - Aaron Hunter 001; David Leversage (ICIT, 2019)

Drones' Face off: Authentication by Machine Learning in Autonomous IoT Systems. - Mehdi Karimibiuki; Michal Aibin; Yuyu Lai; Raziq Khan; Ryan Norfield; Aaron Hunter 001 (UEMCON, 2019)

Learning to Model Another Agent's Beliefs: A Preliminary Approach. - Aaron Hunter 001; Paul McCarlie (AGI, 2020)

Knowledge-based Analysis of Residential Air Quality. - Aaron Hunter 001; Rodrigo Mora (ICAART (2), 2020)

GenC: A Fast Tool for Applications Involving Belief Revision. - Aaron Hunter 001; John Agapeyev (IJCAI, 2020)

On the Development of Tools for Modelling Dynamic Beliefs Based on Past Data. - Aaron Hunter 001; Konstantin Boyarinov (UEMCON, 2020)

On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief. - Aaron Hunter 001 (Canadian AI, 2021)

Using Game AI to Control a Simulated Economy. - Paul McCarlie; Aaron Hunter 001 (ICAART (2), 2021)

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. - Thomas Eiter; Aaron Hunter 001; François Schwarzentruber (IJCAI, 2021)

Building Trust for Belief Revision. - Aaron Hunter 001 (PRICAI (1), 2021)

Enhancing Low-Energy Facial Recognition Devices and Abilities To Improve Security: A Practical Study. - Kenneth C. K. Wong; Aaron Hunter 001 (UEMCON, 2021)

Belief Revision with Dishonest Reports. - Aaron Hunter 001 (AI, 2022)

BRL: A Toolkit for Learning How an Agent Performs Belief Revision. - Aaron Hunter 001; Konstantin Boyarinov (ICAART (3), 2022)

Trust Graphs for Belief Revision: Framework and Implementation. - Aaron Hunter 001; Sam Tadey (NMR, 2022)

Increasing the Efficiency of HVAC Systems using Schedule-Based Control. - Spencer Wilson; Sirine Maalej; Aaron Hunter 001 (UEMCON, 2022)

Joint Trust for Belief Revision. - Aaron Hunter 001; Richard Booth 001 (Canadian AI, 2023)

Reports, Observations, and Belief Change. - Aaron Hunter 001 (AI (2), 2023)

Ethical Considerations for the Deployment of Logic-Based Models of Reasoning. - Aaron Hunter 001 (ICAART (3), 2023)

A System for Updating Trust and Performing Belief Revision. - Aaron Hunter 001; Sam Tadey (ICAART (3), 2023)

Combined Change Operators for Trust and Belief. - Aaron Hunter 001 (AI (1), 2024)

Belief Revision for Physical Robots: Opportunities and Challenges. - Aaron Hunter 001; Dustin Daon (CCECE, 2024)

A Description Language for Similarity, Belief Change and Trust. - Aaron Hunter 001 (ICAART (3), 2024)

Interpretable Android Malware Detection Based on Dynamic Analysis. - Arunab Singh; Maryam Tanha; Yashsvi Girdhar; Aaron Hunter 001 (ICISSP, 2024)

A Tool for Reasoning about Trust and Belief. - Aaron Hunter 001; Alberto Iglesias (LPAR, 2024)

Reasoning about Simultaneous Change in Trust and Belief. - Aaron Hunter 001 (NMR, 2024)

Formal Reasoning About Trusted Third Party Protocols. - Aaron Hunter 001 (ICAART (3), 2025)