Pavel Naumov

145 papers A* 28A 4B 9C 3Misc 1Journal 91Unranked 8
YearRankTypeTitle / Venue / Authors
2026 A* conf
A Graph-Theoretical Perspective on Law Design for Multiagent Systems.
AAAI
Qi Shi, Pavel Naumov
2026 A* conf
An Epistemic Perspective on Agent Awareness.
AAAI
Pavel Naumov, Alexandra Pavlova
2026 J jnl
Epistemic Logic with Agentically Non-rigid Designators.
J. Philos. Log.
Pavel Naumov, Xinran Zhang
2026 A* conf
Higher-Order Responsibility.
AAAI
Junli Jiang, Pavel Naumov
2026 A* conf
Responsible Mechanism Design.
AAAI
Pavel Naumov
2025 J jnl
A Graph-Theoretical Perspective on Law Design for Multiagent Systems.
CoRR
Qi Shi, Pavel Naumov
2025 J jnl
An Egocentric Logic of Knowing How to Tell them Apart.
J. Symb. Log.
Pavel Naumov, Jia Tao
2025 J jnl
An Epistemic Perspective on Agent Awareness.
CoRR
Pavel Naumov, Alexandra Pavlova
2025 J jnl
An Epistemic Perspective on Subjective and Objective Time.
J. Philos. Log.
Pavel Naumov, Anshika Prajapati, Jia Tao
2025 J jnl
Classical Implication for Three-Valued Logic.
J. Log. Lang. Inf.
Zhuyu Li, Pavel Naumov
2025 J jnl
Comprehension and Knowledge.
J. Log. Lang. Inf.
Pavel Naumov, Kevin Ros
2025 J jnl
De re/de dicto distinction: a logicians' perspective on data anonymity.
J. Cybersecur.
Junli Jiang, Pavel Naumov
2025 J jnl
Diffusion of Responsibility in Collective Decision Making.
CoRR
Pavel Naumov, Jia Tao
2025 J jnl
Dynamic Logic of Trust-Based Beliefs.
CoRR
Junli Jiang, Pavel Naumov, Wenxuan Zhang
2025 J jnl
Higher-Order Responsibility.
CoRR
Junli Jiang, Pavel Naumov
2025 J jnl
Responsibility Gap and Diffusion in Sequential Decision-Making Mechanisms.
CoRR
Junli Jiang, Pavel Naumov
2025 A* conf
Responsibility Gap in Collective Decision Making.
IJCAI
Pavel Naumov, Jia Tao
2025 J jnl
Responsibility Gap in Collective Decision Making.
CoRR
Pavel Naumov, Jia Tao
2025 J jnl
Responsibility in Multi-Step Decision Schemes.
J. Philos. Log.
Qi Shi, Pavel Naumov
2025 A* conf
Uncommon Belief in Rationality.
AAAI
Qi Shi, Pavel Naumov
2024 J jnl
A Dynamic Logic of Data-Informed Knowledge.
J. Philos. Log.
Kaya Deuser, Junli Jiang, Pavel Naumov, Wenxuan Zhang
2024 J jnl
An egocentric logic of de dicto and de re knowing who.
J. Log. Comput.
Sophia Epstein, Pavel Naumov, Jia Tao
2024 A* conf
The Logic of Doxastic Strategies.
AAAI
Junli Jiang, Pavel Naumov
2024 J jnl
Uncommon Belief in Rationality.
CoRR
Qi Shi, Pavel Naumov
2023 J jnl
Counterfactual and seeing-to-it responsibilities in strategic games.
Ann. Pure Appl. Log.
Pavel Naumov, Jia Tao
2023 A* conf
Data-Informed Knowledge and Strategies (Extended Abstract).
IJCAI
Junli Jiang, Pavel Naumov
2023 J jnl
De Re and De Dicto Knowledge in Egocentric Setting.
CoRR
Pavel Naumov, Anna Ovchinnikova
2023 A* conf
Shhh! The Logic of Clandestine Operations.
IJCAI
Pavel Naumov, Oliver Orejola
2023 J jnl
Shhh! The Logic of Clandestine Operations.
CoRR
Pavel Naumov, Oliver Orejola
2023 J jnl
The Logic of Doxastic Strategies.
CoRR
Junli Jiang, Pavel Naumov
2022 J jnl
Budget-constrained coalition strategies with discounting.
J. Log. Comput.
Lia Bozzone, Pavel Naumov
2022 J jnl
Data-informed knowledge and strategies.
Artif. Intell.
Junli Jiang, Pavel Naumov
2022 J jnl
From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems.
CoRR
Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni, Pavel Naumov, Timothy J. Norman, Sarvapali D. Ramchurn, Bahar Rastegari, Adam J. Sobey, Sebastian Stein, Danesh Tarpore, Vahid Yazdanpanah, Jie Zhang
2022 J jnl
From intelligent agents to trustworthy human-centred multiagent systems.
AI Commun.
Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni, Pavel Naumov, Timothy J. Norman, Sarvapali D. Ramchurn, Bahar Rastegari, Adam J. Sobey, Sebastian Stein, Danesh Tarpore, Vahid Yazdanpanah, Jie Zhang
2022 A* conf
In Data We Trust: The Logic of Trust-Based Beliefs.
IJCAI
Junli Jiang, Pavel Naumov
2022 A* conf
Intelligence in Strategic Games (Extended Abstract).
IJCAI
Pavel Naumov, Yuan Yuan
2022 A* conf
Prevailing in the Dark: Information Walls in Strategic Games.
AAAI
Pavel Naumov, Wenxuan Zhang
2022 A* conf
The Egocentric Logic of Preferences.
IJCAI
Junli Jiang, Pavel Naumov
2022 A* conf
The Limits of Morality in Strategic Games.
IJCAI
Rui Cao, Pavel Naumov
2022 J jnl
The Polymatrix Gap Conjecture.
IGTR
Pavel Naumov, Italo Simonelli
2022 J jnl
What are Your Powers? - Truth Set Algebras.
CoRR
Sophia Knight, Pavel Naumov
2021 B conf
Attainable Knowledge and Omniscience.
TARK
Pavel Naumov, Jia Tao
2021 J jnl
Axiomatic theory of betweenness.
Arch. Math. Log.
Sanaz Azimipour, Pavel Naumov
2021 A* conf
Budget-Constrained Coalition Strategies with Discounting.
IJCAI
Lia Bozzone, Pavel Naumov
2021 J jnl
Budget-Constrained Coalition Strategies with Discounting.
CoRR
Lia Bozzone, Pavel Naumov
2021 A* conf
Comprehension and Knowledge.
AAAI
Pavel Naumov, Kevin Ros
2021 A* conf
Epistemic Logic of Know-Who.
AAAI
Sophia Epstein, Pavel Naumov
2021 A* conf
Ethical Dilemmas in Strategic Games.
AAAI
Pavel Naumov, Rui-Jie Yew
2021 J jnl
If You're Happy, Then You Know It: The Logic of Happiness... and Sadness.
CoRR
Sanaz Azimipour, Pavel Naumov
2021 J jnl
Intelligence in Strategic Games.
J. Artif. Intell. Res.
Pavel Naumov, Yuan Yuan
2021 J jnl
Strategic Knowledge Acquisition.
ACM Trans. Comput. Log.
Kaya Deuser, Pavel Naumov
2021 J jnl
Strategic coalitions in stochastic games.
J. Log. Comput.
Pavel Naumov, Kevin Ros
2021 A* conf
Two Forms of Responsibility in Strategic Games.
IJCAI
Pavel Naumov, Jia Tao
2020 J jnl
An epistemic logic of blameworthiness.
Artif. Intell.
Pavel Naumov, Jia Tao
2020 A* conf
Blameworthiness in Security Games.
AAAI
Pavel Naumov, Jia Tao
2020 J jnl
Comprehension and Knowledge.
CoRR
Pavel Naumov, Kevin Ros
2020 A conf
Duty to Warn in Strategic Games.
AAMAS
Pavel Naumov, Jia Tao
2020 J jnl
Epistemic Logic of Know-Who.
CoRR
Sophia Epstein, Pavel Naumov
2020 J jnl
Group Conformity in Social Networks.
J. Log. Lang. Inf.
Colby Morrison, Pavel Naumov
2020 J jnl
Knowing the price of success.
Artif. Intell.
Rui Cao, Pavel Naumov
2020 A* conf
Knowing-How under Uncertainty (Extended Abstract).
IJCAI
Pavel Naumov, Jia Tao
2020 J jnl
On composition of bounded-recall plans.
Artif. Intell.
Kaya Deuser, Pavel Naumov
2019 J jnl
Blameworthiness in Security Games.
CoRR
Pavel Naumov, Jia Tao
2019 A* conf
Blameworthiness in Strategic Games.
AAAI
Pavel Naumov, Jia Tao
2019 J jnl
Diffusion in social networks with recalcitrant agents.
J. Log. Comput.
Zoé Christoff, Pavel Naumov
2019 J jnl
Duty to Warn in Strategic Games.
CoRR
Pavel Naumov, Jia Tao
2019 J jnl
Ethical Dilemmas of Strategic Coalitions.
CoRR
Pavel Naumov, Rui-Jie Yew
2019 J jnl
Everyone Knows that someone Knows: Quantifiers over Epistemic Agents.
Rev. Symb. Log.
Pavel Naumov, Jia Tao
2019 Misc conf
Formation of Export Clusters in Food Trade of the Russian Federation in the Conditions of Digital Transformation of the Economy.
FRUCT
Elena Zhiryaeva, Vladimir Naumov, Pavel Naumov
2019 J jnl
Intelligence in Strategic Games.
CoRR
Pavel Naumov, Yuan Yuan
2019 J jnl
Knowing-how under uncertainty.
Artif. Intell.
Pavel Naumov, Jia Tao
2019 J jnl
Strategic Coalitions in Stochastic Games.
CoRR
Pavel Naumov, Kevin Ros
2019 J jnl
The Limits of Morality in Strategic Games.
CoRR
Rui Cao, Pavel Naumov
2018 A* conf
Armstrong's Axioms and Navigation Strategies.
AAAI
Kaya Deuser, Pavel Naumov
2018 J jnl
Blameworthiness in Games with Imperfect Information.
CoRR
Pavel Naumov, Jia Tao
2018 J jnl
Blameworthiness in Strategic Games.
CoRR
Pavel Naumov, Jia Tao
2018 J jnl
Lighthouse Principle for Diffusion in Social Networks.
FLAP
Sanaz Azimipour, Pavel Naumov
2018 A* conf
Navigability with Bounded Recall.
KR
Kaya Deuser, Pavel Naumov
2018 J jnl
Navigability with intermediate constraints.
J. Log. Comput.
Kaya Deuser, Pavel Naumov
2018 A conf
Second-Order Know-How Strategies.
AAMAS
Pavel Naumov, Jia Tao
2018 A* conf
Strategic Coalitions With Perfect Recall.
AAAI
Pavel Naumov, Jia Tao
2018 A* conf
Strategic Coalitions in Systems with Catastrophic Failures.
KR
Pavel Naumov, Kevin Ros
2018 J jnl
Together we know how to achieve: An epistemic logic of know-how.
Artif. Intell.
Pavel Naumov, Jia Tao
2017 J jnl
A modal logic for reasoning about economic policies.
J. Log. Comput.
Pavel Naumov, Jia Tao
2017 J jnl
Armstrong's Axioms and Navigation Strategies.
CoRR
Kaya Deuser, Pavel Naumov
2017 A* conf
Budget-Constrained Dynamics in Multiagent Systems.
IJCAI
Rui Cao, Pavel Naumov
2017 A conf
Coalition Power in Epistemic Transition Systems.
AAMAS
Pavel Naumov, Jia Tao
2017 J jnl
Information Flow under Budget Constraints.
ACM Trans. Comput. Log.
Pavel Naumov, Jia Tao
2017 J jnl
Knowledge in communication networks.
J. Log. Comput.
Pavel Naumov, Jia Tao
2017 J jnl
Marketing impact on diffusion in social networks.
J. Appl. Log.
Pavel Naumov, Jia Tao
2017 J jnl
Navigability with Imperfect Information.
CoRR
Kaya Deuser, Pavel Naumov
2017 J jnl
Price of privacy.
J. Appl. Log.
Pavel Naumov, Jia Tao
2017 J jnl
Strategic Coalitions with Perfect Recall.
CoRR
Pavel Naumov, Jia Tao
2017 B conf
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract).
TARK
Pavel Naumov, Jia Tao
2017 J jnl
Together We Know How to Achieve: An Epistemic Logic of Know-How.
CoRR
Pavel Naumov, Jia Tao
2016 J jnl
Conditional interchangeability of Nash equilibria.
J. Log. Comput.
Pavel Naumov, Margaret Protzman
2016 J jnl
Equilibria interchangeability in cellular games.
J. Log. Comput.
Pavel Naumov, Margaret Protzman
2016 J jnl
Functional Dependence in Strategic Games.
Notre Dame J. Formal Log.
Kristine Harjes, Pavel Naumov
2016 B conf
Information Flow Under Budget Constraints.
JELIA
Pavel Naumov, Jia Tao
2016 J jnl
Lighthouse Principle for Diffusion in Social Networks.
CoRR
Sanaz Azimipour, Pavel Naumov
2016 J jnl
Marketing Impact on Diffusion in Social Networks.
CoRR
Pavel Naumov, Jia Tao
2015 A conf
Budget-Constrained Knowledge in Multiagent Systems.
AAMAS
Pavel Naumov, Jia Tao
2015 J jnl
Knowledge in Communication Networks.
CoRR
Pavel Naumov, Jia Tao
2015 J jnl
Logic of confidence.
Synth.
Pavel Naumov, Jia Tao
2015 J jnl
The Budget-Constrained Functional Dependency.
CoRR
Pavel Naumov, Jia Tao
2014 C conf
Common Knowledge Semantics of Armstrong's Axioms.
WoLLIC
Zachary Heckle, Pavel Naumov
2014 J jnl
Equilibria Interchangeability in Cellular Games.
CoRR
Pavel Naumov, Margaret Protzman
2014 J jnl
Rationally Functional Dependence.
J. Philos. Log.
Pavel Naumov, Brittany Nicholls
2014 J jnl
Strict equilibria interchangeability in multi-player zero-sum games.
J. Log. Comput.
Pavel Naumov, Italo Simonelli
2014 J jnl
Symmetry in information flow.
Ann. Pure Appl. Log.
Jeffrey Kane, Pavel Naumov
2014 J jnl
The Ryōan-ji axiom for common knowledge on hypergraphs.
Synth.
Jeffrey Kane, Pavel Naumov
2013 — conf
Cellular Games, Nash Equilibria, and Fibonacci Numbers.
LORI
Kristine Harjes, Pavel Naumov
2013 B conf
Epistemic Logic for Communication Chains.
TARK
Jeffrey Kane, Pavel Naumov
2013 J jnl
Epistemic Logic for Communication Chains.
CoRR
Jeffrey Kane, Pavel Naumov
2013 J jnl
Functional Dependence in Strategic Games
CoRR
Kristine Harjes, Pavel Naumov
2013 — conf
Functional Dependence in Strategic Games (extended abstract)
SR
Kristine Harjes, Pavel Naumov
2013 J jnl
On interchangeability of Nash equilibria in multi-player strategic games.
Synth.
Pavel Naumov, Brittany Nicholls
2013 B conf
R.E. Axiomatization of Conditional Independence.
TARK
Pavel Naumov, Brittany Nicholls
2013 J jnl
R.E. Axiomatization of Conditional Independence.
CoRR
Pavel Naumov, Brittany Nicholls
2013 — conf
Symmetries and Epistemic Reasoning.
CLIMA
Jeffrey Kane, Pavel Naumov
2012 J jnl
Calculus of cooperation and game-based reasoning about protocol privacy.
ACM Trans. Comput. Log.
Sara Miner More, Pavel Naumov
2012 B conf
Fault Tolerance in Belief Formation Networks.
JELIA
Sarah Holbrook, Pavel Naumov
2012 J jnl
Independence in Information Spaces.
Stud Logica
Pavel Naumov
2011 B conf
A ternary knowledge relation on secrets.
TARK
Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang
2011 B conf
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.
CSL
Sara Miner More, Pavel Naumov, Benjamin Sapp
2011 — conf
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence.
LORI
Pavel Naumov, Brittany Nicholls
2011 J jnl
Hypergraphs of multiparty secrets.
Ann. Math. Artif. Intell.
Sara Miner More, Pavel Naumov
2011 C conf
Information Flow on Directed Acyclic Graphs.
WoLLIC
Michael S. Donders, Sara Miner More, Pavel Naumov
2011 J jnl
Logic of secrets in collaboration networks.
Ann. Pure Appl. Log.
Sara Miner More, Pavel Naumov
2011 — conf
The Functional Dependence Relation on Hypergraphs of Secrets.
CLIMA
Sara Miner More, Pavel Naumov
2010 J jnl
An Independence Relation for Sets of Secrets.
Stud Logica
Sara Miner More, Pavel Naumov
2010 J jnl
Functional Dependence of Secrets in a Collaboration Network
CoRR
Sara Miner More, Pavel Naumov
2010 — conf
Hypergraphs of Multiparty Secrets.
CLIMA
Sara Miner More, Pavel Naumov
2010 A* conf
Independence and Functional Dependence Relations on Secrets.
KR
Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp
2009 C conf
An Independence Relation for Sets of Secrets.
WoLLIC
Sara Miner More, Pavel Naumov
2009 B conf
On interdependence of secrets in collaboration networks.
TARK
Sara Miner More, Pavel Naumov
2008 J jnl
On meta complexity of propositional formulas and propositional proofs.
Arch. Math. Log.
Pavel Naumov
2006 J jnl
Logic of subtyping.
Theor. Comput. Sci.
Pavel Naumov
2006 J jnl
On modal logic of deductive closure.
Ann. Pure Appl. Log.
Pavel Naumov
2006 J jnl
Upper bounds on complexity of Frege proofs with limited use of certain schemata.
Arch. Math. Log.
Pavel Naumov
2005 J jnl
On Modal Logics of Partial Recursive Functions.
Stud Logica
Pavel Naumov
2004 J jnl
On Modal Logics of Partial Recursive Functions
CoRR
Pavel Naumov
2001 — conf
The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability).
TPHOLs
Pavel Naumov, Mark-Oliver Stehr, José Meseguer
2000 — conf
Constructively formalizing automata theory.
Proof, Language, and Interaction
Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe
1998 — —
Formalizing Reference Types in NuPRL.
Pavel Naumov