ResearchSpace
→
Browsing by Subject

Browsing by Subject "Defeasible reasoning"

Now showing items 1-5 of 5

Defeasible modes of inference: A preferential perspective

Author: Britz, K ; Varzinczak, I Date: Jun 2012 Historically, approaches to defeasible reasoning have been concerned mostly with one aspect of defeasibility, viz. that of arguments, in which the focus is on normality of the premise. In this paper we are interested in another aspect of ... Read more
A polynomial time subsumption algorithm for nominal safe ELO under rational closure

Author: Casini, G ; Straccia, U ; Meyer, Thomas A Date: Sep 2018 Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision problem under RC for nominal safe ELO , a notable and practically ... Read more
Practical defeasible reasoning for description logics (STAIRS)

Author: Moodley, K ; Meyer, T ; Sattler, U Date: Aug 2014 Abstract. The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause, Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there have been e orts to extend their framework to ... Read more
A protege plug-in for defeasible reasoning

Author: Moodley, K ; Meyer, T ; Varzinczak, I Date: Jun 2012 We discuss two approaches for defeasible reasoning in Description Logics that allow for the statement of defeasible subsumptions of the form “subsumed by usually holds”. These approaches are known as prototypical reasoning and presumptive ... Read more
Towards practical defeasible reasoning for description logics

Author: Casini, G ; Meyer, T ; Moodley, K ; Varzinczak, I Date: Jul 2013 The formalisation of defeasible reasoning in automated systems is becoming increasingly important. Description Logics (DLs) are nowadays the main logical formalism in the field of formal ontologies. Our focus in this paper is to devise a ... Read more

Now showing items 1-5 of 5

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 "Defeasible reasoning"

Browsing by Subject "Defeasible reasoning"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect