dblp.uni-trier.dewww.uni-trier.de

Aaron Hunter

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1James P. Delgrande [1] [5] [6] [7] [8] [9] [10]
2Joel Faber [7]
3Torsten Schaub [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)