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

Browsing by Author "Meyer, T"

Sort by: Order: Results:

  • Klarman, S; Meyer, T (2014-07)
    Temporal query abduction is the problem of hypothesizing a minimal set of temporal data which, given some fixed background knowledge, warrants the entailment of the query. This problem formally underlies a variety of forms ...
  • Britz, K; Meyer, T; Varzinczak, I (Conference paper, 2011-07)
    The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important ...
  • Booth, R; Meyer, T; Varzinczak, I; Wassermann, R (2010-05)
    In this paper the authors continue recent investigations into belief change for Horn logic. The main contribution is a result which shows that the construction method for Horn contraction for belief sets based on infraremainder ...
  • Moodley, K; Meyer, T; Varzinczak, IJ (ACM, 2012-10)
    Classical reasoning for logic-based KR (Knowledge Representation) systems is in general, monotonic. That is, there is an assumption in these systems that there is complete information about a domain. This means that they ...
  • Leenen, L; Alberts, R; Britz, K; Gerber, A; Meyer, T (2011-03)
    In this paper we describe a research project to develop an optimal information retrieval system in an Information Operations domain. Information Operations is the application and management of information to gain an advantage ...
  • Meyer, T; Moodley, K; Sattler, U (CEUR Workshop Proceedings, 2014-07)
    The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been efforts to extend their framework ...
  • Booth, R; Chopra, S; Meyer, T; Ghose, A (Elsevier, 2010-11)
    Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a new epistemic input. While most such possible ...
  • Booth, R; Meyer, T (2008-09)
    In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs ...
  • Booth, R; Meyer, T (Springer Verlag (Germany), 2010-08)
    In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs ...
  • 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 ...