Concepedia

Pavel Naumov

PN

Statistics

Publications

18

Citations

302

H-Index

12

Active since

2001

Affiliations

Lafayette College(Current)

McDaniel College

Claremont McKenna College

Pavel Naumov is an author at Lafayette College specializing in knowledge representation, logic of knowledge, and logic.

Publications per year

2001–2021

18

Publications

18

The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability)

Pavel Naumov, Mark-Oliver Stehr, José Meseguer · Theorem Proving in Higher Order Logics · 2001 · 32 citations

Computing, Computer Science, Formal Methods +13

Coalition Power in Epistemic Transition Systems

Pavel Naumov, Tao Jia · ePrints Soton (University of Southampton) · 2017 · 30 citations · Full text

Humanities, Systems Engineering, Epistemology +14

Second-Order Know-How Strategies

Pavel Naumov, Tao Jia · 2018 · 24 citations · Full text

Social Sciences, Strategy, Epistemology +7

An epistemic logic of blameworthiness

Pavel Naumov · Artificial Intelligence · 2020 · 22 citations · Full text

Humanities, Philosophy, Epistemology +6

Strategic Coalitions With Perfect Recall

Pavel Naumov · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 21 citations · Full text

Humanities, Strategy, Distributed Systems +16

1–5 of 18