ResearchSpace

Browsing by Subject "Semantic tableaux"

Browsing by Subject "Semantic tableaux"

Sort by: Order: Results:

  • ABox abduction in ALC using a DL tableau
    Thumbnail
    Author: Halland, K ; Britz, K Date: Oct 2012 The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. ABox abduction in description logics (DLs) asks what ABox statements need to be added to a DL ... Read more