Aaron Hunter

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A tool for reasoning about trust and belief	2025-02-19	Paper
Reasoning About Trust and Belief Change on a Social Network: A Formal Approach Information Security Practice and Experience	2022-12-09	Paper
Trust as a Precursor to Belief Revision Journal of Artificial Intelligence Research	2018-05-02	Paper
GenB: A General Solver for AGM Revision Logics in Artificial Intelligence	2016-11-30	Paper
Nearly counterfactual revision Advances in Artificial Intelligence	2016-06-22	Paper
Infinite ordinals and finite improvement Logic, Rationality, and Interaction	2015-12-17	Paper
Belief change with uncertain action histories Journal of Artificial Intelligence Research	2015-10-29	Paper
Iterated belief change due to actions and observations Journal of Artificial Intelligence Research	2011-03-08	Paper
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
Advances in Artificial Intelligence Lecture Notes in Computer Science	2007-07-19	Paper
scientific article; zbMATH DE number 2121574 (Why is no real title available?)	2004-12-09	Paper
scientific article; zbMATH DE number 1931686 (Why is no real title available?)	2003-06-20	Paper

Research outcomes over time

This page was built for person: Aaron Hunter