010 GitHub stars
02Formal BDI ontology mapping for beliefs, desires, and intentions
03Temporal validity tracking for persistent and evolving mental states
04Traceable justification instances for agent decision explainability
05T2B2T (Triples-to-Beliefs-to-Triples) bidirectional data flow
06Logic Augmented Generation (LAG) to constrain LLM outputs with cognitive structures