Direct and binary direct bases for one-set updates of a closure system (Q2294542)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Direct and binary direct bases for one-set updates of a closure system |
scientific article |
Statements
Direct and binary direct bases for one-set updates of a closure system (English)
0 references
11 February 2020
0 references
closure system
0 references
Horn-to-Horn belief revision
0 references
Singleton Horn Extension Problem
0 references
direct basis
0 references
canonical direct basis
0 references
the \(D\)-basis
0 references
ordered direct basis
0 references
