The University of Southampton
×
Electronics and Computer Science
Email:
p.naumov@soton.ac.uk

Dr Pavel Naumov 

Personal homepage

Pavel Naumov is a logician at Agents, Interaction, and Complexity research group. He has a Diploma in Mathematics from Moscow State University and PhD in Computer Science from Cornell University. Before Southampton, he taught at several institutions in the United States. Naumov is interested in formal definitions and logical systems for reasoning about moral and legal responsibility, blameworthiness, ethical dilemmas, beliefs, emotions, knowledge, strategies, and preferences in multiagent systems. 

Publications

Naumov, Pavel and Ros, Kevin (2021) Strategic coalitions in stochastic games. Journal of Logic and Computation, 31 (7), 1845-1867. (doi:10.1093/logcom/exab032).

Naumov, Pavel and Tao, Jia (2021) Two forms of responsibility in strategic games. 30th International Joint Conference on Artificial Intelligence: IJCAI 2021, , Montreal, Canada. 19 - 26 Aug 2021. 1989 - 1995 . (doi:10.24963/ijcai.2021/274).

Naumov, Pavel and Bozzone, Lia (2021) Budget-Constrained Coalition Strategies with Discounting. In 30th International Joint Conference on Artificial Intelligence. (doi:10.24963/ijcai.2021/249).

Azimipour, Sanaz and Naumov, Pavel (2021) Axiomatic Theory of Betweenness. Archive for Mathematical Logic, 60 (1-2), 227-239. (doi:10.1007/s00153-020-00744-5).

Naumov, Pavel and Yuan, Yuan (2021) Intelligence in strategic games. Journal of Artificial Intelligence Research, 71, 521-556. (doi:10.1613/jair.1.12883).

Naumov, Pavel and Yew, Rui-Jie (2021) Ethical dilemmas in strategic games. In Proceedings of the AAAI Conference on Artificial Intelligence.

Bozzone, Lia and Naumov, Pavel (2021) Budget-constrained coalition strategies with discounting. Journal of Logic and Computation, [exab071]. (doi:10.1093/logcom/exab071).

Naumov, Pavel and Ros, Kevin (2021) Comprehension and knowledge. In Proceedings of the AAAI Conference on Artificial Intelligence. vol. 35, AAAI Press. p. 11622 .

Naumov, Pavel and Epstein, Sophia (2021) Epistemic logic of know-who. In Proceedings of the AAAI Conference on Artificial Intelligence. vol. 35, p. 11479 .

Naumov, Pavel and Tao, Jia (2021) Attainable Knowledge and Omniscience. In Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge. vol. 335, pp. 251-265 . (doi:10.4204/EPTCS.335.24).

Naumov, Pavel and Simonelli, Italo (2021) The Polymatrix gap conjecture. International Game Theory Review, [2250005]. (doi:10.1142/S0219198922500050).

Deuser, Kaya and Naumov, Pavel (2021) Strategic knowledge acquisition. ACM Transactions on Computational Logic, 22 (3), 1, [3459993]. (doi:10.1145/3459993).

Naumov, Pavel and Zhang, Wenxuan (2022) Prevailing in the dark: Information walls in strategic games. In Proceedings of Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22). AAAI Press. 9 pp .

Jiang, Junli and Naumov, Pavel (2022) The egocentric logic of preferences. In 31st International Joint Conference on Artificial Intelligence (IJCAI-22). (In Press)

Jiang, Junli and Naumov, Pavel (2022) In data we trust: the logic of trust-based beliefs. In 31st International Joint Conference on Artificial Intelligence (IJCAI-22). (In Press)

Jiang, Junli and Naumov, Pavel (2022) Data-informed knowledge and strategies. Artificial Intelligence, 309 (August), [103727]. (doi:10.1016/j.artint.2022.103727).

Cao, Rui and Naumov, Pavel (2022) The limits of morality in strategic games. In 31st International Joint Conference on Artificial Intelligence (IJCAI-22). (In Press)

Naumov, Pavel and Tao, Jia (2020) Blameworthiness in Security Games. In 34th AAAI Conference on Artificial Intelligence (AAAI 20).

Naumov, Pavel and Tao, Jia (2020) Duty to warn in strategic games. In 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 20).

Naumov, Pavel and Tao, Jia (2020) An epistemic logic of blameworthiness. Artificial Intelligence, 283, [103269].

Naumov, Pavel and Tao, Jia (2020) Knowing-How under Uncertainty (extended abstract). In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. Journal track. pp. 5120-5124 .

Morrison, Colby and Naumov, Pavel (2020) Group conformity in social networks. Journal of Logic, Language, and Information, 29 (1), 3-19. (doi:10.1007/s10849-019-09303-5).

Deuser, Kaya and Naumov, Pavel (2020) On composition of bounded-recall plans. Artificial Intelligence, 289, [103399]. (doi:10.1016/j.artint.2020.103399).

Cao, Rui and Naumov, Pavel (2020) Knowing the price of success. Artificial Intelligence, 284, [103287]. (doi:10.1016/j.artint.2020.103287).

Naumov, Pavel and Yuan, Yuan (2021) Intelligence in strategic games (Extended Abstract). In 31st International Joint Conference on Artificial Intelligence (IJCAI 22). 551 - 556 .

Contact

Email: p.naumov@soton.ac.uk

Share this profile FacebookTwitterWeibo