ResearchSpace
→
Browsing by Subject

Browsing by Subject "Horn logic"

Now showing items 1-3 of 3

Contraction core for horn belief change: preliminary report

Author: Booth, R ; Meyer, T ; Varzinczak, I ; Wassermann, R Date: May 2010 In this paper the authors continue recent investigations into belief change for Horn logic. The main contribution is a result which shows that the construction method for Horn contraction for belief sets based on infraremainder sets, as ... Read more
Next steps in propositional horn contraction

Author: Booth, R ; Meyer, T ; Varzinczak, IJ Date: Jun 2009 Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ... 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

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

Browsing by Subject "Horn logic"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect