We stand with Ukraine

We stand with Ukraine

Aaron Hunter

Affiliations:

British Columbia Institute of Technology, Burnaby, Canada

According to our database¹, Aaron Hunter authored at least 77 papers between 2002 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on commons.bcit.ca
on scholar.google.com

On csauthors.net:

Bibliography

2024

Interpretable Android Malware Detection Based on Dynamic Analysis.

[BibT_eX]

[DOI]

,

,

Yashsvi Girdhar

,

Proceedings of the 10th International Conference on Information Systems Security and Privacy, 2024

A Description Language for Similarity, Belief Change and Trust.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

A System for Updating Trust and Performing Belief Revision.

[BibT_eX]

[DOI]

,

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Ethical Considerations for the Deployment of Logic-Based Models of Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Reports, Observations, and Belief Change.

[BibT_eX]

[DOI]

Proceedings of the AI 2023: Advances in Artificial Intelligence, 2023

Joint Trust for Belief Revision.

[BibT_eX]

[DOI]

,

Proceedings of the 36th Canadian Conference on Artificial Intelligence, 2023

2022

Increasing the Efficiency of HVAC Systems using Schedule-Based Control.

[BibT_eX]

[DOI]

,

,

Proceedings of the 13th IEEE Annual Ubiquitous Computing, 2022

Trust Graphs for Belief Revision: Framework and Implementation.

[BibT_eX]

[DOI]

,

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

BRL: A Toolkit for Learning How an Agent Performs Belief Revision.

[BibT_eX]

[DOI]

,

Konstantin Boyarinov

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Belief Revision with Dishonest Reports.

[BibT_eX]

[DOI]

Proceedings of the AI 2022: Advances in Artificial Intelligence, 2022

2021

Enhancing Low-Energy Facial Recognition Devices and Abilities To Improve Security: A Practical Study.

[BibT_eX]

[DOI]

Kenneth C. K. Wong

,

Proceedings of the 12th IEEE Annual Ubiquitous Computing, 2021

Building Trust for Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2021: Trends in Artificial Intelligence, 2021

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements.

[BibT_eX]

[DOI]

,

,

François Schwarzentruber

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Using Game AI to Control a Simulated Economy.

[BibT_eX]

[DOI]

,

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief.

[BibT_eX]

[DOI]

Proceedings of the 34th Canadian Conference on Artificial Intelligence, 2021

2020

On the Development of Tools for Modelling Dynamic Beliefs Based on Past Data.

[BibT_eX]

[DOI]

,

Konstantin Boyarinov

Proceedings of the 11th IEEE Annual Ubiquitous Computing, 2020

GenC: A Fast Tool for Applications Involving Belief Revision.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Knowledge-based Analysis of Residential Air Quality.

[BibT_eX]

[DOI]

,

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Learning to Model Another Agent's Beliefs: A Preliminary Approach.

[BibT_eX]

[DOI]

,

Proceedings of the Artificial General Intelligence - 13th International Conference, 2020

2019

Drones' Face off: Authentication by Machine Learning in Autonomous IoT Systems.

[BibT_eX]

[DOI]

Mehdi Karimibiuki

,

,

,

,

,

Proceedings of the 10th IEEE Annual Ubiquitous Computing, 2019

Building a Curriculum for Industrial Network Security.

[BibT_eX]

[DOI]

,

David Leversage

Proceedings of the IEEE International Conference on Industrial Technology, 2019

An Efficient Solver for Parametrized Difference Revision.

[BibT_eX]

[DOI]

,

Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

2018

Trust as a Precursor to Belief Revision.

[BibT_eX]

[DOI]

,

J. Artif. Intell. Res., 2018

On Faculty Supervision in Industry Projects.

[BibT_eX]

[DOI]

,

Proceedings of the WCCCE 2018: Western Canadian Conference on Computing Education, 2018

Machine Learning to Identify Android Malware.

[BibT_eX]

[DOI]

,

Proceedings of the 9th IEEE Annual Ubiquitous Computing, 2018

A Comparative Analysis of Properties that May be Used for Malware Detection.

[BibT_eX]

[DOI]

,

Proceedings of the 9th IEEE Annual Ubiquitous Computing, 2018

Wearable Device Data for Criminal Investigation.

[BibT_eX]

[DOI]

,

Proceedings of the Security, Privacy, and Anonymity in Computation, Communication, and Storage, 2018

Managing Cybersecurity Break-ins Using Bluetooth Low Energy Devices to Verify Attackers: A Practical Study.

[BibT_eX]

[DOI]

Kenneth C. K. Wong

,

Proceedings of the Information Systems Security and Privacy - 4th International Conference, 2018

Decoy Systems with Low Energy Bluetooth Communication.

[BibT_eX]

[DOI]

,

Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018

Using Wearable Device Data in a Criminal Investigation: A Preliminary Study.

[BibT_eX]

[DOI]

,

Proceedings of the European Intelligence and Security Informatics Conference, 2018

A Tool for Defining and Simulating Storage Strategies on the Smart Grid.

[BibT_eX]

[DOI]

,

Proceedings of the Advances in Artificial Intelligence, 2018

