01Logic Augmented Generation (LAG) for LLM constraint and validation
02Automated generation of explainable reasoning chains and justifications
03Temporal tracking and validity intervals for persistent mental states
04Bidirectional RDF-to-Mental-State transformation (T2B2T)
05Formal BDI ontology mapping for Beliefs, Desires, and Intentions
06124 GitHub stars