2020
Hunter, A. and Boyarinov, K. “On the Development of Tools for Modelling Dynamic Beliefs Based on Past Data.”IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON), 2020.
Hunter, A. and Agapeyev, J.“GenC: A Fast Tool for Applications Involving Belief Revision.” International Joint Conference on Artificial Intelligence (IJCAI). Kyoto, Japan, 2020.
Hunter, A. and McCarlie, P.“Learning to Model Another Agent’s Beliefs: A Preliminary Approach.” International Conference on Artificial General Intelligence (AGI). Virtual Conference, 2020.
Hunter, A. and Mora, R.“Knowledge-based Analysis of Residential Air Quality.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Valletta, Malta, pp. 801-805, 2020.
2019
Hunter, A. and Agapeyev, J.“An Efficient Solver for Parametrized Difference Revision.” Australasian Conference on Artificial Intelligence. Adelaide, Australia, pp. 143-152, 2019.
Karimibiuki, M., Aibin, M., Lai, Y., Khan, R., Norfield, R., and Hunter, A.“Drones’ Face off: Authentication by Machine Learning in Autonomous IoT Systems.” IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON). New York, USA, pp. 329-333, 2019.
Hunter, A. and Leversage, D.“Building a Curriculum for Industrial Network Security.” Proceedings of the 20th IEEE International Conference on Industrial Technology (ICIT). Melbourne, Australia, 2019.
2018
Booth, R. and Hunter, A. “Trust as a Precursor to Belief Revision.” Journal of Artificial Intelligence Research, 61, pp. 699-722, 2018.
McNary, S. and Hunter, A.“Wearable Device Data for Criminal Investigation.” Proceedings of the 11th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS). Melbourne, Australia, pp. 60-71, 2018.
Tam, G. and Hunter, A.“Machine Learning to Identify Android Malware.” Proceedings of the IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference (UEMCON). New York, USA, 2018.
Hua, J. and Hunter, A.“A Comparative Analysis of Properties that May be Used for Malware Detection.” Proceedings of the IEEE Annual Ubiquitous Computing, Electronics and Mobile Communication Conference (UEMCON). New York, USA, 2018.
Hunter, A. “Learning Belief Revision Operators.” Canadian Conference on Artificial Intelligence, Toronto, Canada, 2018.
Russell, D. and Hunter A. “A Tool for Defining and Simulating Storage Strategies on the Smart Grid.” Canadian Conference on Artificial Intelligence, Toronto, Canada, 2018.
Hunter, A. and Wong, K. “Decoy Systems with Low Energy Bluetooth Communication.” International Conference on Information Systems Security and Privacy (ICSSP). Madeira, Portugal, 2018.
2017
Hunter, A. “Reasoning about Trust and Belief Change on a Social Network: A Formal Approach.” International Symposium on Security and Privacy in Social Networks and Big Data (in Proceedings of ISPEC). Melbourne, Australia, 2017.
Wong, K. and Hunter, A. “Bluetooth for Decoy Systems: A Practical Study.” IEEE Conference on Communications and Network Security (CNS). Las Vegas, USA, 2017.
Boyarinov, K. and Hunter, A. “Security and Trust for Surveillance Cameras.” IEEE Conference on Communications and Network Security (CNS). Las Vegas, USA, 2017.
Hunter, A., Schwarzentruber, F., and Tsang, E. “Belief Manipulation Through Propositional Announcements.” Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). Melbourne, Australia, 2017.
Hunter, A. and Young, R. “Power Storage on the Smart Grid: Experimentation and Education.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Porto, Portugal, 2017.
Hunter, A. “On the Replaceability of Computational Agents in an Ethical Theory.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Porto, Portugal, 2017.
2016
Hunter, A. “A Logical Approach to Promoting Trust over Knowledge to Trust over Action.” Proceedings of the Annual Conference on Privacy, Security and Trust (PST). Auckland, New Zealand, 2016.
Bjornson, J. and Hunter, A. “Mobile Forensics for Cloud Data: Practical and Legal Considerations. Proceedings of the Annual Conference on Privacy, Security and Trust (PST). Auckland, New Zealand, 2016.
Moody, M. and Hunter, A. “Exploiting Known Vulnerabilities of a Smart Thermostat.” Proceedings of the Annual Conference on Privacy, Security and Trust (PST). Auckland, New Zealand, 2016.
Hunter, A. and Tsang, E. “GenB: A General Solver for AGM Revision.” Proceedings of the International Conference on Logics in Artificial Intelligence (JELIA). Larnaca, Cyprus, 2016.
Hunter A. “Ordinal Conditional Functions for Nearly Counterfactual Revision.” Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR). Cape Town, South Africa, 2016.
Hunter, A. “Nearly Counterfactual Revision.” Proceedings of the Canadian Conference on Artificial Intelligence. Victoria, Canada, 2016.
Hunter, A. “Information Hiding: Ethics and Safeguards for Beneficial Intelligence.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Rome, Italy, 2016.
2015
Hunter, A. and Delgrande J.P. “Belief Change with Uncertain Action Histories.” Journal of Artificial Intelligence Research, 53, pp. 779-824, 2015.
Hunter, A. “Infinite Ordinals and Finite Improvement.” Proceedings of the International Conference on Logic, Rationality and Interaction, Taipei, Taiwan, 2015.
Hunter, A. and Booth, R. “Trust-Sensitive Belief Revision.” Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, 2015.
Hunter, A. and Schwarzentruber, F. “Arbitrary Announcements in Propositional Belief Revision.” Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe). Buenos Aires, Argentina, 2015.
Hunter, A. “On Keeping Secrets: Intelligent Agents and The Ethics of Information Hiding.” Proceedings of the AAAI Workshop on AI and Ethics. Austin, USA, 2015.
Hunter, A. and Young, R. “Exploring Power Storage Profiles for Vehicle to Grid Systems.” Proceedings of the AAAI Workshop on AI for Cities. Austin, USA, 2015.
Hunter, A. “A Declarative Model for Reasoning About Form Security.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Lisbon, Portgual, 2015.
2014
Hunter, A. “Belief Manipulation and Message Meaning for Protocol Analysis.” Security Informatics, 3:15, pp. 1-11, 2014.
Hunter, A. “Belief Revision and Trust.” Proceesings of the International Workshop on Non-Monotonic Reasoning (NMR). Vienna, Austria, 2014.
Hunter, A. “Belief Change and Non-Deterministic Actions.” Proceedings of the Canadian Conference on Artificial Intelligence. Montreal, Canada, 2014.
Hunter, A. “Ranking Functions for Belief Change: A Uniform Approach to Belief Revision and Belief Progression.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Angers, France, 2014.
Hunter, A. “Belief Revision on Modal Accessibility Relations.” Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART). Angers, France, 2014.
2013
Hunter, A. “Belief Manipulation: A Formal Model of Deceit in Message Passing Systems.” Proceedings of the Pacific Asia Workshop on Intelligence and Security Informatics(PAISI). Beijing, China, 2013.
Hunter, A. “Revisiting the Epistemics of Protocol Correctness.” Proceedings of the Canadian Conference on Artificial Intelligence. Regina, Canada, 2013.
Hunter, A., Delgrande, J.P., and McBride, R. “Protocol Verification in a Theory of Action.” Proceedings of the Canadian Conference on Artificial Intelligence. Regina, Canada, 2013.
Pre-2013
Hunter, A. “Structured Documents: Signatures and Deception.” Proceedings of the European Intelligence and Security Informatics Conference (EISIC). Odense, Denmark, 2012.
Hunter, A. “Actions, Preferences, and Logic Programs.” Proceedings of the Canadian Conference on Artificial Intelligence. Toronto, Canada, 2012.
Hunter, A. and Delgrande, J.P. “Iterated Belief Change Due to Actions and Observations.” Journal of Artificial Intelligence Research 40, pp. 269-304, 2011.
Delgrande, J.P., Hunter, A, and Grote, T. “On the Representation and Verification of Cryptographic Protocols in a Theory of Action.” Proceedings of the Eighth Annual Conference on Privacy, Security and Trust (PST 2010). Ottawa, Canada, 2010.
Delgrande, J.P., Grote, T., and Hunter, A. “A General Approach to the Verification of Cryptographic Protocols using Answer Set Programming.” Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’09). Potsdam, Germany, 2009.
Hunter, A. and Delgrande, J.P. “Finding Attacks on Signed Forms: Towards a Logical Approach.” Proceedings of the Workshop on Foundations of Computer Security (FCS 09). Los Angeles, USA, 2009.
Hunter, A. “Belief Modelling for Maritime Surveillance.” Proceedings of the 12th International Conference on Information Fusion. Seattle, USA, 2009.
Delgrande, J.P., Hunter, A, and Grote, T. “Modelling Cryptographic Protocols in a Theory of Action.” Proceedings of the International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canada, 2009.
Hunter, A. “Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary.” Proceedings of the European Conference on Intelligence and Security Informatics. Esbjerg, Denmark, 2008.
Hunter, A., Happe, J., and Dutkiewicz, M. “Dynamic Plan Management in the Context of a Recognized Air Picture.” Defence Research and Development Canada Technical Report CR-2007-446. Valcartier, QC, 2007.
Hunter, A. and Delgrande, J.P. “Belief Change and Cryptographic Protocol Verification.” Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07). Vancouver, BC, 2007.
Hunter, A., Delgrande, J.P. and Faber, J. “Using Answer Sets to Solve Belief Change Problems.” Proceedings of the 9th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2007). Tempe, AZ, 2007.
Hunter, A. and Delgrande, J.P. “An Explicit Model of Belief Change for Cryptographic Protocol Verification.” Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning. Stanford, CA, 2007.
Hunter, A. and Delgrande, J.P. “An Action Description Language for Iterated Belief Change.” Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-07), pp. 2498-2503. Hyderabad, India, 2007.
Hunter, A. and Delgrande, J.P. “Belief Change in the Context of Fallible Actions and Observations.” Proceedings of the 21st Conference on Artificial Intelligence (AAAI-06). Boston, MA, 2006.
Hunter, A. and Delgrande, J.P. “Iterated Belief Change: A Transition System Approach.” Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 460-465. Edinburgh, Scotland, 2005.
Hunter, A. and Delgrande, J.P. “Using Ranking Functions to Determine Plausible Action Histories.” Proceedings of the Sixth Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-05). Edinburgh, Scotland, 2005.
Hunter, A. “Limiting Cases for Spectrum Closure Results.” Australasian Journal of Logic, 2, pp. 70-90, 2004.
Hunter, A. “Epistemic Extensions of Action Languages.” Proceedings of the Doctoral Consortium at the International Conference on Knowledge Representation and Reasoning (KR04). Whistler, BC, 2004.
Hunter, A. “Adding Modal Operators to the Action Language A.” Proceedings of the International Workshop on Non-Monotonic Reasoning (NMR-04), 219-226. Whistler, BC, 2004.
Hunter, A. “A Unified Action Language Framework.” Proceedings of the Canadian Conference on Artificial Intelligence (AI-04), pp. 524-528, 2004.
Hunter, A. “Spectrum Hierarchies and Subdiagonal Functions.” Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS-03), pp. 281-290. Ottawa, ON, 2003.
Delgrande, J.P., Hunter, A., Schaub, T. “COBA: A Consistency-Based Belief Revision System.” In Eds. Giovambattista Ianni and Sergio Flesca, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02), 509-512. Cosenza, Italy, 2002.