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

Browsing by Author "Varzinczak, IJ"

Sort by: Order: Results:

  • 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 ...
  • Varzinczak, IJ (2009-06)
    Logical theories in reasoning about actions may also evolve and knowledge engineers need revision tools to incorporate new incoming laws about the dynamic environment. Researchers here fill this gap by providing an algorithmic ...
  • Rens, GB; Varzinczak, IJ (PRASA 2009, 2009-12)
    The authors are developing a new logic (DyMoDeL) for reasoning about dynamic agents with stochastic action, partial observation, knowledge-of and degree-of-belief-in a state of affairs. Development of the syntax and semantics ...
  • 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 ...
  • Varzinczak, IJ (AI Access Foundation, 2010-02)
    As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also ...
  • Moodley, K; Meyer, T; Varzinczak, IJ (2011-08)
    In recent years, there has been significant progress in developing tools for debugging and repairing Description Logic (DL)-based ontologies with erroneous consequences. However, these tools place more emphasis on explaining ...