Zero-One Integer Programming: Understanding and Practical Examples

Explore zero-one integer programming, a key method in logical problem-solving, using binary choices for optimal decisions in finance, production, and more.
GitHub

less-and-less-bugs/LogicMD

The official implementation of our paper "Interpretable Multimodal Misinformation Detection with Logic Reasoning", was accepted by Finding of ACL 23 (4/4/4 for excitement and soundness). More detailed ...
GitHub

Python bindings for FaCT++ reasoner

To tackle the OWL 2 computational complexity (double exponential in time for the worst case), the FaCT++ presents persistent and incremental reasoning. In the persistent mode, FaCT++ saves the ...
IEEE

JuzzyPy ― A Python Library to Create Type―1, Interval Type-2 and General Type-2 Fuzzy Logic Systems

Abstract: We present JuzzyPy, a Python based fuzzy logic toolkit enabling the creation of type-1, interval type-2, and general type-2 fuzzy logic systems. Fuzzy logic systems are being applied in ...
IEEE

Design of low power hamming code encoding, decoding and correcting circuits using reversible logic

Abstract: An ideal communication relies on error detection and correction techniques for faultless data transmission. Hamming code is widely known among those ...