Aaron Hunter - RankMe

91 papers A* 9B 5C 9Misc 1Journal 8Unranked 59

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Belief Revision with Two Kinds of Trust. ICAART (4) Aaron Hunter, Deanna Lepke
2025	—	`conf`	Belief Change with Full Memory and Trust. PRICAI (4) Aaron Hunter
2025	—	`conf`	Formal Reasoning About Trusted Third Party Protocols. ICAART (3) Aaron Hunter
2025	—	`conf`	Hands-on Strategies for Teaching Social and Societal Impacts of Computing. CompEd (2) Stan Kurkovsky, Manee Ngozi M. Nnamani, Aaron Hunter, Olatunde Sobomehin, Grant Braught, Michael Goldweber
2025	—	`conf`	Logic, Belief Propagation and Misinformation. CNS Aaron Hunter
2025	C	`conf`	Using Counterfactuals for Explainable Android Malware Detection. PST Maryam Tanha, Winston Zhao, Aaron Hunter, Ashkan Jangodaz
2024	—	`conf`	A Description Language for Similarity, Belief Change and Trust. ICAART (3) Aaron Hunter
2024	B	`conf`	A Tool for Reasoning about Trust and Belief. LPAR Aaron Hunter, Alberto Iglesias
2024	—	`conf`	Belief Revision for Physical Robots: Opportunities and Challenges. CCECE Aaron Hunter, Dustin Daon
2024	—	`conf`	Combined Change Operators for Trust and Belief. AI (1) Aaron Hunter
2024	C	`conf`	Interpretable Android Malware Detection Based on Dynamic Analysis. ICISSP Arunab Singh, Maryam Tanha, Yashsvi Girdhar, Aaron Hunter
2024	—	`conf`	Reasoning about Simultaneous Change in Trust and Belief. NMR Aaron Hunter
2023	—	`conf`	A System for Updating Trust and Performing Belief Revision. ICAART (3) Aaron Hunter, Sam Tadey
2023	—	`conf`	Ethical Considerations for the Deployment of Logic-Based Models of Reasoning. ICAART (3) Aaron Hunter
2023	—	`conf`	Joint Trust for Belief Revision. Canadian AI Aaron Hunter, Richard Booth
2023	—	`conf`	Reports, Observations, and Belief Change. AI (2) Aaron Hunter
2022	—	`conf`	BRL: A Toolkit for Learning How an Agent Performs Belief Revision. ICAART (3) Aaron Hunter, Konstantin Boyarinov
2022	Misc	`conf`	Belief Revision with Dishonest Reports. AI Aaron Hunter
2022	—	`conf`	Increasing the Efficiency of HVAC Systems using Schedule-Based Control. UEMCON Spencer Wilson, Sirine Maalej, Aaron Hunter
2022	—	`conf`	Trust Graphs for Belief Revision: Framework and Implementation. NMR Aaron Hunter, Sam Tadey
2021	—	`conf`	Building Trust for Belief Revision. PRICAI (1) Aaron Hunter
2021	—	`conf`	Enhancing Low-Energy Facial Recognition Devices and Abilities To Improve Security: A Practical Study. UEMCON Kenneth C. K. Wong, Aaron Hunter
2021	A*	`conf`	How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements. IJCAI Thomas Eiter, Aaron Hunter, François Schwarzentruber
2021	—	`conf`	On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief. Canadian AI Aaron Hunter
2021	—	`conf`	Using Game AI to Control a Simulated Economy. ICAART (2) Paul McCarlie, Aaron Hunter
2020	A*	`conf`	GenC: A Fast Tool for Applications Involving Belief Revision. IJCAI Aaron Hunter, John Agapeyev
2020	—	`conf`	Knowledge-based Analysis of Residential Air Quality. ICAART (2) Aaron Hunter, Rodrigo Mora
2020	—	`conf`	Learning to Model Another Agent's Beliefs: A Preliminary Approach. AGI Aaron Hunter, Paul McCarlie
2020	—	`conf`	On the Development of Tools for Modelling Dynamic Beliefs Based on Past Data. UEMCON Aaron Hunter, Konstantin Boyarinov
2019	—	`conf`	An Efficient Solver for Parametrized Difference Revision. Australasian Conference on Artificial Intelligence Aaron Hunter, John Agapeyev
2019	—	`conf`	Building a Curriculum for Industrial Network Security. ICIT Aaron Hunter, David Leversage
2019	—	`conf`	Drones' Face off: Authentication by Machine Learning in Autonomous IoT Systems. UEMCON Mehdi Karimibiuki, Michal Aibin, Yuyu Lai, Raziq Khan, Ryan Norfield, Aaron Hunter
2018	—	`conf`	A Comparative Analysis of Properties that May be Used for Malware Detection. UEMCON Jimmy Hua, Aaron Hunter
2018	—	`conf`	A Tool for Defining and Simulating Storage Strategies on the Smart Grid. Canadian AI Dan Russell, Aaron Hunter
2018	C	`conf`	Decoy Systems with Low Energy Bluetooth Communication. ICISSP Aaron Hunter, Ken Wong
2018	—	`conf`	Learning Belief Revision Operators. Canadian AI Aaron Hunter
2018	—	`conf`	Machine Learning to Identify Android Malware. UEMCON Geran Tam, Aaron Hunter
2018	—	`conf`	Managing Cybersecurity Break-ins Using Bluetooth Low Energy Devices to Verify Attackers: A Practical Study. ICISSP (Revised Selected Papers) Kenneth C. K. Wong, Aaron Hunter
2018	—	`conf`	On Faculty Supervision in Industry Projects. WCCCE Michal Aibin, Aaron Hunter
2018	J	`jnl`	Trust as a Precursor to Belief Revision. J. Artif. Intell. Res. Richard Booth, Aaron Hunter
2018	—	`conf`	Using Wearable Device Data in a Criminal Investigation: A Preliminary Study. EISIC Sarah McNary, Aaron Hunter
2018	—	`conf`	Wearable Device Data for Criminal Investigation. SpaCCS Sarah McNary, Aaron Hunter
2017	A*	`conf`	Belief Manipulation Through Propositional Announcements. IJCAI Aaron Hunter, François Schwarzentruber, Eric Tsang
2017	—	`conf`	Bluetooth for decoy systems: A practical study. CNS Ken Wong, Aaron Hunter
2017	—	`conf`	Managing cybersecurity break-ins using bluetooth low energy devices to verify attackers: A practical study. CNS Kenneth C. K. Wong, Aaron Hunter
2017	—	`conf`	On the Replaceability of Computational Agents in an Ethical Theory. ICAART (2) Aaron Hunter
2017	—	`conf`	Power Storage on the Smart Grid: Experimentation and Education. ICAART (2) Aaron Hunter, Ray Young
2017	C	`conf`	Reasoning About Trust and Belief Change on a Social Network: A Formal Approach. ISPEC Aaron Hunter
2017	—	`conf`	Security and trust for surveillance cameras. CNS Konstantin Boyarinov, Aaron Hunter
2016	C	`conf`	A logical approach to promoting trust over knowledge to trust over action. PST Aaron Hunter
2016	C	`conf`	Exploiting known vulnerabilities of a smart thermostat. PST Mike Moody, Aaron Hunter
2016	B	`conf`	GenB: A General Solver for AGM Revision. JELIA Aaron Hunter, Eric Tsang
2016	—	`conf`	Information Hiding: Ethics and Safeguards for Beneficial Intelligence. ICAART (2) Aaron Hunter
2016	C	`conf`	Mobile forensics for cloud data: Practical and legal considerations. PST John Bjornson, Aaron Hunter
2016	—	`conf`	Nearly Counterfactual Revision. Canadian AI Aaron Hunter
2016	J	`jnl`	Ordinal Conditional Functions for Nearly Counterfactual Revision. CoRR Aaron Hunter
2015	—	`conf`	A Declarative Model for Reasoning about Form Security. ICAART (2) Aaron Hunter
2015	—	`conf`	Arbitrary Announcements in Propositional Belief Revision. DARe@IJCAI Aaron Hunter, François Schwarzentruber
2015	J	`jnl`	Belief Change with Uncertain Action Histories. J. Artif. Intell. Res. Aaron Hunter, James P. Delgrande
2015	—	`conf`	Exploring Power Storage Profiles for Vehicle to Grid Systems. AAAI Workshop: AI for Cities Aaron Hunter, Ray Young
2015	—	`conf`	Infinite Ordinals and Finite Improvement. LORI Aaron Hunter
2015	—	`conf`	On Keeping Secrets: Intelligent Agents and the Ethics of Information Hiding. AAAI Workshop: AI and Ethics Aaron Hunter
2015	A*	`conf`	Trust-Sensitive Belief Revision. IJCAI Aaron Hunter, Richard Booth
2014	—	`conf`	Belief Change and Non-deterministic Actions. Canadian AI Aaron Hunter
2014	J	`jnl`	Belief Revision and Trust. CoRR Aaron Hunter
2014	—	`conf`	Belief Revision on Modal Accessibility Relations. ICAART (1) Aaron Hunter
2014	J	`jnl`	Belief manipulation and message meaning for protocol analysis. Secur. Informatics Aaron Hunter
2014	J	`jnl`	Iterated Belief Change Due to Actions and Observations. CoRR Aaron Hunter, James P. Delgrande
2014	—	`conf`	Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression. ICAART (1) Aaron Hunter
2013	—	`conf`	Belief Manipulation: A Formal Model of Deceit in Message Passing Systems. PAISI Aaron Hunter
2013	—	`conf`	Protocol Verification in a Theory of Action. Canadian AI Aaron Hunter, James P. Delgrande, Ryan McBride
2013	—	`conf`	Revisiting the Epistemics of Protocol Correctness. Canadian AI Aaron Hunter
2012	—	`conf`	Actions, Preferences, and Logic Programs. Canadian AI Aaron Hunter
2012	—	`conf`	Structured Documents: Signatures and Deception. EISIC Aaron Hunter
2011	J	`jnl`	Iterated Belief Change Due to Actions and Observations. J. Artif. Intell. Res. Aaron Hunter, James P. Delgrande
2010	C	`conf`	On the representation and verification of cryptographic protocols in a theory of action. PST James P. Delgrande, Aaron Hunter, Torsten Grote
2009	B	`conf`	A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR James P. Delgrande, Torsten Grote, Aaron Hunter
2009	C	`conf`	Belief modeling for maritime surveillance. FUSION Aaron Hunter
2008	—	`conf`	Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary. EuroISI Aaron Hunter
2007	A*	`conf`	An Action Description Language for Iterated Belief Change. IJCAI Aaron Hunter, James P. Delgrande
2007	—	`conf`	An Explicit Model of Belief Change for Cryptographic Protocol Verification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Aaron Hunter, James P. Delgrande
2007	A*	`conf`	Belief Change and Cryptographic Protocol Verification. AAAI Aaron Hunter, James P. Delgrande
2007	—	`conf`	Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents Aaron Hunter, James P. Delgrande
2007	B	`conf`	Using Answer Sets to Solve Belief Change Problems. LPNMR Aaron Hunter, James P. Delgrande, Joel Faber
2006	A*	`conf`	Belief Change in the Context of Fallible Actions and Observations. AAAI Aaron Hunter, James P. Delgrande
2005	A*	`conf`	Iterated Belief Change: A Transition System Approach. IJCAI Aaron Hunter, James P. Delgrande
2004	—	`conf`	A Unified Action Language Framework. Canadian AI Aaron Hunter
2004	—	`conf`	Adding modal operators to the action language A. NMR Aaron Hunter
2004	J	`jnl`	Limiting Cases for Spectrum Closure Results. Australas. J. Log. Aaron Hunter
2003	A*	`conf`	Spectrum Hierarchies and Subdiagonal Functions. LICS Aaron Hunter
2002	B	`conf`	COBA: A Consistency-Based Belief Revision System. JELIA James P. Delgrande, Aaron Hunter, Torsten Schaub