𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Stratification for default logic variants

✍ Scribed by Grigoris Antoniou

Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
127 KB
Volume
13
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

✦ Synopsis

Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, ''local'' way. Up to now this idea was only followed for Reiter's default logic, yet it is also relevant to other variants of default logic which have found increasing recognition in the past years. This paper shows how it can be modified to work for several popular, alternative approaches of default reasoning: justified, constrained and rational default logic. This work defines the formal basis for a Web-based default reasoning system which is under development at our institution.

📜 SIMILAR VOLUMES

Characterization of genotype–phenotype r
Characterization of genotype–phenotype relationships and stratification by the CARD15 variant genotype for inflammatory bowel disease susceptibility loci using multiple short tandem repeat genetic markers
✍ Nigel P.S. Crawford; Daniel W. Colliver; Alisa A. Funke; Michael N. Young; Scott 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

The classification of ulcerative colitis (UC), Crohn disease (CD), and indeterminate colitis (IC) as forms of inflammatory bowel disease (IBD) is based on clinical, radiological, and histological criteria. The genetic basis of IBD is well founded, and susceptibility loci have been identified on seve