Xue-Qi Wang

From Events to Reasoning: Hierarchical Rule Composition over Explicit States

What a reasoning system emits is a conclusion; what it owes is a justification. Producing one requires every operation to be admissible on the facts actually available, the dependencies of intermediate results to survive to the end of the path, and the path to be revised when a premise changes. We present the Event Rea...