Alexander Hieke

  • Citations Per Year
Learn More
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)
  • 1