 | 2012 |
|---|
| 16 |       | Aaron Hunter:
Actions, Preferences, and Logic Programs.
Canadian Conference on AI 2012: 97-108 |
| 2011 |
|---|
| 15 | | Aaron Hunter,
James P. Delgrande:
Iterated Belief Change Due to Actions and Observations.
J. Artif. Intell. Res. (JAIR) 40: 269-304 (2011) |
| 2010 |
|---|
| 14 | | James P. Delgrande,
Aaron Hunter,
Torsten Grote:
On the representation and verification of cryptographic protocols in a theory of action.
PST 2010: 39-45 |
| 2009 |
|---|
| 13 | | James P. Delgrande,
Torsten Grote,
Aaron Hunter:
A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.
LPNMR 2009: 355-367 |
| 2008 |
|---|
| 12 | | Aaron Hunter:
Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary.
EuroISI 2008: 61-72 |
| 2007 |
|---|
| 11 |  | Aaron Hunter,
James P. Delgrande:
Belief Change and Cryptographic Protocol Verification.
AAAI 2007: 427-433 |
| 10 | | Aaron Hunter,
James P. Delgrande:
An Explicit Model of Belief Change for Cryptographic Protocol Verification.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 65-70 |
| 9 | | Aaron Hunter,
James P. Delgrande:
Belief Change and Cryptographic Protocol Verification.
Formal Models of Belief Change in Rational Agents 2007 |
| 8 | | Aaron Hunter,
James P. Delgrande:
An Action Description Language for Iterated Belief Change.
IJCAI 2007: 2498-2503 |
| 7 | | Aaron Hunter,
James P. Delgrande,
Joel Faber:
Using Answer Sets to Solve Belief Change Problems.
LPNMR 2007: 272-277 |
| 2006 |
|---|
| 6 | | Aaron Hunter,
James P. Delgrande:
Belief Change in the Context of Fallible Actions and Observations.
AAAI 2006: 257-262 |
| 2005 |
|---|
| 5 | | Aaron Hunter,
James P. Delgrande:
Iterated Belief Change: A Transition System Approach.
IJCAI 2005: 460-465 |
| 2004 |
|---|
| 4 | | Aaron Hunter:
A Unified Action Language Framework.
Canadian Conference on AI 2004: 524-528 |
| 3 | | Aaron Hunter:
Adding modal operators to the action language A.
NMR 2004: 219-226 |
| 2003 |
|---|
| 2 | | Aaron Hunter:
Spectrum Hierarchies and Subdiagonal Functions.
LICS 2003: 281-290 |
| 2002 |
|---|
| 1 | | James P. Delgrande,
Aaron Hunter,
Torsten Schaub:
COBA: A Consistency-Based Belief Revision System.
JELIA 2002: 509-512 |
Data released under the ODC-BY 1.0 license — See also our legal information page