Aaron Hunter
YOU?
Author Swipe
View article: Real-time control and data standardization on various telescopes and benches
Real-time control and data standardization on various telescopes and benches Open
Real-time control (RTC) is pivotal for any Adaptive Optics (AO) system, including high-contrast imaging of exoplanets and circumstellar environments. It is the brain of the AO system, and what wavefront sensing and control (WFS\&C) techniq…
View article: A Tool for Reasoning about Trust and Belief
A Tool for Reasoning about Trust and Belief Open
We introduce a software tool for reasoning about belief change in situations where information is received from reports and observations. Our focus is on the interaction between trust and belief. The software is based on a formal model whe…
View article: Interpretable Android Malware Detection Based on Dynamic Analysis
Interpretable Android Malware Detection Based on Dynamic Analysis Open
View article: A Description Language for Similarity, Belief Change and Trust
A Description Language for Similarity, Belief Change and Trust Open
View article: Joint Trust for Belief Revision
Joint Trust for Belief Revision Open
The process of belief revision is impacted by trust relationships between agents. In the simplest case, information is reported from a single source and the belief change that occurs is dependent on the extent to which that source is trust…
View article: Ethical Considerations for the Deployment of Logic-Based Models of Reasoning
Ethical Considerations for the Deployment of Logic-Based Models of Reasoning Open
View article: WORKSTATION CONSOLES FOR SLC.
WORKSTATION CONSOLES FOR SLC. Open
A workstation console based on the DEC VAXstation GPx has been developed for the SLC control system. The three video monitors (touchpanel, color graphics display and terminal screen) of the original SLC console are replaced by four windows…
View article: How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements Open
Consider a set of agents with initial beliefs and a formal operator for incorporating new information. Now suppose that, for each agent, we have a formula that we would like them to believe. Does there exist a single announcement that will…
View article: On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief
On the Use of Causal Rules to Specify How Trust Impacts Change in Knowledge and Belief Open
We are concerned with models of trust, and the way that trust impacts changes in knowledge and belief. In order to address this problem, we consider transformations on Kripke structures in modal logic. We start with simple trust rules that…
View article: GenC: A Fast Tool for Applications Involving Belief Revision
GenC: A Fast Tool for Applications Involving Belief Revision Open
The process of belief revision occurs in many applications where agents may have incorrect or incomplete information. One important theoretical model of belief revision is the well-known AGM approach. Unfortunately, there are few tools ava…
View article: Knowledge-based Analysis of Residential Air Quality
Knowledge-based Analysis of Residential Air Quality Open
View article: Exercising radical democracy
Exercising radical democracy Open
The utopian promise of the digital era and the seemingly open, democratic power of the Internet have raised the hopes of activists and documentarians alike. The immediacy, reciprocity and accessibility of the emergent communication technol…
View article: Trust as a Precursor to Belief Revision
Trust as a Precursor to Belief Revision Open
Belief revision is concerned with incorporating new information into a pre-existing set of beliefs. When the new information comes from another agent, we must first determine if that agent should be trusted. In this paper, we define trust …
View article: Decoy Systems with Low Energy Bluetooth Communication
Decoy Systems with Low Energy Bluetooth Communication Open
View article: Belief Manipulation Through Propositional Announcements
Belief Manipulation Through Propositional Announcements Open
Public announcements cause each agent in a group to modify their beliefs to incorporate some new piece of information, while simultaneously being aware that all other agents are doing the same. Given a set of agents and a set of epistemic …
View article: Ordinal Conditional Functions for Nearly Counterfactual Revision
Ordinal Conditional Functions for Nearly Counterfactual Revision Open
We are interested in belief revision involving conditional statements where the antecedent is almost certainly false. To represent such problems, we use Ordinal Conditional Functions that may take infinite values. We model belief change in…
View article: Information Hiding: Ethics and Safeguards for Beneficial Intelligence
Information Hiding: Ethics and Safeguards for Beneficial Intelligence Open
View article: A Declarative Model for Reasoning about Form Security
A Declarative Model for Reasoning about Form Security Open
We introduce a formal methodology for analysing the security of digital forms, by representing form signing procedures in a declarative action formalism. In practice, digital forms are represented as XML documents and the security of infor…
View article: Arbitrary Announcements in Propositional Belief Revision
Arbitrary Announcements in Propositional Belief Revision Open
International audience