 | 2009 |
|---|
| 12 |       | 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 |
|---|
| 11 | | Aaron Hunter:
Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary.
EuroISI 2008: 61-72 |
| 2007 |
|---|
| 10 |  | Aaron Hunter,
James P. Delgrande:
Belief Change and Cryptographic Protocol Verification.
AAAI 2007: 427-433 |
| 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 |
| 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 |
