Raymond Reiter ( /ˈraɪtər/; 12 de junio de 1939 – 16 de septiembre de 2002) fue un informático y lógico canadiense.
Fue uno de los fundadores del campo de la lógica no monótona con su trabajo sobre la lógica por defecto, el diagnóstico basado en modelos y el razonamiento basado en modelos, el razonamiento de mundo cerrado y los sistemas de mantenimiento.
También contribuyó al cálculo de situación.
[1][2][3] Fue miembro de la Association for Computing Machinery (ACM), miembro de la AAAI y miembro de la Royal Society of Canada.
Ganó el Premio IJCAI a la Excelencia en Investigación en 1993.