Status: Experimental
Graph Reasoning
Graph-based reasoning runtimes: planners, transaction logs, evidence-aware inference and constraint enforcement over structured domain knowledge.
Scope
An experimental line of work on reasoning systems that separate a planner from an execution log, keep evidence alongside intermediate state, and enforce domain constraints — with the goal of reproducible, inspectable reasoning.
Programmes in this area
- Status: ExperimentalGraph Reasoning Runtime
An experimental reasoning runtime separating a planner, a transaction log and an evidence ledger, with constraint enforcement over structured domain knowledge.