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...
Đã lưu trong:
OCLC: | 31693914 |
---|---|
Tác giả chính: | |
Tác giả của công ty: | |
Ngôn ngữ: | English |
Được phát hành: |
Linköping, Sweden :
Linköping University, Dept. of Computer and Information Science,
[1991]
|
Loạt: | Linköping studies in science and technology. Dissertations ;
no. 258. |
Những chủ đề: | |
Định dạng: | Luận văn Monograph Note that CRL will digitize material from the collection when copyright allows. |