default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAaron Hunter 0001
Person information
- affiliation: British Columbia Institute of Technology, Burnaby, Canada
Other persons with the same name
- Aaron Hunter 0002 — University of California, Santa Cruz, CA, USA
- Aaron Hunter 0003 — George Mason University, VA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c76]Aaron Hunter:
Combined Change Operators for Trust and Belief. AI (1) 2024: 16-28- [c75]Aaron Hunter, Dustin Daon:
Belief Revision for Physical Robots: Opportunities and Challenges. CCECE 2024: 806-810 - [c74]Aaron Hunter:
A Description Language for Similarity, Belief Change and Trust. ICAART (3) 2024: 870-877 - [c73]Arunab Singh, Maryam Tanha, Yashsvi Girdhar, Aaron Hunter:
Interpretable Android Malware Detection Based on Dynamic Analysis. ICISSP 2024: 195-202 - [c72]Aaron Hunter, Alberto Iglesias:
A Tool for Reasoning about Trust and Belief. LPAR 2024: 127-135 - [c71]Aaron Hunter:
Reasoning about Simultaneous Change in Trust and Belief. NMR 2024: 44-52 - 2023
- [c70]Aaron Hunter, Richard Booth:
Joint Trust for Belief Revision. Canadian AI 2023 - [c69]Aaron Hunter:
Reports, Observations, and Belief Change. AI (2) 2023: 54-65 - [c68]Aaron Hunter, Sam Tadey:
A System for Updating Trust and Performing Belief Revision. ICAART (3) 2023: 55-62 - [c67]Aaron Hunter:
Ethical Considerations for the Deployment of Logic-Based Models of Reasoning. ICAART (3) 2023: 565-569 - 2022
- [c66]Aaron Hunter:
Belief Revision with Dishonest Reports. AI 2022: 397-410 - [c65]Aaron Hunter, Konstantin Boyarinov:
BRL: A Toolkit for Learning How an Agent Performs Belief Revision. ICAART (3) 2022: 753-756 - [c64]Aaron Hunter, Sam Tadey:
Trust Graphs for Belief Revision: Framework and Implementation. NMR 2022: 39-48 - [c63]Spencer Wilson, Sirine Maalej, Aaron Hunter:
Increasing the Efficiency of HVAC Systems using Schedule-Based Control. UEMCON 2022: 238-243 - 2021
- [c62]Aaron Hunter:
On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief. Canadian AI 2021 - [c61]Paul McCarlie, Aaron Hunter:
Using Game AI to Control a Simulated Economy. ICAART (2) 2021: 629-634 - [c60]Thomas Eiter, Aaron Hunter, François Schwarzentruber:
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI 2021: 1866-1872 - [c59]Aaron Hunter:
Building Trust for Belief Revision. PRICAI (1) 2021: 543-555 - [c58]Kenneth C. K. Wong, Aaron Hunter:
Enhancing Low-Energy Facial Recognition Devices and Abilities To Improve Security: A Practical Study. UEMCON 2021: 184-189 - 2020
- [c57]Aaron Hunter, Paul McCarlie:
Learning to Model Another Agent's Beliefs: A Preliminary Approach. AGI 2020: 216-220 - [c56]Aaron Hunter, Rodrigo Mora:
Knowledge-based Analysis of Residential Air Quality. ICAART (2) 2020: 801-805 - [c55]Aaron Hunter, John Agapeyev:
GenC: A Fast Tool for Applications Involving Belief Revision. IJCAI 2020: 5219-5221 - [c54]Aaron Hunter, Konstantin Boyarinov:
On the Development of Tools for Modelling Dynamic Beliefs Based on Past Data. UEMCON 2020: 500-505
2010 – 2019
- 2019
- [c53]Aaron Hunter, John Agapeyev:
An Efficient Solver for Parametrized Difference Revision. Australasian Conference on Artificial Intelligence 2019: 143-152 - [c52]Aaron Hunter, David Leversage:
Building a Curriculum for Industrial Network Security. ICIT 2019: 1035-1040 - [c51]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: 329-333 - 2018
- [j4]Richard Booth, Aaron Hunter:
Trust as a Precursor to Belief Revision. J. Artif. Intell. Res. 61: 699-722 (2018) - [c50]Aaron Hunter:
Learning Belief Revision Operators. Canadian AI 2018: 239-245 - [c49]Dan Russell, Aaron Hunter:
A Tool for Defining and Simulating Storage Strategies on the Smart Grid. Canadian AI 2018: 374-380 - [c48]Sarah McNary, Aaron Hunter:
Using Wearable Device Data in a Criminal Investigation: A Preliminary Study. EISIC 2018: 85 - [c47]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: 201-214 - [c46]Aaron Hunter, Ken Wong:
Decoy Systems with Low Energy Bluetooth Communication. ICISSP 2018: 404-409 - [c45]Sarah McNary, Aaron Hunter:
Wearable Device Data for Criminal Investigation. SpaCCS 2018: 60-71 - [c44]Geran Tam, Aaron Hunter:
Machine Learning to Identify Android Malware. UEMCON 2018: 466-470 - [c43]Jimmy Hua, Aaron Hunter:
A Comparative Analysis of Properties that May be Used for Malware Detection. UEMCON 2018: 906-910 - [c42]Michal Aibin, Aaron Hunter:
On Faculty Supervision in Industry Projects. WCCCE 2018: 6:1-6:5 - 2017
- [c41]Ken Wong, Aaron Hunter:
Bluetooth for decoy systems: A practical study. CNS 2017: 86-387 - [c40]Konstantin Boyarinov, Aaron Hunter:
Security and trust for surveillance cameras. CNS 2017: 384-385 - [c39]Kenneth C. K. Wong, Aaron Hunter:
Managing cybersecurity break-ins using bluetooth low energy devices to verify attackers: A practical study. CNS 2017: 432-437 - [c38]Aaron Hunter, Ray Young:
Power Storage on the Smart Grid: Experimentation and Education. ICAART (2) 2017: 658-663 - [c37]Aaron Hunter:
On the Replaceability of Computational Agents in an Ethical Theory. ICAART (2) 2017: 664-669 - [c36]Aaron Hunter, François Schwarzentruber, Eric Tsang:
Belief Manipulation Through Propositional Announcements. IJCAI 2017: 1109-1115 - [c35]Aaron Hunter:
Reasoning About Trust and Belief Change on a Social Network: A Formal Approach. ISPEC 2017: 783-801 - 2016
- [c34]Aaron Hunter:
Nearly Counterfactual Revision. Canadian AI 2016: 263-269 - [c33]Aaron Hunter:
Information Hiding: Ethics and Safeguards for Beneficial Intelligence. ICAART (2) 2016: 546-551 - [c32]Aaron Hunter, Eric Tsang:
GenB: A General Solver for AGM Revision. JELIA 2016: 564-569 - [c31]Aaron Hunter:
A logical approach to promoting trust over knowledge to trust over action. PST 2016: 27-34 - [c30]Mike Moody, Aaron Hunter:
Exploiting known vulnerabilities of a smart thermostat. PST 2016: 50-53 - [c29]John Bjornson, Aaron Hunter:
Mobile forensics for cloud data: Practical and legal considerations. PST 2016: 203-206 - [i4]Aaron Hunter:
Ordinal Conditional Functions for Nearly Counterfactual Revision. CoRR abs/1603.09429 (2016) - 2015
- [j3]Aaron Hunter, James P. Delgrande:
Belief Change with Uncertain Action Histories. J. Artif. Intell. Res. 53: 779-824 (2015) - [c28]Aaron Hunter:
On Keeping Secrets: Intelligent Agents and the Ethics of Information Hiding. AAAI Workshop: AI and Ethics 2015 - [c27]Aaron Hunter, Ray Young:
Exploring Power Storage Profiles for Vehicle to Grid Systems. AAAI Workshop: AI for Cities 2015 - [c26]Aaron Hunter:
A Declarative Model for Reasoning about Form Security. ICAART (2) 2015: 420-425 - [c25]Aaron Hunter, Richard Booth:
Trust-Sensitive Belief Revision. IJCAI 2015: 3062-3068 - [c24]Aaron Hunter, François Schwarzentruber:
Arbitrary Announcements in Propositional Belief Revision. DARe@IJCAI 2015 - [c23]Aaron Hunter:
Infinite Ordinals and Finite Improvement. LORI 2015: 416-420 - 2014
- [j2]Aaron Hunter:
Belief manipulation and message meaning for protocol analysis. Secur. Informatics 3(1): 15 (2014) - [c22]Aaron Hunter:
Belief Change and Non-deterministic Actions. Canadian AI 2014: 289-294 - [c21]Aaron Hunter:
Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression. ICAART (1) 2014: 412-419 - [c20]Aaron Hunter:
Belief Revision on Modal Accessibility Relations. ICAART (1) 2014: 663-666 - [i3]Aaron Hunter, James P. Delgrande:
Iterated Belief Change Due to Actions and Observations. CoRR abs/1401.3867 (2014) - [i2]Aaron Hunter:
Belief Revision and Trust. CoRR abs/1405.0034 (2014) - 2013
- [c19]Aaron Hunter, James P. Delgrande, Ryan McBride:
Protocol Verification in a Theory of Action. Canadian AI 2013: 52-63 - [c18]Aaron Hunter:
Revisiting the Epistemics of Protocol Correctness. Canadian AI 2013: 256-262 - [c17]Aaron Hunter:
Belief Manipulation: A Formal Model of Deceit in Message Passing Systems. PAISI 2013: 1-8 - 2012
- [c16]Aaron Hunter:
Actions, Preferences, and Logic Programs. Canadian AI 2012: 97-108 - [c15]Aaron Hunter:
Structured Documents: Signatures and Deception. EISIC 2012: 274-277 - 2011
- [j1]Aaron Hunter, James P. Delgrande:
Iterated Belief Change Due to Actions and Observations. J. Artif. Intell. Res. 40: 269-304 (2011) - 2010
- [c14]James P. Delgrande, Aaron Hunter, Torsten Grote:
On the representation and verification of cryptographic protocols in a theory of action. PST 2010: 39-45
2000 – 2009
- 2009
- [c13]Aaron Hunter:
Belief modeling for maritime surveillance. FUSION 2009: 1926-1932 - [c12]James P. Delgrande, Torsten Grote, Aaron Hunter:
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR 2009: 355-367 - 2008
- [c11]Aaron Hunter:
Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary. EuroISI 2008: 61-72 - 2007
- [c10]Aaron Hunter, James P. Delgrande:
Belief Change and Cryptographic Protocol Verification. AAAI 2007: 427-433 - [c9]Aaron Hunter, James P. Delgrande:
An Explicit Model of Belief Change for Cryptographic Protocol Verification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 65-70 - [c8]Aaron Hunter, James P. Delgrande:
An Action Description Language for Iterated Belief Change. IJCAI 2007: 2498-2503 - [c7]Aaron Hunter, James P. Delgrande, Joel Faber:
Using Answer Sets to Solve Belief Change Problems. LPNMR 2007: 272-277 - [i1]Aaron Hunter, James P. Delgrande:
Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [c6]Aaron Hunter, James P. Delgrande:
Belief Change in the Context of Fallible Actions and Observations. AAAI 2006: 257-262 - 2005
- [c5]Aaron Hunter, James P. Delgrande:
Iterated Belief Change: A Transition System Approach. IJCAI 2005: 460-465 - 2004
- [c4]Aaron Hunter:
A Unified Action Language Framework. Canadian AI 2004: 524-528 - [c3]Aaron Hunter:
Adding modal operators to the action language A. NMR 2004: 219-226 - 2003
- [c2]Aaron Hunter:
Spectrum Hierarchies and Subdiagonal Functions. LICS 2003: 281-290 - 2002
- [c1]James P. Delgrande, Aaron Hunter, Torsten Schaub:
COBA: A Consistency-Based Belief Revision System. JELIA 2002: 509-512
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
