David Matuszek

Collaborator

Home matuszek@cis.upenn.edu

VCard FoaF OWL Tweet

University of Pennsylvania

Publications

1989

T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, 5th Artificial Intelligence Applications, March 1989, 1405 downloads.

1988

D. Matuszek, T. Finin, R. Fritzson, and C. Overton, "Endpoint Relations on Temporal Intervals", InProceedings, Proceedings of the 3rd Annual Rocky Mountain Conference on Artificial Intelligence, June 1988, 38 downloads.