| ABox abduction in ALC using a DL tableau K Halland, K Britz Proceedings of the South African Institute for Computer Scientists and …, 2012 | 43 | 2012 |
| Examples that can do harm in learning programming K Malan, K Halland Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004 | 40 | 2004 |
| Naive ABox abduction in ALC using a DL tableau K Halland, K Britz Sun SITE Central Europe (CEUR), 2012 | 15 | 2012 |
| Investigations into the use of SNOMED CT to enhance an OpenMRS health information system K Halland, K Britz South African Computer Journal 47 (1), 33-45, 2011 | 15 | 2011 |
| Reflections by teachers learning to program K Halland, K Malan Proceedings of the 2003 annual research conference of the South African …, 2003 | 8 | 2003 |
| Assessing programming by written examinations K Halland ICT Education: 45th Annual Conference of the Southern African Computer …, 2016 | 2 | 2016 |
| Class associations that affect object communication K Halland Proceedings of SACLA 2010, 2010 | 1 | 2010 |
| Teaching OOP Using the Qt Framework K Halland, A Thomas, C Pilkington 44 TH ANNUAL SOUTHERN AFRICAN COMPUTER LECTURERS ASSOCIATION 2015 (SACLA …, 2015 | | 2015 |
| Foundational Concepts for Understanding Software Design Patterns A Thomas, K Halland All rights reserved Copyright© 2012 University of the Free State, South …, 2012 | | 2012 |
| Technologies for conceptual modelling and intelligent query formulation R Alberts, K Britz, A Gerber, K Halland, T Meyer, L Pretorius CSIR, 2008 | | 2008 |
| Inductive reasoning in description logics K Halland, K Britz PRASA 2008, 2008 | | 2008 |
| A family tree of circumscriptive logics KJ Halland, WA Labuschagne South African Computer Society (SAICSIT), 1995 | | 1995 |
| Doing a PhD in Middle-earth K Halland | | |
| Computer Studies programming using Delphi K Halland | | |
