Follow
Pavel Naumov
Title
Cited by
Cited by
Year
The HOL/NuPRL proof translator
P Naumov, MO Stehr, J Meseguer
International Conference on Theorem Proving in Higher Order Logics, 329-345, 2001
602001
Constructively formalizing automata theory.
RL Constable, PB Jackson, P Naumov, JC Uribe
Proof, language, and interaction, 213-238, 2000
352000
Strategic coalitions with perfect recall
P Naumov, J Tao
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
302018
Coalition power in epistemic transition systems
P Naumov, J Tao
302017
Together we know how to achieve: An epistemic logic of know-how
P Naumov, J Tao
Artificial Intelligence 262, 279-300, 2018
262018
Second-order know-how strategies
P Naumov, J Tao
232018
An independence relation for sets of secrets
SM More, P Naumov
Studia Logica 94 (1), 73-85, 2010
222010
Together we know how to achieve: An epistemic logic of know-how
P Naumov, J Tao
arXiv preprint arXiv:1705.09349, 2017
202017
Budget-Constrained Knowledge in Multiagent Systems.
P Naumov, J Tao
AAMAS, 219-226, 2015
172015
Formalizing automata II: Decidable properties
RL Constable, PB Jackson, P Naumov, J Uribe
Cornell University, 1997
161997
Hypergraphs of multiparty secrets
S Miner More, P Naumov
International Workshop on Computational Logic in Multi-Agent Systems, 15-32, 2010
152010
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
152001
The functional dependence relation on hypergraphs of secrets
SM More, P Naumov
International Workshop on Computational Logic in Multi-Agent Systems, 29-40, 2011
142011
On interdependence of secrets in collaboration networks
SM More, P Naumov
Proceedings of the 12th Conference on Theoretical Aspects of Rationality andá…, 2009
142009
Knowing-how under uncertainty
P Naumov, J Tao
Artificial Intelligence 276, 41-56, 2019
132019
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
International Workshop on Logic, Language, Information, and Computation, 95-109, 2011
122011
Constructively formalizing automata
RL Constable, PB Jackson, P Naumov, J Uribe
Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Pressá…, 1998
121998
An epistemic logic of blameworthiness
P Naumov, J Tao
Artificial Intelligence 283, 103269, 2020
112020
The system can't perform the operation now. Try again later.
Articles 1–20