Direct and binary direct bases for one-set updates of a closure system (Q2294542)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Direct and binary direct bases for one-set updates of a closure system |
scientific article; zbMATH DE number 7165995
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Direct and binary direct bases for one-set updates of a closure system |
scientific article; zbMATH DE number 7165995 |
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
0.8059601187705994
0 references
0.7991775870323181
0 references
0.7809591889381409
0 references
0.7711784243583679
0 references
0.7541441321372986
0 references
