Skip to main content
Sign in
Summit Research Repository
SIGN IN
SFU Mail
goSFU
Canvas
Library Catalogue
Search
Search
This site
SFU.ca
Submit your Research
Menu
Main navigation
Home
Collections
About
Contact
Search Summit
Search
Search
Sort by
Relevance
Title
Order
Asc
Desc
Search
Displaying 1 - 3 of 3
Implementing Belnap-logical conflation and implication operators in answer set programming
Author:
Han, Zhao Yi
Date created:
2020-03-19
Instance transformation for declarative solvers
Author:
O'Connor, Megan Kersten
Date created:
2015-12-04
An investigation of iterated multi-agent belief change
Author:
Vicol, Paul Adrian
Date created:
2016-05-19