Tanveer Fatima (fatima-t)
Contributi a Philosophie.ch
No contributions yet
Bibliography
McAllester, David Allen, Givan, Robert and Fatima, Tanveer. 1989. “Taxonomic Syntax for First Order Inference.” in KR’89: Principles of Knowledge Representation and Reasoning, edited by Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, pp. 289–300. San Francisco, California: Morgan Kaufmann Publishers.