Inference engine based on closure and join operators over truth table binary relations
From MaRDI portal
Publication:406448
DOI10.1016/j.jlap.2014.02.007zbMath1371.68268WikidataQ57526056 ScholiaQ57526056MaRDI QIDQ406448
Publication date: 8 September 2014
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.007
closure operators; formal concept analysis; cooperative conceptual reasoning; inference engine; relation combining; truth table binary relation
Uses Software