Pavel Naumov

Cited by

	All	Since 2019
Citations	800	370
h-index	15	9
i10-index	24	9

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320243 3 3 9 7 18 8 11 7 14 10 19 14 17 43 27 35 31 19 37 43 48 43 48 84 70 88 33

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 KnightAssistant Professor, University of Minnesota DuluthVerified email at lix.polytechnique.fr
Rui-Jie YewBrown UniversityVerified email at brown.edu
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
Danesh TaraporeAssociate Professor, University of Southampton, UK.Verified email at southampton.ac.uk

Pavel Naumov

University of Southampton

Verified email at soton.ac.uk - Homepage

Logic Formal Epistemology Game Theory Multiagent Systems


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	49	2018
Constructively formalizing automata theory RL Constable, PB Jackson, P Naumov, J Uribe	42	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	32	2018
Second-order know-how strategies P Naumov, J Tao	28	2018
An epistemic logic of blameworthiness P Naumov, J Tao Artificial Intelligence 283, 103269, 2020	22	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	20	2015
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
Knowing-how under uncertainty P Naumov, J Tao Artificial Intelligence 276, 41-56, 2019	18	2019
Formalizing automata II: Decidable properties RL Constable, PB Jackson, P Naumov, J Uribe Cornell University, 1997	17	1997
Hypergraphs of multiparty secrets S Miner More, P Naumov Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010	16	2010
The functional dependence relation on hypergraphs of secrets SM More, P Naumov International Workshop on Computational Logic in Multi-Agent Systems, 29-40, 2011	15	2011
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
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
Blameworthiness in strategic games P Naumov, J Tao Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3011-3018, 2019	13	2019
Importing Isabelle formal mathematics into Nuprl P Naumov Cornell University, 1999	13	1999
Calculus of cooperation and game-based reasoning about protocol privacy SM More, P Naumov ACM Transactions on Computational Logic (TOCL) 13 (3), 1-21, 2012	12	2012
Information flow on directed acyclic graphs M Donders, S Miner More, P Naumov Logic, Language, Information and Computation: 18th International Workshop …, 2011	12	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