Implementation and Evaluation of KLM-Style Defeasible Entailment and Explanation Algorithms

By: Chipo Hamayobe

Supervised By: Tommie Meyer, Jonas Haldimann

In the 1950s, McCarthy proposed the use of formal logic in artificial intelligence, introducing the idea of representing knowledge in a formal language to enable algorithmic reasoning. This proposal laid the foundation for the field of knowledge...

CS Masters by Dissertation

Distributed Collaboration for Visual Analytics

Investigating Enhanced Collaboration in an Astronomy Tool

By: Sabiha Shaikh

Supervised By: Robert Simmonds, Angus Comrie

The need for effective collaboration tools in research is growing as scientific data becomes larger and more complex. This project aims to enhance the collaborative capabilities of the Cube Analysis and Rendering Tool for Astronomy (CARTA). CARTA is a...

CS Masters by Dissertation

Knowledge Compilation For Defeasible Reasoning

By: Luke Slater

Supervised By: Tommie Meyer, Jesse Heyninck

Our work tackles defeasible reasoning—reasoning with “usually true” statements like if it’s a bird, it probably flies. These conditionals are organized by plausibility: more general or typical rules get higher ranks, and lower-ranked, conflicting ones...

CS Masters by Dissertation

Toolkits: Gender-Just Digital Innovation Design

By: Sierra Van Riel

Supervised By: Melissa Densmore

Work in the field of digital development has often been carried out without sufficient attention to gender justice. Indeed, where researchers or practitioners have been sensitive to gender, this has often only extended to “counting women” - gathering...

CS Masters by Dissertation

Enhancing Fault Detection in Software Defined Network-based Community Wireless Networks

By: Takondwa Chitheka

Supervised By: Josiah Chavula

Network performance management is essential for ensuring that computer networks operate optimally and for proactively identi- fying faults. Several network managementtools, operating both passively and actively, are used to provide operational status to...

CS Masters by Dissertation