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

Browsing by Author "Varzinczak, I"

Sort by: Order: Results:

  • Britz, K; Varzinczak, I (2014-07)
    We investigate the notion of dilation of a propositional theory based on neighbourhoods in a generalized approximation space.We take both a semantic and a syntactic approach in order to define a suitable notion of theory ...
  • 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 ...
  • 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 ...