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

Browsing by Author "Meyer, T"

Sort by: Order: Results:

  • Nortje, R; Britz, K; Meyer, T (2009-12)
    Module extraction plays an important role in the reuse of ontologies as well as in the simplification and optimization of some reasoning tasks such as finding justifications for entailments. In this paper the authors focus ...
  • Meyer, T; Moodley, K; Varzinczak, I (2010-08)
    Description Logics (DLs) are widely accepted as an appropriate class of knowledge representation languages to represent and reason about ontologies. Tools for performing standard reasoning tasks such as satisfiability and ...
  • Booth, R; Meyer, T; Sombattheera, C (Springer, 2012-05)
    Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the ...
  • Booth, R; Meyer, T; Sombattheera, C (2009-07)
    Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the ...
  • Booth, R; Meyer, T; Sombattheera, C (Springer Berlin, 2009-09)
    Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for these operators, based on supplementing the ...
  • Booth, R; Meyer, T; Varzinczak, I; Wassermann, R (2010-08)
    The authors show that Booth et al.’s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour through Horn contraction for belief bases, ...
  • Booth, R; Meyer, T (Springer, 2011-02)
    Most approaches to iterated belief revision are accompanied by some motivation for the use of the proposed revision operator (or family of operators), and typically encode enough information in the epistemic state of an ...
  • 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 ...
  • Casini, G; Meyer, T; Moodley, K; Sattler, U; Varzinczak, I (Springer International Publishing, 2015-10)
    In recent years, various approaches have been developed for representing and reasoning with exceptions in OWL. The price one pays for such capabilities, in terms of practical performance, is an important factor that is yet ...
  • Rens, G; Lakemeyer, G; Meyer, T (IOS Press, 2012-08)
    We propose a non-standard modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic is multi-modal, indexed with actions; the logic ...
  • Rens, G; Meyer, T; Ferrein, A; Lakemeyer, G (2011-07)
    The authors propose a novel modal logic for specifying agent domains where the agent’s actuators and sensors are noisy, causing uncertainty in action and perception. The logic draws both on POMDP theory and logics of action ...
  • Rens, G; Meyer, T; Lakemeyer, G (Springer, 2014-03)
    We present a logic inspired by partially observable Markov decision process (POMDP) theory for specifying agent domains where the agent's actuators and sensors are noisy (causing uncertainty). The language features modalities ...
  • Leenen, L; Anbulagan; Meyer, T; Ghose, A (Springer-Verlag, 2007-12)
    The authors present a variant of the Weighted Maximum Satisfiability Problem (Weighted Max-SAT), which is a modeling of the Semiring Constraint Satisfaction framework. They show how to encode a Semiring Constraint Satisfaction ...
  • Britz, K; Heidema, J; Meyer, T (Springer Verlag, 2009-12)
    The authors present a semantic model of typicality of concept members in description logics (DLs) that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general ...
  • Britz, K; Heidema, J; Meyer, T (Pub Zone scientific publication discussion forum, 2009-07)
    The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general ...
  • Nortje, R; Britz, K; Meyer, T (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    In this paper we investigate the module-theoretic properties of bot and top-reachability modules in terms of inseparability relations for the DL SRIQ. We show that, although these modules are not depleting or self-contained, ...
  • Rens, G; Meyer, T (AAAI Publications, 2015-05)
    One way for an agent to deal with uncertainty about its beliefs is to maintain a probability distribution over the worlds it believes are possible. A belief change operation may recommend some previously believed worlds ...
  • Booth, R; Meyer, T; Varzinczak, IJ (2009-06)
    Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on ...
  • Casini, G; Meyer, T; Moodley, K; Varzinczak, I (CAIR (Centre for Artificial Intelligence Research), 2013-07)
    The introduction of defeasible reasoning in Description Logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox ...
  • Nortje, R; Britz, K; Meyer, T (Centre for Artificial Intelligence Research, 2012-12)
    Modularization is an important part of the modular design and maintenance of large scale ontologies. Syntactic locality modules, with their desirable model theoretic properties, play an ever increasing role in the design ...