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

Browsing by Author "Britz, K"

Sort by: Order: Results:

  • Harmse, HF; Britz, K; Gerber, A; Moodley, D (CEUR-WS, 2014-09)
    One of the challenges in the Software Development Life Cycle (SDLC) is to ensure that the requirements that drive the development of a software system are correct. However, establishing unambiguous and error-free requirements ...
  • Britz, K; Meyer, T; Varzinczak, I (2011-12)
    Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning ...
  • Labuschagne, W; Heidema, J; Britz, K (Springer, 2013-12)
    We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the ...
  • 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 ...
  • Britz, K; Varzinczak, I (2014-07)
    We investigate the notion of dilation of a propositional theory based on neighbourhoods in a generalized approximation space.We take both a semantic and a syntactic approach in order to define a suitable notion of theory ...
  • Klarman, S; Britz, K (CEUR-WS, 2015-07)
    Data-driven elicitation of ontologies from structured data is a well-recognized knowledge acquisition bottleneck. The development of efficient techniques for (semi-)automating this task is therefore practically vital — ...