Die Chai is an author at Northeastern University specializing in automated reasoning, knowledge representation, and engineering.
Top concepts
EngineeringComputer ScienceTemporal ReasoningAutomated ReasoningArtificial IntelligenceKnowledge RepresentationData ScienceFormal MethodsKnowledge GraphsFormal Verification
Publications per year
2022–2023
2
2
Rows per page
1–2 of 2