01Triples-to-Beliefs-to-Triples (T2B2T) bidirectional context flow
02Logic Augmented Generation (LAG) for constraining LLM outputs
03Traceable reasoning chains for enhanced AI explainability
04Temporal dimension tracking for mental state evolution and validity
05Formal BDI ontology patterns for beliefs, desires, and intentions
065,498 GitHub stars