Defeasible justification for the KLM Framework by Wang, Shun

“…Most classical logics, such as Propositional Logic (PL), are monotonic, which means that adding new knowledge to a knowledge base cannot cause the retraction of a previously drawn conclusion. …”
Get full text

An overview of KLM-style defeasible entailment by Kaliski, Adam

Get full text

Semantic optimisation in datalog programs by Wassell, Mark P

Get full text

KLM-Style Defeasible Reasoning for Datalog by Paterson-Jones, Guy

“…For real-world reasoning tasks, however, an agent typically only has partial knowledge of its domain, and at most a statistical understanding of relationships between properties. …”
Get full text

A mobile application promoting good contact lens practices by Naidoo, Terushka

Get full text

DevelopinThe Bayesian Description Logic BALC by Botha, Leonard

Get full text

Ubiquitous intelligence for smart cities: a public safety approach by Isafiade, Omowunmi Elizabeth

Get full text

Photo searching on small screen devices by Patel, Dynal

Get full text

VRBridge: A constructivist approach to supporting interaction design and end-user authoring in virtual reality by Winterbottom, Cara

“…Our design method is based in constructivism, which is a theory that examines the acquisition and use of knowledge. It provides principles for managing complexity in knowledge acquisition: multiplicity of representations and perspectives; simplicity of basic components; encouragement of exploration; support for deep reflection; and providing users with control of their process as much as possible. …”
Get full text

Adapting a novel public display system for an educational context by Pedzai, Calvin

Get full text

A foundation for ontology modularisation by Dawood, Zubeida C

Get full text

A lightweight interface to local grid scheduling systems by Parker, Christopher

Get full text

Searching for patterns in Conway's Game of Life by Bontes, Johan

Get full text

Firewall information and security visualization : improving the usage and adoption of modern network firewalls by novice users by Gasant, Mogamad Yaqeen

Get full text

Using programming tools in virtual environments by Yang, Shih-min

Get full text

Automated stock trading : a multi-agent, evolutionary approach by Kruger, Kurt

Get full text

Neuro-evolution behavior transfer for collective behavior tasks by Didi, Sabre Z

“…The design of effective, robust and autonomous controllers for multi-agent and multi-robot systems is a long-standing problem in the fields of computational intelligence and robotics. Whilst nature-inspired problem-solving techniques such as reinforcement learning (RL) and evolutionary algorithms (EA) are often used to adapt controllers for solving such tasks, the complexity of such tasks increases with the addition of more agents (or robots) in difficult environments. …”
Get full text

Exploring undergraduate interactions with mobile privacy and security by Till, Sarina

Get full text

Co-Designing with and for Milk Donors by Wardle, Chelsea-Joy

“…In this research, I examine South African mothers’ experience with computer-supported aid for online communication and information searching. …”
Get full text

Evaluation of clustering techniques for generating household energy consumption patterns in a developing country by Toussaint, Wiebke

Get full text