Aaron Hunter Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames P. Delgrande, Torsten Grote, Aaron Hunter: A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming. LPNMR 2009: 355-367
2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter: Dissecting the Meaning of an Encrypted Message: An Approach to Discovering the Goals of an Adversary. EuroISI 2008: 61-72
2007
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. AAAI 2007: 427-433
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter, James P. Delgrande: Belief Change and Cryptographic Protocol Verification. Formal Models of Belief Change in Rational Agents 2007
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter, James P. Delgrande: An Action Description Language for Iterated Belief Change. IJCAI 2007: 2498-2503
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter, James P. Delgrande, Joel Faber: Using Answer Sets to Solve Belief Change Problems. LPNMR 2007: 272-277
2006
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter, James P. Delgrande: Belief Change in the Context of Fallible Actions and Observations. AAAI 2006
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter, James P. Delgrande: Iterated Belief Change: A Transition System Approach. IJCAI 2005: 460-465
2004
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter: A Unified Action Language Framework. Canadian Conference on AI 2004: 524-528
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter: Adding modal operators to the action language A. NMR 2004: 219-226
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAaron Hunter: Spectrum Hierarchies and Subdiagonal Functions. LICS 2003: 281-290
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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] [12]
2Joel Faber [7]
3Torsten Grote [12]
4Torsten Schaub [1]

Copyright © Thu Dec 17 16:12:58 2009 by Michael Ley (ley@uni-trier.de)