UMBC ebiquity
About
Research
People
Publications
Tags
Blog
Tags: truth maintenance
Subscribe
Publications
1999
T. Finin, "
Pfc Users Manual
", TechReport, August 1999, 153 downloads.
1989
T. Finin, R. Fritzson, and D. Matuszek, "
Adding forward chaining and truth maintenance to Prolog
", InProceedings,
5th Artificial Intelligence Applications
, March 1989, 1335 downloads.