Oliver: an online inference and verification system

TitleOliver: an online inference and verification system
Publication TypeConference Paper
Year of Publication2002
AuthorsWildenburg, A, Scharff, C
Conference Name32nd Annual Frontiers in Education Conference

Authors' abstract: We describe Oliver, the Online inference and verification system for propositional logic. It provides a web-based interface for teaching propositional logic proofs, and accepts any valid direct proof: Oliver provides instant feedback to students as to whether each step is correct or not, encourages experimentation by students and is integrated within the WeBWorK system for online grading and support. Oliver randomizes problems for students to reduce plagiarism and cheating. It has been successfully used to teach propositional logic lo several thousand students at SUNY Stony Brook, and is very popular among
students and faculty.