Wan Ki Wong

According to our database, Wan Ki Wong authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Automating Theory Repair in First Order Logic.

Wan Ki Wong, Xue Li, Alan Bundy

Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), 2023