ResearchSpace
→
Browsing by Subject

Browsing by Subject "Abduction"

Now showing items 1-2 of 2

Supraclassical consequence relations: Tolerating rare counterexamples

Author: Labuschagne, W ; Heidema, J ; Britz, K Date: Dec 2013 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 rational consequence ... Read more
TBox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K ; Klarman, S Date: Jul 2014 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 knowledge base to allow ... Read more

Now showing items 1-2 of 2

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

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

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "Abduction"

Browsing by Subject "Abduction"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect