Tanveer Fatima

According to our database, Tanveer Fatima authored at least 1 paper in 1989.

Collaborative distances:

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

1989

Taxonomic Syntax for First Order Inference.

David A. McAllester, Robert Givan, Tanveer Fatima

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989