| License: Creative Commons Attribution 4.0 PDF - Published Version (272kB) |
- URN to cite this document:
- urn:nbn:de:bvb:355-epub-524938
- DOI to cite this document:
- 10.5283/epub.52493
This publication is part of the DEAL contract with Wiley.
Abstract
This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premisses. The semantics is formulated in terms of selection functions and is a generalisation of the preferential semantics of Shoham, Kraus et al., and Makinson. A selection function picks out from a given set of possible states (worlds, situations, models) a ...
Owner only: item control page