Pavel Naumov

Cited by

	All	Since 2020
Citations	875	399
h-index	15	11
i10-index	32	12

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420253 3 3 9 7 17 8 11 7 14 10 19 14 17 43 31 35 31 19 37 42 45 44 48 82 72 78 77 41

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jia TaoLafayette CollegeVerified email at lafayette.edu
Sara Miner MoreAssociate Teaching Professor, Johns Hopkins UniversityVerified email at cs.jhu.edu
Kaya DeuserVerified email at uni-koeln.de
Paul B JacksonUniversity of EdinburghVerified email at ed.ac.uk
Mark-Oliver StehrSRI InternationalVerified email at csl.sri.com
Rui CaoUniversity of British ColumbiaVerified email at sauder.ubc.ca
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Kevin RosUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Zoé ChristoffDepartment of Artificial Intelligence, University of GroningenVerified email at rug.nl
Anna OvchinnikovaBachelor of Philosophy, National Research University Higher School of EconomicsVerified email at edu.hse.ru
Sophia KnightAssociate Professor, University of Minnesota DuluthVerified email at d.umn.edu
Rui-Jie YewBrown UniversityVerified email at cs.brown.edu
QI SHIUniversity of SouthamptonVerified email at soton.ac.uk
Enrico MarchioniLecturer at the Department of Electronics and Computer Science, University of SouthamptonVerified email at soton.ac.uk
Sebastian SteinProfessor of Artificial Intelligence, Turing AI Fellow, University of SouthamptonVerified email at ecs.soton.ac.uk
Enrico GerdingUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Mohammad D. SooratiAssistant Professor, University of SouthamptonVerified email at soton.ac.uk
Vahid YazdanpanahAssistant Professor of Computer Science, University of SouthamptonVerified email at soton.ac.uk
Adam SobeyProgramme Director, Data-Centric Engineering, The Alan Turing Institute/Professor of Data-CentricVerified email at soton.ac.uk
Sarvapali D. (Gopal) RamchurnProfessor of Artificial Intelligence, University of SouthamptonVerified email at ecs.soton.ac.uk

Pavel Naumov

University of Southampton

Verified email at soton.ac.uk - Homepage

Mechanism Design Collective Decision-Making AI Ethics Formal Epistemology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The HOL/NuPRL proof translator: A practical approach to formal interoperability P Naumov, MO Stehr, J Meseguer International Conference on Theorem Proving in Higher Order Logics, 329-345, 2001	60	2001
Together we know how to achieve: An epistemic logic of know-how P Naumov, J Tao Artificial Intelligence 262, 279-300, 2018	51	2018
Constructively formalizing automata theory RL Constable, PB Jackson, P Naumov, JC Uribe Proof, Language, and Interaction 2000: Essays in Honour of Robin Milner, 213-238, 2000	41	2000
Coalition Power in Epistemic Transition Systems. P Naumov, J Tao AAMAS, 723-731, 2017	35	2017
Strategic coalitions with perfect recall P Naumov, J Tao Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018	33	2018
Second-order know-how strategies P Naumov, J Tao	30	2018
An epistemic logic of blameworthiness P Naumov, J Tao Artificial Intelligence 283, 103269, 2020	26	2020
An independence relation for sets of secrets SM More, P Naumov Studia Logica 94, 73-85, 2010	22	2010
Budget-constrained knowledge in multiagent systems P Naumov, J Tao International Foundation for Autonomous Agents and Multiagent Systems 1, 219-226, 2015	21	2015
Knowing-how under uncertainty P Naumov, J Tao Artificial Intelligence 276, 41-56, 2019	19	2019
Everyone knows that someone knows: quantifiers over epistemic agents P Naumov, J Tao The review of symbolic logic 12 (2), 255-270, 2019	19	2019
Hypergraphs of multiparty secrets S Miner More, P Naumov Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010	18	2010
Formalizing automata II: Decidable properties RL Constable, PB Jackson, P Naumov, J Uribe Cornell University, 1997	17	1997
The functional dependence relation on hypergraphs of secrets SM More, P Naumov International Workshop on Computational Logic in Multi-Agent Systems, 29-40, 2011	16	2011
Blameworthiness in strategic games P Naumov, J Tao Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3011-3018, 2019	15	2019
Diffusion in social networks with recalcitrant agents Z Christoff, P Naumov Journal of Logic and Computation 29 (1), 53-70, 2019	15	2019
On interdependence of secrets in collaboration networks SM More, P Naumov Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009	15	2009
Two forms of responsibility in strategic games P Naumov, J Tao	14	2021
A proof-theoretic approach to the HOL-Nuprl connection with applications to proof translation MO Stehr, P Naumov, J Meseguer Proc. WADT= CoFI 1, 1-3, 2001	14	2001
Information flow on directed acyclic graphs M Donders, S Miner More, P Naumov Logic, Language, Information and Computation: 18th International Workshop …, 2011	13	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors