Skip to main content
Home
Institutional Repository

About

  • About

Breadcrumb

  1. Home
  2. BCIT Scholarly Community

BCIT Citations Collection

Description
Collection of published works from BCIT researchers, faculty, and instructors.
Member of
BCIT Scholarly Community
Displaying 1 - 10 of 10

Results per page

  • 15
  • 60
  • 120
  •  List
  •  Grid
Displaying 1 - 10 of 10

An action description language for iterated belief change

repository_659-Thumbnail Image.png

An explicit model of belief change for cryptographic protocol verification

repository_658-Thumbnail Image.png

Belief change and cryptographic protocol verification

repository_657-Thumbnail Image.png

Belief change in the context of fallible actions and observations

repository_660-Thumbnail Image.png

Belief change with uncertain action histories

repository_641-Thumbnail Image.png

Iterated belief change due to actions and observations

repository_652-Thumbnail Image.png

Iterated belief change: a transition system approach

repository_661-Thumbnail Image.png

Modelling cryptographic protocols in a theory of action

repository_655-Thumbnail Image.png

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

repository_653-Thumbnail Image.png

Using ranking functions to determine plausible action histories

repository_662-Thumbnail Image.png

Search within Collection

Resource Type

  • Text (10)

Creators and Contributors

  • (-) Delgrande, James, P. (10)

Publisher

  • Association for the Advancement… (4)
  • AI Access Foundation (2)
  • IEEE (1)
  • Semantic Scholar (1)
  • UTSePress (1)

Physical Form

Subject

Subject (name)

Temporal Subject

Year

  • 2005 (2)
  • 2006 (1)
  • 2007 (3)
  • 2009 (1)
  • 2010 (1)
  • 2011 (1)
  • 2015 (1)