Raymond Reiter

Raymond Reiter
Información personal
Nacimiento	12 de junio de 1939 Toronto (Canadá)
Fallecimiento	16 de septiembre de 2002 (63 años)
Sepultura	Toronto
Nacionalidad	Canadiense
Educación
Educado en	Universidad de Míchigan
Supervisor doctoral	Harvey Garner y Richard Karp
Información profesional
Ocupación	Informático teórico, ingeniero, investigador de la inteligencia artificial y profesor universitario
Área	Lógica no monotónica
Empleador	Universidad de Toronto
Miembro de	American Association for Artificial Intelligence Association for Computing Machinery (desde 1997)
Distinciones	AAAI Fellow (1990) IJCAI Award for Research Excellence (1993) ACM Fellow (1997)
[editar datos en Wikidata]

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]​

1. ↑ Raymond Reiter en el Mathematics Genealogy Project.
2. ↑ In Memoriam - Raymond Reiter, por Jack Minker
3. ↑ En memoria de Ray Reiter (1939-2002)