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

Browsing by Author "Meyer, T"

Sort by: Order: Results:

  • Franconi, E; Meyer, T; Varzinczak, I (2010-05)
    In this paper the authors investigate the problem of maintaining and reasoning with different versions of a knowledge base. The authors are interested in the scenario where a knowledge base (expressed in some logical ...
  • 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 ...
  • Leenen, L; Meyer, T (IGI Global, 2016-07)
    The Governments, military forces and other organisations responsible for cybersecurity deal with vast amounts of data that has to be understood in order to lead to intelligent decision making. Due to the vast amounts of ...
  • Rens, G; Meyer, T; Lakemeyer, G (Elsevier, 2014-06)
    A logic for specifying probabilistic transition systems is presented. Our perspective is that of agents performing actions. A procedure for deciding whether sentences in this logic are valid is provided. One of the main ...
  • 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 ...
  • Casini, G; Meyer, T; Moodley, K; Varzinczak, I (Centre for Artificial Intelligence Research, 2013-07)
    The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper ...
  • Ongoma, EAN; Keet, CM; Meyer, T (2014-07)
    Representing temporal data in conceptual data models and ontologies is required by various application domains. For it to be useful for modellers to represent the information precisely and reason over it, it is essential ...
  • Leenen, L; Meyer, T (2015-03)
    Governments, military forces and other organisations responsible for cybersecurity deal with vast amounts of data that has to be understood in order to lead to intelligent decision making. Semantic technologies is a knowledge ...
  • Booth, R; Casini, G; Meyer, T; Varzinczak, I (Commonsense Reasoning, 2015-03)
    We continue recent investigations into the problem of reasoning about typicality. We do so in the framework of Propositional Typicality Logic (PTL), which is obtained by enriching classical propositional logic with a ...