GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email: callcentre@csir.co.za

Browsing by Author "Halland, K"

Sort by: Order: Results:

  • Halland, K; Britz, K (PRASA 2008, 2008-11)
    Inductive reasoning is a form of inconclusive reasoning for making generalisations based on observations. In the field of pattern recognition, inductive reasoning is often called learning, where general rules are derived ...
  • Gerber, A; Meyer, T; Seebregts, C; Britz, A; Pretorius, L; Alberts, R; Moodley, D; Halland, K (CSIR, 2008-11)
    Integrating a mechanism to store, retrieve and use clinical data with a system to manage medical records enables better utilisation of medical data and improved healthcare. This poster introduces a research project that ...
  • Halland, K; Britz, K; Gerber, A (Computer Society of South Africa, 2011-07)
    In this paper, the authors discuss the advantages of using formal medical ontologies to enhance health information systems. In particular, they consider the suitability of the medical ontology Snomed CT for enhancing a ...
  • Halland, K; Britz, K (Sun SITE Central Europe (CEUR), 2012-06)
    The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. An observation which is not entailed by the knowledge base will result in ...
  • Halland, K; Britz, K; Klarman, S (2014-07)
    The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed. TBox abduction in description logics (DLs) asks what TBox axioms need to be added to a DL ...
  • Alberts, R; Britz, K; Gerber, A; Halland, K; Meyer, T; Pretorius, L (CSIR, 2008-11)
    The aim of the project is to devise and evaluate algorithms, methodologies, techniques and interaction paradigms to build a tool for conceptual modelling and query management of complex data repositories based on a framework ...