Human Belief Change

An Empirical Investigation for Patterns of Belief Change in Human Reasoning

By: Clayton Baker

Belief revision and belief update are approaches to represent and reason with knowledge in artificial intelligence. Previous empirical studies showed that human reasoning is consistent with non-monotonic logic. Additionally, previous studies showed that...

CS Masters by Dissertation CS PhD Centre for Artificial Intelligence Research

QoSMon

A Quality of Service Monitoring System for Low Resource Networks

By: Taveesh Sharma

Community networks have been proposed by networking experts and researchers as a way to bridge the connectivity gaps in rural and remote areas of the world. Many community networks are built with low-capacity computing devices and low-capacity links....

CS Masters by Dissertation

Defeasible Reasoning for Datalog

Integrating rules with exceptions into Datalog ontologies.

By: Guy Paterson-Jones

Supervised By: Tommie Meyer

Datalog is an expressive database query language based on the logic programming paradigm, meaning that its queries can be interpreted in terms of mathematical formulas in classical first-order logic. Recently, extensions of Datalog have been proposed for...

CS Masters by Dissertation Centre for Artificial Intelligence Research

3DAVis

3-Dimensional Astronomical Visualisation

By: Bilal Aslan, Michaela Van Zyl, Bhavish Mohee

At present, astronomers are struggling to shift from 2D to 3D visualisation while keeping the same efficiency and performance. The current 3D visualisation tools available have multiple limitations such as CPU-only rendering or unable to processing large...

CS Masters by Dissertation

Using Machine Learning as Adaptive Mechanisms for Agent-Based Models Simulating Complex Social Phenomena

By: Brandon Gower-Winter

Agent-Based Models (ABM) are dynamic computational models that utilize autonomous agents capable of interacting with other agents and adapting to novel situations within the simulations they occupy. ABM are becoming increasingly popular in Computational...

CS Masters by Dissertation

Molecular Modelling of Mannan-Latching

A molecular dynamics study of carbohydrate carbohydrate interactions

By: Solomon Malesa

Carbohydrate-Carbohydrate Interactions (CCI) are observed in many biological contexts such as cell-cell interactions and host-pathogen interaction. Although there is a considerable amount of evidence indicating that CCI mediates cell adhesion, cell...

CS Masters by Dissertation