- Full text PDF available (5)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
This paper superimposes an assumption generation mechanism (AGM) and a lower bound propagation mechanism (LBM) on default reasoning. AGM generates minimal probabilistic assumptions which are needed to derive default conclusions safely, and LBM supplies (approximately) tight lower probability bounds of the conclusions. Together both mechanisms make default… (More)
In this paper we investigate two purely syntactical notions of circularity, which we call “self-application” and “self-inclusion.” A language containing self-application allows linguistic items to be applied to themselves. In a language allowing for self-inclusion there are expressions which include themselves as a proper part. We introduce axiomatic… (More)
After classifying relevance approaches into ante-, inand postvalidity approaches I present the replacement criterion for relevance and demonstrate some of its applications, in particular to theorem proving.