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

Browsing by Subject "Tableau algorithms"

Sort by: Order: Results:

  • 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