Author:Labuschagne, W; Heidema, J; Britz, KDate:Dec 2013We 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 rational consequence ...Read more
Author:Halland, K; Britz, K; Klarman, SDate:Jul 2014The formal definition of abduction asks what needs to be
added to a knowledge base to enable an observation to be entailed. TBox
abduction in description logics (DLs) asks what TBox axioms need to
be added to a DL knowledge base to allow ...Read more