David Matuszek
![David Matuszek](http://ebiquity.umbc.edu/media/faces/676.png)
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, 1478 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, 80 downloads.