David Matuszek
Collaborator
University of Pennsylvania
Publications
1989
- 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
- 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.