Pavel Naumov

Pavel Naumov
Павел Наумов
Nació	( 26 de enero de 1970 )26 de enero de 1970 (51 años) Moscú , URSS
Conocido por	lógicas del saber hacer, lógicas de la culpabilidad

Antecedentes académicos
alma mater	Ph.D 1998 Universidad de Cornell , Diploma 1992 Universidad Estatal de Moscú
Asesores académicos	Robert Lee Constable , Sergei N. Artemov

Trabajo académico
Disciplina	Lógica Informática Matemática Filosofía
Instituciones	Universidad de Tulane , Claremont McKenna College , Vassar College

Sitio web	pavelnaumov.com

Pavel Naumov ( ruso : Павел Наумов ) es un lógico ruso-estadounidense que se especializa en razonar sobre conocimientos y estrategias en sistemas multiagente. Naumov se graduó de la Universidad Estatal de Moscú con un Diploma en Matemáticas, donde su asesor fue Sergei N. Artemov . ^[1] Recibió un doctorado. en Ciencias de la Computación de la Universidad de Cornell con Robert Lee Constable . ^[1]

Biografía

Pavel Naumov nació en Moscú , URSS en 1970 hijo de Taisia Naumova y Gennadi Naumov . ^[2] Fue ganador de la Olimpiada de Matemáticas de Moscú en 1985 ^[3] y 1986, ^[4] y la Olimpiada de Matemáticas de la Unión Soviética en 1985. Naumov se graduó en el Departamento de Matemáticas de la Universidad Estatal de Moscú con especialización en Lógica . ^[2]

P. Naumov, J. Tao, Una lógica epistémica de la culpabilidad, Inteligencia artificial, volumen 283, junio de 2020, 103269

P. Naumov, J. Tao, Juntos sabemos cómo lograr: una lógica epistémica del saber hacer, inteligencia artificial, volumen 262, septiembre de 2018, págs. 279-300

J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs, Synthese, Volumen 191, Número 14, págs. 3407-3426, 2014.

^ ^a ^b "Pavel Naumov - El proyecto de genealogía de las matemáticas" . www.genealogy.ams.org . Archivado desde el original el 1 de noviembre de 2018 . Consultado el 20 de junio de 2020 .
↑ ^a ^b Naumov, Pavel (20 de septiembre de 1998). "Formalización de tipos de referencia en NuPRL, tesis doctoral" , a través de ecommons.cornell.edu. Cite journal requiere |journal=( ayuda )
^ "XLVIII Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh" . olympiads.mccme.ru .
^ "XLIX Moskovskaja gorodskaja matematicheskaja olimpiada: spisok nagrazhdennyh" . olympiads.mccme.ru .

Página personal de Pavel Naumov : Pavel Naumov
Perfil DBLP de Pavel Naumov: dblp: Pavel Naumov
Perfil de Pavel Naumov en Google Scholar: Pavel Naumov - Citas de Google Scholar