David Matuszek
David Matuszek

Collaborator

University of Pennsylvania

David Matuszek

Refereed Publications

1989

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