Institutional Repository | Partnering learners and industry for success through workforce development

Ranking functions for belief change: a uniform approach to belief revision and belief progression

Digital Document

Belief revision on modal accessibility relations

Digital Document

Structured documents: signatures and deception

Digital Document

DGI Image Discovery Discovered Image

repository_651-Thumbnail Image.png

Exploring power storage profiles for vehicle to grid systems

Digital Document

DGI Image Discovery Discovered Image

repository_645-Thumbnail Image.png

A declarative model for reasoning about form security

Digital Document

DGI Image Discovery Discovered Image

repository_646-Thumbnail Image.png

Belief manipulation and message meaning for protocol analysis

Digital Document

DGI Image Discovery Discovered Image

repository_647-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