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

Browsing by Author "Meyer, T"

Sort by: Order: Results:

  • Booth, R; Meyer, T (Indian Council of Philosophical Research, 2011-08)
    In this paper the authors present a brief overview of belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. The ...
  • Booth, R; Meyer, T (College Publications, 2012-07)
    In this paper the authors present a brief overview of belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. The ...
  • Nortje, R; Britz, k; Meyer, T (Conference Paper, 2011-07)
    The authors introduce an algorithm for MinA extraction in EL based on bidirectional reachability. They obtain a significant reduction in the size of modules extracted at almost no additional cost to that of extracting ...
  • Ferrein, A; Meyer, T (Association for the Advancement of Artificial Intelligence, 2013-10)
    One of the consequences of the growth in AI research in South Africa in recent years is the establishment of a number of research hubs involved in AI activities ranging from mobile robotics and computational intelligence ...
  • 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 ...