ResearchSpace
→
Browsing by Subject

Browsing by Subject "Propositional logic"

Now showing items 1-3 of 3

DIP: A defeasible-inference platform for OWL ontologies

Author: Meyer, T ; Moodley, K ; Sattler, U Date: Jul 2014 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 efforts to extend their framework to Description ... Read more
On the link between partial meet, kernel, and infra contraction and its application to horn logic

Author: Booth, R ; Meyer, T ; Varzinczak, I ; Wassermann, R Date: Sep 2011 Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper the authors build on recent ... Read more
A propositional typicality logic for extending rational consequence

Author: Booth, R ; Meyer, T ; Varzinczak, I Date: Aug 2013 We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ... Read more

Now showing items 1-3 of 3

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 "Propositional logic"

Browsing by Subject "Propositional logic"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect