ResearchSpace
→
Browsing by Subject

Browsing by Subject "Entailment-based contraction"

Now showing items 1-2 of 2

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

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 "Entailment-based contraction"

Browsing by Subject "Entailment-based contraction"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect