UMBC ebiquity

Results for tags: truth maintenance

Publications

1 Refereed Publication

1989

1. "Adding forward chaining and truth maintenance to Prolog", 5th Artificial Intelligence Applications, March 1989, 295 downloads.


 
 

Subscribe to RSS feed

Bookmark this page