Learning Belief Revision Operators.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2018

2017

Reasoning About Trust and Belief Change on a Social Network: A Formal Approach.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2017

Belief Manipulation Through Propositional Announcements.

[BibT_eX]

[DOI]

,

François Schwarzentruber

,

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Power Storage on the Smart Grid: Experimentation and Education.

[BibT_eX]

,

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

On the Replaceability of Computational Agents in an Ethical Theory.

[BibT_eX]

Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Bluetooth for decoy systems: A practical study.

[BibT_eX]

[DOI]

,

Proceedings of the 2017 IEEE Conference on Communications and Network Security, 2017

Security and trust for surveillance cameras.

[BibT_eX]

[DOI]

Konstantin Boyarinov

,

Proceedings of the 2017 IEEE Conference on Communications and Network Security, 2017

2016

Ordinal Conditional Functions for Nearly Counterfactual Revision.

[BibT_eX]

[DOI]

CoRR, 2016

Exploiting known vulnerabilities of a smart thermostat.

[BibT_eX]

[DOI]

,

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

A logical approach to promoting trust over knowledge to trust over action.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

Mobile forensics for cloud data: Practical and legal considerations.

[BibT_eX]

[DOI]

,

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016

GenB: A General Solver for AGM Revision.

[BibT_eX]

[DOI]

,

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Information Hiding: Ethics and Safeguards for Beneficial Intelligence.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Nearly Counterfactual Revision.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2016

2015

Belief Change with Uncertain Action Histories.

[BibT_eX]

[DOI]

,

James P. Delgrande

J. Artif. Intell. Res., 2015

Infinite Ordinals and Finite Improvement.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Arbitrary Announcements in Propositional Belief Revision.

[BibT_eX]

[DOI]

,

François Schwarzentruber

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Trust-Sensitive Belief Revision.

[BibT_eX]

[DOI]

,

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Declarative Model for Reasoning about Form Security.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

Exploring Power Storage Profiles for Vehicle to Grid Systems.

[BibT_eX]

[DOI]

,

Proceedings of the Artificial Intelligence for Cities, 2015

On Keeping Secrets: Intelligent Agents and the Ethics of Information Hiding.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Ethics, 2015

2014

Belief manipulation and message meaning for protocol analysis.

[BibT_eX]

[DOI]

Secur. Informatics, 2014

Belief Revision and Trust.

[BibT_eX]

[DOI]

CoRR, 2014

Belief Revision on Modal Accessibility Relations.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

Ranking Functions for Belief Change - A Uniform Approach to Belief Revision and Belief Progression.

[BibT_eX]

[DOI]

Proceedings of the ICAART 2014, 2014

Belief Change and Non-deterministic Actions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2014

2013

Belief Manipulation: A Formal Model of Deceit in Message Passing Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligence and Security Informatics - Pacific Asia Workshop, 2013

Protocol Verification in a Theory of Action.

[BibT_eX]

[DOI]

,

James P. Delgrande

,

Proceedings of the Advances in Artificial Intelligence, 2013

Revisiting the Epistemics of Protocol Correctness.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2013

2012

Structured Documents: Signatures and Deception.

[BibT_eX]

[DOI]

Proceedings of the 2012 European Intelligence and Security Informatics Conference, 2012

Actions, Preferences, and Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2012

2011

Iterated Belief Change Due to Actions and Observations.

[BibT_eX]

[DOI]

,

James P. Delgrande

J. Artif. Intell. Res., 2011

2010

On the representation and verification of cryptographic protocols in a theory of action.

[BibT_eX]

[DOI]

James P. Delgrande

,

,

Proceedings of the Eighth Annual Conference on Privacy, Security and Trust, 2010

2009

A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.

[BibT_eX]

[DOI]

James P. Delgrande

,

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Belief modeling for maritime surveillance.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Fusion, 2009

2008

Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary.

[BibT_eX]

[DOI]

Proceedings of the Intelligence and Security Informatics, 2008

2007

Using Answer Sets to Solve Belief Change Problems.

[BibT_eX]

[DOI]

,

James P. Delgrande

,

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

An Action Description Language for Iterated Belief Change.

[BibT_eX]

[DOI]

,

James P. Delgrande

Proceedings of the IJCAI 2007, 2007

Belief Change and Cryptographic Protocol Verification.

[BibT_eX]

[DOI]

,

James P. Delgrande

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

An Explicit Model of Belief Change for Cryptographic Protocol Verification.

[BibT_eX]

[DOI]

,

James P. Delgrande

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Belief Change in the Context of Fallible Actions and Observations.

[BibT_eX]

[DOI]

,

James P. Delgrande

Proceedings of the Proceedings, 2006

2005

Iterated Belief Change: A Transition System Approach.

[BibT_eX]

[DOI]

,

James P. Delgrande

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Adding modal operators to the action language A.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Unified Action Language Framework.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

2003

Spectrum Hierarchies and Subdiagonal Functions.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

COBA: A Consistency-Based Belief Revision System.

[BibT_eX]

[DOI]

James P. Delgrande

,

,

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Loading...