| 2007 | ||
|---|---|---|
| 10 | Aaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. AAAI 2007: 427-433 | |
| 9 | EE | Aaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents 2007 |
| 8 | EE | Aaron Hunter, James P. Delgrande: An Action Description Language for Iterated Belief Change. IJCAI 2007: 2498-2503 |
| 7 | EE | 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 | EE | Aaron Hunter, James P. Delgrande: Iterated Belief Change: A Transition System Approach. IJCAI 2005: 460-465 |
| 2004 | ||
| 4 | EE | Aaron Hunter: A Unified Action Language Framework. Canadian Conference on AI 2004: 524-528 |
| 3 | EE | Aaron Hunter: Adding modal operators to the action language A. NMR 2004: 219-226 |
| 2003 | ||
| 2 | EE | Aaron Hunter: Spectrum Hierarchies and Subdiagonal Functions. LICS 2003: 281-290 |
| 2002 | ||
| 1 | EE | James P. Delgrande, Aaron Hunter, Torsten Schaub: COBA: A Consistency-Based Belief Revision System. JELIA 2002: 509-512 |
| 1 | James P. Delgrande | [1] [5] [6] [7] [8] [9] [10] |
| 2 | Joel Faber | [7] |
| 3 | Torsten Schaub | [1] |