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

DOI10.1007/978-3-030-21462-3_5MaRDI QIDQ2294542zbMATH OpenOpenAlexFDO

Authors Kira Adaricheva, Taylor Ninesling

Publication date 11 February 2020

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

zbMATH Keywords

canonical direct basisclosure systemdirect basisHorn-to-Horn belief revisionordered direct basisSingleton Horn Extension Problemthe \(D\)-basis

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Canonical dichotomous direct bases
• On implicational bases of closure systems with unique critical sets.
• Ordered direct implicational basis of a finite closure system
• Join on Closure Systems Using Direct Implicational Basis Representation
• The multiple facets of the canonical direct unit implicational basis

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)