Delgrande, James, P.

Belief change with uncertain action histories

Digital Document

DGI Image Discovery Discovered Image

repository_641-Thumbnail Image.png

Belief change in the context of fallible actions and observations

Digital Document

DGI Image Discovery Discovered Image

repository_660-Thumbnail Image.png

Iterated belief change: a transition system approach

Digital Document

DGI Image Discovery Discovered Image

repository_661-Thumbnail Image.png

Using ranking functions to determine plausible action histories

Digital Document

DGI Image Discovery Discovered Image

repository_662-Thumbnail Image.png

Belief change and cryptographic protocol verification

Digital Document

DGI Image Discovery Discovered Image

repository_657-Thumbnail Image.png

An explicit model of belief change for cryptographic protocol verification

Digital Document

DGI Image Discovery Discovered Image

repository_658-Thumbnail Image.png

An action description language for iterated belief change

Digital Document

DGI Image Discovery Discovered Image

repository_659-Thumbnail Image.png

Iterated belief change due to actions and observations

Digital Document

DGI Image Discovery Discovered Image

repository_652-Thumbnail Image.png

On the representation and verification of cryptographic protocols in a theory of action

Digital Document

DGI Image Discovery Discovered Image

repository_653-Thumbnail Image.png

Modelling cryptographic protocols in a theory of action

Digital Document

DGI Image Discovery Discovered Image

repository_655-Thumbnail Image.png

Delgrande, James, P.