Search for tag: "equality"

AI 531: Resolution Theorem Proving in First Order… duration 48 minutes 4 seconds AI 531: Resolution Theorem Proving in First Order… AI 531: Resolution Theorem Proving in First Order Logic	AI 531: Resolution Theorem Proving in First Order Logic Resolution Theorem Proving in First Order Logic resolution inference rule clausal form knowledge bases equality reasoning demodulation paramodulation From Prasad Tadepalli 26 plays
Virtual March for Racial Justice duration 9 minutes 3 seconds Virtual March for Racial Justice Virtual March for Racial Justice	Virtual March for Racial Justice In recognition of Martin Luther King, Jr. Day, 2021, students and staff produced this documentary short about the struggle against racial injustice by Black students in OSU's history, with a… racism equality diversity From David Baker 7 plays