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

Browsing by Author "Heidema, J"

Sort by: Order: Results:

  • Britz, K; Heidema, J; Varzinczak, I (Springer verlag (germany), 2011-09)
    There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts ...
  • 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 ...
  • Britz, K; Heidema, J; Varzinczak, I (2010-05)
    In this paper the authors venture beyond one of the fundamental assumptions in the non-monotonic reasoning community, namely that non-monotonic entailment is supra-classical. They investigate reasoning which uses an ...
  • Labuschagne, W; Heidema, J; Britz, K (Springer, 2013-12)
    We explore a family of supraclassical consequence relations obtained by varying the criteria according to which counterexamples to classical entailment may be deemed tolerable. This provides a different perspective on the ...