Skip to main content
Simon Fraser University Simon Fraser University Simon Fraser University Simon Fraser University
Summit Research Repository
  • SIGN IN
    • SFU Mail
    • goSFU
    • Canvas
    • Library Catalogue
Submit your Research

Main navigation

  • Home
  • Collections
  • About
  • Contact
  • Search Summit

Search

Displaying 1 - 4 of 4
On the role of possibility in action execution and knowledge in the Situation Calculus
Author: Vaezian, Vahid
Date created: 2019-01-11
Arithmetic and Modularity in Declarative Languages for Knowledge Representation
Author: Tasharrofi, Shahab
Date created: 2013-12-16
Instance transformation for declarative solvers
Author: O'Connor, Megan Kersten
Date created: 2015-12-04
Non-uniform Knowledge in the Situation Calculus
Author: Twigg, James Robert Maitland
Date created: 2016-09-26

Date created

Resource type

  • Thesis (4)

Author

  • O'Connor, Megan Kersten (1)
  • Tasharrofi, Shahab (1)
  • Twigg, James Robert Maitland (1)
  • Vaezian, Vahid (1)

Collection

  • Computing Science Theses (4)

Scholarly level

  • Graduate student (Masters) (3)
  • Graduate student (PhD) (1)

Thesis Advisor

  • Delgrande, James (2)
  • Mitchell, David (1)
  • Ternovska, Eugenia (1)

Peer reviewed?

No options apply.

Keywords

  • (-) Knowledge Representation and Reasoning (4)
  • Declarative Problem Solving (2)
  • Situation Calculus (2)
  • Answer set programming (1)
  • Built-in Arithmetic (1)
  • Constraint modelling languages (1)
  • Event Calculus (1)
  • Frame Problem (1)
  • Hypothetical Reasoning (1)
  • Language-independence (1)
  • Mathematical programming (1)
  • Modularity (1)
  • Multi-context Systems (1)
  • Non-uniform Knowledge (1)
  • Projection (1)
  • Reasoning About Action (1)
  • Stable Model Semantics (1)
  • Supported Semantics (1)
  • Theories of action (1)

Summit

  • Home
  • About
  • Submit thesis
  • Submit work
  • Contact
  • Log in

Simon Fraser University

  • Library
  • Programs
  • Learning
  • Community
  • Research
  • About
  • Academic Calendar
  • Maps & directions
  • Road conditions
  • Emergency information
  • Facebook
  • Twitter
  • Instagram
  • YouTube
  • LinkedIn
Give to SFU

Simon Fraser University Library is grateful to be located on the lands of the xʷməθkʷəy̓əm (Musqueam), Sḵwx̱wú7mesh (Squamish), səl̓ilw̓ətaʔɬ (Tsleil-Waututh), q̓íc̓əy̓ (Katzie), kʷikʷəƛ̓əm (Kwikwetlem), qiqéyt (Qayqayt), qʼʷa:n̓ƛʼən̓ (Kwantlen), Səmyámə (Semiahmoo), and sc̓əwaθən (Tsawwassen) Nations.

Acknowledging the benefits of occupying this land, the Library commits to becoming a more welcoming space for Indigenous Peoples by centring Indigenous voices in our collections, services, and programs.

  • Terms and conditions
  • © Simon Fraser University