Splitting Finite Default Theories: A Comparison of Two Approaches

Grigoris Antoniou

Research output: Contribution to journalArticlepeer-review


Default logic 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. This paper compares two recent approaches, Turner's splitting and Cholewinski's stratification. It shows that the approaches are closely related - in fact the former can be viewed as a special case of the latter.

Original languageEnglish
Pages (from-to)205-216
Number of pages12
JournalJournal of Logic, Language and Information
Issue number2
Publication statusPublished - 1 Apr 1999
Externally publishedYes


Dive into the research topics of 'Splitting Finite Default Theories: A Comparison of Two Approaches'. Together they form a unique fingerprint.

Cite this