Dissertations/Theses
Modal Satisfiability in a Constraint Logic Environment
by Lynn Stevenson. MSc Computer Science (with distinction), University of South Africa, November 2007.
Unsupervised Discovery of Relations for Analysis of Textual Data in Digital Forensics
by Anita Louis. MSc Computer Science (with distinction), University of Pretoria, April 2010.
A Belief-Desire-Intention Architecture with a Logic-based Planner for Agents in Stochastic Domains
by Gavin Rens. MSc Computer Science (with distinction), University of South Africa, June 2010.
Ontology Comprehension
by Johann Bergh. MSc Computer Science, University of Stellenbosch, March 2011.
Debugging and Repair of Description Logic Ontologies
by Kody Moodley. MSc Computer Science (with distinction), University of KwaZulu-Natal, 2011.
Representing Chemical Structures Using OWL and Description Graphs
by Janna Hastings. MSc Computer Science (with distinction), University of South Africa, May 2011.
Module Extraction for Inexpressive Description Logics
by Riku Nortje. MSc Computer Science (with distinction), University of South Africa, August 2011.