Követés
Pavel Naumov
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
512018
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
412000
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
332018
Second-order know-how strategies
P Naumov, J Tao
302018
An epistemic logic of blameworthiness
P Naumov, J Tao
Artificial Intelligence 283, 103269, 2020
262020
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
212015
Knowing-how under uncertainty
P Naumov, J Tao
Artificial Intelligence 276, 41-56, 2019
192019
Everyone knows that someone knows: quantifiers over epistemic agents
P Naumov, J Tao
The review of symbolic logic 12 (2), 255-270, 2019
192019
Hypergraphs of multiparty secrets
S Miner More, P Naumov
Computational Logic in Multi-Agent Systems: 11th International Workshop …, 2010
172010
Formalizing automata II: Decidable properties
RL Constable, PB Jackson, P Naumov, J Uribe
Cornell University, 1997
171997
The functional dependence relation on hypergraphs of secrets
SM More, P Naumov
International Workshop on Computational Logic in Multi-Agent Systems, 29-40, 2011
162011
Blameworthiness in strategic games
P Naumov, J Tao
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3011-3018, 2019
152019
Diffusion in social networks with recalcitrant agents
Z Christoff, P Naumov
Journal of Logic and Computation 29 (1), 53-70, 2019
152019
On interdependence of secrets in collaboration networks
SM More, P Naumov
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and …, 2009
152009
Two forms of responsibility in strategic games
P Naumov, J Tao
142021
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
Information flow on directed acyclic graphs
M Donders, S Miner More, P Naumov
Logic, Language, Information and Computation: 18th International Workshop …, 2011
132011
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20