Pavel Naumov
Pavel Naumov is a Russian-American logician who specializes in reasoning about knowledge and strategies in multiagent systems. Naumov graduated from Moscow State University with a Diploma in Mathematics, where his advisor was Sergei N. Artemov. He received Ph.D. in Computer Science from Cornell University under Robert Lee Constable.Biography
Pavel Naumov was born in Moscow, USSR in 1970 to Taisia Naumova and :ru:Наумов,_Геннадий_Иванович|Gennadi Naumov.
He was a winner of Moscow Mathematics Olympiad in 1985
and 1986,
and Soviet Union Mathematics Olympiad in 1985. Naumov graduate from Mathematics Department of Moscow State University with specialization in Logic.- P. Naumov, J. Tao, An Epistemic Logic of Blameworthiness, Artificial Intelligence, Volume 283, June 2020, 103269
- P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, Artificial Intelligence, Volume 262, September 2018, pp. 279-300
- J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs, Synthese, Volume 191, Issue 14, pp. 3407-3426, 2014.
