David Matuszek
David Matuszek

Collaborator

University of Pennsylvania

David Matuszek

Publications

1989

  1. T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications, March 1989, 1579 downloads.

1988

  1. 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, 156 downloads.