neural-symbolic
Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.
mOWL: Machine Learning library with Ontologies
NEural-symbolic Entity Reasoning and Matching in Python
