Aaron Hunter

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 55

Top Topics

Belief Revision

Machine Learning

Revision Operators

Top Venues

Canadian Conference on AI

Publications

Aaron Hunter, Richard Booth
Joint Trust for Belief Revision. Canadian AI (2023)
Aaron Hunter, Sam Tadey
A System for Updating Trust and Performing Belief Revision. ICAART (3) (2023)
Aaron Hunter
Ethical Considerations for the Deployment of Logic-Based Models of Reasoning. ICAART (3) (2023)
Aaron Hunter, Renwick E. Curry, Gabriel Hugh Elkaim
GNSS-Assisted System Identification of Autonomous Ground Vehicle Model and Sensor Parameters. PLANS (2023)
Aaron Hunter, Konstantin Boyarinov
BRL: A Toolkit for Learning How an Agent Performs Belief Revision. ICAART (3) (2022)
Aaron Hunter, Pavlo Vlastos, Carlos Isaac Espinosa Ramirez, Rishikesh Vanarse, Rupal Sharma, Gabriel Elkaim
A Distributed Control Architecture for Resource-constrained Autonomous Systems. SysCon (2022)
Spencer Wilson, Sirine Maalej, Aaron Hunter
Increasing the Efficiency of HVAC Systems using Schedule-Based Control. UEMCON (2022)
Aaron Hunter
Belief Revision with Dishonest Reports. AI (2022)
Aaron Hunter, Sam Tadey
Trust Graphs for Belief Revision: Framework and Implementation. NMR (2022)
Pavlo Vlastos, Aaron Hunter, Renwick E. Curry, Carlos Isaac Espinosa Ramirez, Gabriel Elkaim
Applied Partitioned Ordinary Kriging for Online Updates for Autonomous Vehicles. SysCon (2022)
Paul McCarlie, Aaron Hunter
Using Game AI to Control a Simulated Economy. ICAART (2) (2021)
Aaron Hunter
On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief. Canadian Conference on AI (2021)
Thomas Eiter, Aaron Hunter, François Schwarzentruber
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI (2021)
Kenneth C. K. Wong, Aaron Hunter
Enhancing Low-Energy Facial Recognition Devices and Abilities To Improve Security: A Practical Study. UEMCON (2021)
Aaron Hunter
Building Trust for Belief Revision. PRICAI (1) (2021)
Aaron Hunter, Rodrigo Mora
Knowledge-based Analysis of Residential Air Quality. ICAART (2) (2020)
Aaron Hunter, Paul McCarlie
Learning to Model Another Agent's Beliefs: A Preliminary Approach. AGI (2020)
Aaron Hunter, John Agapeyev
GenC: A Fast Tool for Applications Involving Belief Revision. IJCAI (2020)
Aaron Hunter
Bicycle Wheel System Identification and Optimal Truing Control for Mechatronic Systems. AIM (2020)
Aaron Hunter, Konstantin Boyarinov
On the Development of Tools for Modelling Dynamic Beliefs Based on Past Data. UEMCON (2020)
Aaron Hunter, John Agapeyev
An Efficient Solver for Parametrized Difference Revision. Australasian Conference on Artificial Intelligence (2019)
Aaron Hunter, David Leversage
Building a Curriculum for Industrial Network Security. ICIT (2019)
Mehdi Karimibiuki, Michal Aibin, Yuyu Lai, Raziq Khan, Ryan Norfield, Aaron Hunter
Drones' Face off: Authentication by Machine Learning in Autonomous IoT Systems. UEMCON (2019)
Dan Russell, Aaron Hunter
A Tool for Defining and Simulating Storage Strategies on the Smart Grid. Canadian Conference on AI (2018)
Michal Aibin, Aaron Hunter
On Faculty Supervision in Industry Projects. WCCCE (2018)
Geran Tam, Aaron Hunter
Machine Learning to Identify Android Malware. UEMCON (2018)
Sarah McNary, Aaron Hunter
Wearable Device Data for Criminal Investigation. SpaCCS (2018)
Richard Booth, Aaron Hunter
Trust as a Precursor to Belief Revision. J. Artif. Intell. Res. 61 (2018)
Kenneth C. K. Wong, Aaron Hunter
Managing Cybersecurity Break-ins Using Bluetooth Low Energy Devices to Verify Attackers: A Practical Study. ICISSP (Revised Selected Papers) (2018)
Sarah McNary, Aaron Hunter
Using Wearable Device Data in a Criminal Investigation: A Preliminary Study. EISIC (2018)
Aaron Hunter
Learning Belief Revision Operators. Canadian Conference on AI (2018)
Aaron Hunter, Ken Wong
Decoy Systems with Low Energy Bluetooth Communication. ICISSP (2018)
Jimmy Hua, Aaron Hunter
A Comparative Analysis of Properties that May be Used for Malware Detection. UEMCON (2018)
Konstantin Boyarinov, Aaron Hunter
Security and trust for surveillance cameras. CNS (2017)
Ken Wong, Aaron Hunter
Bluetooth for decoy systems: A practical study. CNS (2017)
Kenneth C. K. Wong, Aaron Hunter
Managing cybersecurity break-ins using bluetooth low energy devices to verify attackers: A practical study. CNS (2017)
Aaron Hunter, François Schwarzentruber, Eric Tsang
Belief Manipulation Through Propositional Announcements. IJCAI (2017)
Aaron Hunter, Ray Young
Power Storage on the Smart Grid: Experimentation and Education. ICAART (2) (2017)
Aaron Hunter
On the Replaceability of Computational Agents in an Ethical Theory. ICAART (2) (2017)
Aaron Hunter
Reasoning About Trust and Belief Change on a Social Network: A Formal Approach. ISPEC (2017)
John Bjornson, Aaron Hunter
Mobile forensics for cloud data: Practical and legal considerations. PST (2016)
Aaron Hunter
Ordinal Conditional Functions for Nearly Counterfactual Revision. CoRR (2016)
Aaron Hunter
Nearly Counterfactual Revision. Canadian Conference on AI (2016)
Mike Moody, Aaron Hunter
Exploiting known vulnerabilities of a smart thermostat. PST (2016)
Aaron Hunter, Eric Tsang
GenB: A General Solver for AGM Revision. JELIA (2016)
Aaron Hunter
A logical approach to promoting trust over knowledge to trust over action. PST (2016)
Aaron Hunter
Information Hiding: Ethics and Safeguards for Beneficial Intelligence. ICAART (2) (2016)
Sahar Mazloom, Mohammad Rezaeirad, Aaron Hunter, Damon McCoy
A Security Analysis of an In-Vehicle Infotainment and App Platform. WOOT (2016)
Aaron Hunter
Infinite Ordinals and Finite Improvement. LORI (2015)
Aaron Hunter
A Declarative Model for Reasoning about Form Security. ICAART (2) (2015)
Aaron Hunter, Richard Booth
Trust-Sensitive Belief Revision. IJCAI (2015)
Aaron Hunter, James P. Delgrande
Belief Change with Uncertain Action Histories. J. Artif. Intell. Res. 53 (2015)
Aaron Hunter
On Keeping Secrets: Intelligent Agents and the Ethics of Information Hiding. AAAI Workshop: AI and Ethics (2015)
Aaron Hunter, François Schwarzentruber
Arbitrary Announcements in Propositional Belief Revision. DARe@IJCAI (2015)
Aaron Hunter, Ray Young
Exploring Power Storage Profiles for Vehicle to Grid Systems. AAAI Workshop: AI for Cities (2015)
Aaron Hunter
Belief manipulation and message meaning for protocol analysis. Secur. Informatics 3 (1) (2014)
Aaron Hunter
Belief Revision on Modal Accessibility Relations. ICAART (1) (2014)
Aaron Hunter
Belief Change and Non-deterministic Actions. Canadian Conference on AI (2014)
Aaron Hunter, James P. Delgrande
Iterated Belief Change Due to Actions and Observations. CoRR (2014)
Aaron Hunter
Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression. ICAART (1) (2014)
Aaron Hunter
Belief Revision and Trust. CoRR (2014)
Aaron Hunter, James P. Delgrande, Ryan McBride
Protocol Verification in a Theory of Action. Canadian Conference on AI (2013)
Aaron Hunter
Revisiting the Epistemics of Protocol Correctness. Canadian Conference on AI (2013)
Aaron Hunter
Belief Manipulation: A Formal Model of Deceit in Message Passing Systems. PAISI (2013)
Aaron Hunter
Structured Documents: Signatures and Deception. EISIC (2012)
Aaron Hunter
Actions, Preferences, and Logic Programs. Canadian Conference on AI (2012)
Aaron Hunter, James P. Delgrande
Iterated Belief Change Due to Actions and Observations. J. Artif. Intell. Res. 40 (2011)
James P. Delgrande, Aaron Hunter, Torsten Grote
On the representation and verification of cryptographic protocols in a theory of action. PST (2010)
James P. Delgrande, Torsten Grote, Aaron Hunter
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR (2009)
Aaron Hunter
Belief modeling for maritime surveillance. FUSION (2009)
Aaron Hunter
Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary. EuroISI (2008)
Aaron Hunter, James P. Delgrande
Belief Change and Cryptographic Protocol Verification. AAAI (2007)
Aaron Hunter, James P. Delgrande
An Explicit Model of Belief Change for Cryptographic Protocol Verification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Aaron Hunter, James P. Delgrande, Joel Faber
Using Answer Sets to Solve Belief Change Problems. LPNMR (2007)
Aaron Hunter, James P. Delgrande
An Action Description Language for Iterated Belief Change. IJCAI (2007)
Aaron Hunter, James P. Delgrande
Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents (2007)
Aaron Hunter, James P. Delgrande
Belief Change in the Context of Fallible Actions and Observations. AAAI (2006)
Aaron Hunter, James P. Delgrande
Iterated Belief Change: A Transition System Approach. IJCAI (2005)
Aaron Hunter
Adding modal operators to the action language A. NMR (2004)
Aaron Hunter
A Unified Action Language Framework. Canadian Conference on AI (2004)
Aaron Hunter
Spectrum Hierarchies and Subdiagonal Functions. LICS (2003)
James P. Delgrande, Aaron Hunter, Torsten Schaub
COBA: A Consistency-Based Belief Revision System. JELIA (2002)