GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email:

Browsing by Subject "Abduction"

Sort by: Order: Results:

  • 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 ...
  • Halland, K; Britz, K; Klarman, S (2014-07)
    The 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 ...

Search ResearchSpace


My Account