NML3 : a non-monotonic formalism with explicit defaults
Abstract: "The thesis is a study of a particular approach to defeasible reasoning based on the notion of an information state consisting of a set of partial interpretations constrained by an information ordering. The formalism proposed, called NML3, is a non-monotonic logic with explicit defaul...
Sparad:
OCLC: | 31693914 |
---|---|
Huvudupphovsman: | |
Institutionell upphovsman: | |
Språk: | English |
Publicerad: |
Linköping, Sweden :
Linköping University, Dept. of Computer and Information Science,
[1991]
|
Serie: | Linköping studies in science and technology. Dissertations ;
no. 258. |
Ämnen: | |
Materialtyp: | Lärdomsprov Monograph Note that CRL will digitize material from the collection when copyright allows. |