Follow
Pavel Naumov
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
602001
Together we know how to achieve: An epistemic logic of know-how
P Naumov, J Tao
Artificial Intelligence 262, 279-300, 2018
492018
Constructively formalizing automata theory
RL Constable, PB Jackson, P Naumov, J Uribe
422000
Coalition Power in Epistemic Transition Systems.
P Naumov, J Tao
AAMAS, 723-731, 2017
352017
Strategic coalitions with perfect recall
P Naumov, J Tao
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
322018
Second-order know-how strategies
P Naumov, J Tao
282018
An epistemic logic of blameworthiness
P Naumov, J Tao
Artificial Intelligence 283, 103269, 2020
232020
An independence relation for sets of secrets
SM More, P Naumov
Studia Logica 94, 73-85, 2010
222010
Budget-constrained knowledge in multiagent systems
P Naumov, J Tao
International Foundation for Autonomous Agents and Multiagent Systems 1, 219-226, 2015
202015
Everyone knows that someone knows: quantifiers over epistemic agents
P Naumov, J Tao
The review of symbolic logic 12 (2), 255-270, 2019
192019
Knowing-how under uncertainty
P Naumov, J Tao
Artificial Intelligence 276, 41-56, 2019
182019
Formalizing automata II: Decidable properties
RL Constable, PB Jackson, P Naumov, J Uribe
Cornell University, 1997
171997
Hypergraphs of multiparty secrets
S Miner More, P Naumov
Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010
162010
The functional dependence relation on hypergraphs of secrets
SM More, P Naumov
International Workshop on Computational Logic in Multi-Agent Systems, 29-40, 2011
152011
On interdependence of secrets in collaboration networks
SM More, P Naumov
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
152009
Blameworthiness in strategic games
P Naumov, J Tao
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3011-3018, 2019
142019
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
142001
Importing Isabelle formal mathematics into Nuprl
P Naumov
Cornell University, 1999
131999
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
122012
Information flow on directed acyclic graphs
M Donders, S Miner More, P Naumov
Logic, Language, Information and Computation: 18th International Workshop …, 2011
122011
The system can't perform the operation now. Try again later.
Articles 1–20