01114 GitHub stars
02Temporal validity tracking for mental states and belief evolution
03Traceable justification chains for explainable AI decision-making
04Formal BDI ontology implementation for autonomous rational agency
05T2B2T (Triples-to-Beliefs-to-Triples) bidirectional state transformation
06Logic Augmented Generation (LAG) to constrain LLM outputs with symbols