Tags: truth maintenance

Publications

1999

  1. T. Finin, "Pfc Users Manual", TechReport, August 1999, 63 downloads.

1989

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