|
Pavel Naumov (logician)
|
|
Pavel Naumov (born January 26, 1970) is a logician who specializes in reasoning about knowledge and strategies in multi-agent systems. Naumov graduated from Moscow State University with a Diploma in Mathematics, where his advisor was Sergei N. Artemov. He received a Ph.D. in Computer Science from Cornell University under Robert Lee Constable. He was a winner of Moscow Mathematics Olympiad in 1985 and 1986, and Soviet Union Mathematics Olympiad in 1985. Naumov graduated from Mathematics Department of Moscow State University with specialization in Logic. Selected publications * 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. 
|
| < Prev | Next > |
|---|
Main Menu
| Home |
| Articles |
| Search |
| Submit Article |
| Contact Us |
| Donate to Wikibin |
