David Matuszek

Collaborator
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, 1194 downloads.