Adding a Truth Maintenance System to ERA, the Electronic Referee Assistant, to allow backtracking

ERA, the Electronic Referee Assistant is an expert system which is designed to help novice referees produce reviews of Informatics papers. The most common criticism of the previous version of this system was that users are unable to return to previous sections of the review to amend their results. This project reimplements ERA on a reusable web based logic programming framework which provides this functionality by using a Truth Maintenance System to retain consistency in the underlying knowledge base.