Examples & Tutorials

Getting Started

• Introductory Example: JLNN Base
• Base Example: Basic inference and manual grounding
• Basic Boolean Gates
• Weighted Rules & Multiple Antecedents
• Temporal Logic (G, F, X) on Time-Series
• Contradiction Detection & Model Repair
• Model Export & Deployment (StableHLO, ONNX, PyTorch)
• Real Example: Iris dataset Classification
• Meta-Learning & Self-Reflection
• The Grand Cycle: Autonomous Tuning
• Differentiable Reasoning on Graphs (JLNN vs. PyReason)
• JLNN Explainability – From scales to symbolic rules
• Bayesian JLNN: Logic in an Uncertain World
• Neuro-Symbolic Bayesian GraphSAGE + JLNN
• JLNN – Accelerated Interval Logic
• Quantum Logic and Bell Inequalities with JLNN
• LLM Rule Refinement (The Grand Cycle)
• JLNN: Temporal Symbolic GNN for Pneumatic Digital Twin
• JLNN + Knowledge Graphs: RAG-like Reasoning over FB15k-237