Direct and binary direct bases for one-set updates of a closure system

DOI10.1007/978-3-030-21462-3_5OpenAlexW2964325861MaRDI QIDQ2294542FDOQ2294542

Kira Adaricheva, Taylor Ninesling

Publication date: 11 February 2020

Full work available at URL: https://arxiv.org/abs/1810.08684

zbMATH Keywords

closure systemcanonical direct basisdirect basisHorn-to-Horn belief revisionordered direct basisSingleton Horn Extension Problemthe \(D\)-basis

Mathematics Subject Classification ID

Knowledge representation (68T30)

This page was built for publication: Direct and binary direct bases for one-set updates of a closure system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2294542)