Zhaokeng Zhao

According to our database, Zhaokeng Zhao authored at least 3 papers between 1988 and 1994.

Collaborative distances:

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

1994

Automated theorem proving in temporal logic: T-resolution.

Zhaokeng Zhao, Jun Dai, Wendan Chen

J. Comput. Sci. Technol., 1994

1989

Temporal Reasoning Management with Nonmonotonicity.

Wei Qian, Zhaokeng Zhao

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Temporal Reasoning in Data Base.

Wei Qian, Zhaokeng Zhao

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988