Inference engine based on closure and join operators over truth table binary relations

DOI10.1016/J.JLAP.2014.02.007zbMATH Open1371.68268OpenAlexW2057296257WikidataQ57526056 ScholiaQ57526056MaRDI QIDQ406448FDOQ406448

Marcelo F. Frias, Mohammad Saleh, Ali Jaoua, Samir Elloumi, Jameela Al Otaibi, Bilel Boulifa

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

Recommendations

• A Generalization of the Inference Rules for Join Dependencies in Databases
• Join on Closure Systems Using Direct Implicational Basis Representation
• Computation of closures of nonmonotonic inference relations induced by conditional knowledge bases
• scientific article; zbMATH DE number 517023
• Disjunctive closures for knowledge compilation
• scientific article; zbMATH DE number 1778910
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• scientific article
• Publication:3493324
• Compacting Boolean formulae for inference in probabilistic logic programming

zbMATH Keywords

formal concept analysisclosure operatorscooperative conceptual reasoninginference enginerelation combiningtruth table binary relation

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• A relational model of data for large shared data banks
• Title not available (Why is that?)
• A multi-level conceptual data reduction approach based on the Lukasiewicz implication
• Handbook of automated reasoning. In 2 vols
• Title not available (Why is that?)

Cited In (2)

• Isolated suborders and their application to counting closure operators
• Isolated sublattices and their application to counting closure operators

Uses Software

• UCI-ml
• Concept Explorer

This page was built for publication: Inference engine based on closure and join operators over truth table binary relations

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