Supervised Publications of PhD Students

Qi Shi, Agentive Permissions in Multiagent Systems, 33rd International Joint Conference on Artificial Intelligence (IJCAI-24), August 3-9, 2024, Jeju, South Korea

Qi Shi, Responsibility in Extensive Form Games, 38th AAAI Conference on Artificial Intelligence (AAAI-24), February 20-27, 2024, Vancouver, Canada, YouTube

Peer-Reviewed Publications

2025

  1. Q. Shi, P. Naumov, Uncommon Belief in Rationality, 39th AAAI Conference on Artificial Intelligence, (AAAI 25), February 25-March 4, 2025, Philadelphia, USA

    2024

  2. J. Jiang, P. Naumov, De Re/De Dicto Distinction: A Logicians' Perspective on Data Anonymity, Journal of Cybersecurity, 2024 (to appear)

  3. P. Naumov, Ch. Wu, Egocentric Doxastic Logic, Logic and Logical Philosophy, 2024 (to appear)

  4. X. Cui, P. Naumov, Responsibility in Infinite Games, Notre Dame Journal of Formal Logic, 2024 (to appear)

  5. J. Jiang, P. Naumov, A Logic of Trust-Based Beliefs, Synthese, Volume 204, article number 46, (2024)

  6. J. Jiang, P. Naumov, A Logic of Higher-Order Preferences, Synthese, Volume 203, article number 210, (2024)

  7. S. Azimipour, P. Naumov, If You’re Happy, Then You Know It: The Logic of Happiness … and Sadness, Logic and Logical Philosophy (to appear)

  8. J. Jiang, P. Naumov, The Logic of Doxastic Strategies, 38th AAAI Conference on Artificial Intelligence, (AAAI 24), February 20-27, 2024, Vancouver, Canada

  9. K. Deuser, J. Jiang, P. Naumov, W. Zhang, A Dynamic Logic of Data-Informed Knowledge, Journal of Philosophical Logic

    2023

  10. P. Naumov, J. Tao, Counterfactual and Seeing-to-it Responsibilities in Strategic Games, Annals of Pure and Applied Logic 174(10):103353, 2023

  11. S. Epstein, P. Naumov, and J. Tao, An Egocentric Logic of De Dicto and De Re Knowing Who, Journal of Logic and Computation (to appear)

  12. P. Naumov, J. Tao,  An Egocentric Logic of Knowing How to Tell Them Apart, Journal of Symbolic Logic, (to appear)

  13. J. Jiang, P. Naumov, Data-Informed Knowledge and Strategies (Extended Abstract), 32nd International Joint Conference on Artificial Intelligence (IJCAI 23), August 2023

  14. P. Naumov, O. Orejola, Shhh! The Logic of Clandestine Operations, 32nd International Joint Conference on Artificial Intelligence (IJCAI 23), August 2023

  15. P. Naumov, A. Ovchinnikova, An Epistemic Logic of Preferences, Synthese 201, 77 (2023)

    2022


  16. M. Divband Soorati, E. Gerding, E. Marchioni, P. Naumov, T. Norman, S. Ramchurn, B. Rastegari, A. Sobey, S. Stein, D. Tarapore, V. Yazdanpanah, and J. Zhang, From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems, AI Communications, July 2022

  17. J. Jiang, P. Naumov, The Egocentric Logic of Preferences, 31st International Joint Conference on Artificial Intelligence (IJCAI 22), July 2022

  18. J. Jiang, P. Naumov, In Data We Trust: The Logic of Trust-Based Beliefs, 31st International Joint Conference on Artificial Intelligence (IJCAI 22), July 2022

  19. R. Cao, P. Naumov, The Limits of Morality in Strategic Games, 31st International Joint Conference on Artificial Intelligence (IJCAI 22), July 2022

  20. J. Jiang, P. Naumov, Data-Informed Knowledge and Strategies, Artificial Intelligence, Volume 309, August 2022, 103727

  21. P. Naumov, Y. Yuan, Intelligence in Strategic Games (Extended Abstract), 31st International Joint Conference on Artificial Intelligence (IJCAI 22), July 2022

  22. P. Naumov, W. Zhang, Prevailing in the Dark: Information Walls in Strategic Games, 36th AAAI Conference on Artificial Intelligence (AAAI 22), February 22 - March 1st, 2022

  23. L. Bozzone, P. Naumov, Budget-Constrained Coalition Strategies with Discounting, Journal of Logic and Computation, 32(4): 832-851 (2022)

  24. P. Naumov, I. Simonelli, The Polymatrix Gap Conjecture, International Game Theory Review, Volume 24, Issue 03 (September 2022)

    2021

  25. P. Naumov, Y. Yuan, Intelligence in Strategic Games, Journal of Artificial Intelligence Research, 71 (2021), 521-556

  26. P. Naumov, J. Tao, Two Forms of Responsibility in Strategic Games, 30th International Joint Conference on Artificial Intelligence (IJCAI 21), August 21-26, 2021

  27. L. Bozzone, P. Naumov, Budget-Constrained Coalition Strategies with Discounting, 30th International Joint Conference on Artificial Intelligence (IJCAI 21), August 21-26, 2021

  28. P. Naumov, J. Tao, Attainable Knowledge and Omniscience, 18th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 21), Tsinghua University, Beijing, China, June 25-27, 2021

  29. P. Naumov, K. Ros, Strategic Coalitions in Stochastic Games, Journal of Logic and Computation, 31(7): 1845-1867 (2021)

  30. K. Deuser, P. Naumov, Strategic Knowledge Acquisition, ACM Transactions on Computational Logic, Volume 22, Issue 3, pp 1-18, July 2021

  31. P. Naumov, R.-J. Yew, Ethical Dilemmas in Strategic Games, 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

  32. P. Naumov, K. Ros, Comprehension and Knowledge, 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

  33. S. Epstein, P. Naumov, Epistemic Logic of Know-Who, 35th AAAI Conference on Artificial Intelligence (AAAI 21), February 2-9, 2021

  34. S. Azimipour, P. Naumov, Axiomatic Theory of Betweenness, Archive for Mathematical Logic, 60(1), 227-239  (2021)

    2020

  35. K. Deuser, P. Naumov, On Composition of Bounded-Recall Plans, Artificial Intelligence, Volume 289, December 2020, 103399

  36. P. Naumov, J. Tao, Knowing-How under Uncertainty (extended abstract),  29th International Joint Conference on Artificial Intelligence (IJCAI 20), Yokohama, Japan, July 11-17th, 2020

  37. R. Cao, P. Naumov, Knowing the Price of Success, Artificial Intelligence, Volume 284, July 2020, 103287

  38. P. Naumov, J. Tao, An Epistemic Logic of Blameworthiness, Artificial Intelligence, Volume 283, June 2020, 103269

  39. P. Naumov, J. Tao, Duty to Warn in Strategic Games, 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 20), 9-13 May 2020, Auckland, New Zealand

  40. P. Naumov, J. Tao, Blameworthiness in Security Games, 34th AAAI Conference on Artificial Intelligence (AAAI 20), February 7-12, 2020, New York, New York, USA

  41. C. Morrison, P. Naumov, Group Conformity in Social Networks, Journal of Logic, Language and Information, 29(1), 3-19 (2020)



    2019

  42. P. Naumov, J. Tao, Knowing-How under Uncertainty, Artificial Intelligence, v. 276, pp. 41-56, 2019

  43. Z. Christoff, P. Naumov, Diffusion in Social Networks with Recalcitrant Agents, Journal of Logic and Computation, Volume 29, Issue 1, 23 January 2019, Pages 53–70

  44. P. Naumov, J. Tao, Blameworthiness in Strategic Games, 33rd AAAI Conference on Artificial Intelligence (AAAI 19), January 27-February 1, 2019, Honolulu, Hawaii, USA

  45. P. Naumov, J. Tao, Everyone Knows that Someone Knows: Quantifiers over Epistemic Agents, The Review of Symbolic Logic, 12(2), 255-270, 2019


    2018

  46. K. Deuser, P. Naumov, Navigability with Bounded Recall (extended abstract), 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 18), Tempe, Arizona, USA, October 30-November 2, 2018, AAAI Press 2018, pp. 635-636

  47. P. Naumov, K. Ros, Strategic Coalitions in Systems with Catastrophic Failures (extended abstract), 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 18), Tempe, Arizona, USA, October 30-November 2, 2018, AAAI Press 2018, pp. 659-660

  48. K. Deuser, P. Naumov, Navigability with Intermediate Constraints, Journal of Logic and Computation, Volume 28, Issue 7, 23 October 2018, Pages 1647–1670

  49. P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, Artificial Intelligence, Volume 262, September 2018, pp. 279-300

  50. P. Naumov, J. Tao, Second-Order Know-How Strategies, 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 18), Stockholm, Sweden, July 10-15, 2018, pp. 390-398

  51. P. Naumov, J. Tao, Strategic Coalitions with Perfect Recall, 32nd AAAI Conference on Artificial Intelligence (AAAI 18), New Orleans, Louisiana, USA, February 2-7, 2018

  52. K. Deuser, P. Naumov, Armstrong's Axioms and Navigation Strategies, 32nd AAAI Conference on Artificial Intelligence (AAAI 18), New Orleans, Louisiana, USA, February 2-7, 2018

  53. S. Azimipour, P. Naumov, Lighthouse Principle for Diffusion in Social Networks, Journal of Applied Logics - IFCoLog Journal of Logics and their Applications, v 5. No. 1, 2018

    2017

  54. P. Naumov, J. Tao, Information Flow under Budget Constraints, ACM Transactions on Computational Logic, 18(4): 32:1-32:26 (2017)

  55. P. Naumov, J. Tao, Together We Know How to Achieve: An Epistemic Logic of Know-How, 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK 17), Liverpool, United Kingdom, July 24-26, 2017

  56. R. Cao, P. Naumov, Budget-Constrained Dynamics in Multiagent Systems, 26th International Joint Conference on Artificial Intelligence (IJCAI 17), Melbourne, Australia, August 19-25, 2017 

  57. P. Naumov, J. Tao, Coalition Power in Epistemic Transition Systems, Proceedings of the 16th International Conference  on  Autonomous  Agents  and  Multiagent  Systems  (AAMAS  17),  S.  Das,  E.  Durfee,  K.  Larson,  M.  Winikoff (eds.), May 8–12, 2017, São Paulo, Brazil,  pp. 723-731 

  58. P. Naumov, J. Tao, Price of Privacy, Journal of Applied Logic, v. 20, pp. 32-48, 2017 

  59. P. Naumov, J. Tao, Marketing Impact on Diffusion in Social Networks, Journal of Applied Logic, v. 20, pp. 49-74, 2017 

  60. P. Naumov, J. Tao, Knowledge in Communication Networks, Journal of Logic and Computation, 27(4): 1189-1224 (2017)

  61. P. Naumov, J. Tao, A Modal Logic for Reasoning about Economic Policies, Journal of Logic and Computation, (2017) 27 (1): 395-412

    2016

  62. P. Naumov, J. Tao, Information Flow under Budget Constraints, 15th European Conference on Logics in Artificial Intelligence (JELIA 16), Larnaca, Cyprus, November 2016

  63. P. Naumov, J. Tao, Price of Privacy, Proceedings of Twelfth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 16), Maastricht, Netherlands, July 2016

  64. P. Naumov, J. Tao, Marketing Impact on Diffusion in Social Networks, Proceedings of Twelfth Conference on Logic and the Foundations of Game and Decision Theory (LOFT 16), Maastricht, Netherlands, July 2016

  65. K. Harjes, P. Naumov, Functional Dependence in Strategic Games,  Notre Dame Journal of Formal Logic, Volume 57, Number 3 (2016), 341-353 

  66. P. Naumov, M. Protzman, Conditional Interchangeability of Nash Equilibria,  Journal of Logic and Computation, 26(5): 1421-1438 (2016)



    2015

  67. P. Naumov, J. Tao, Budget-Constrained Knowledge in Multiagent Systems, 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 15), Bordini, Elkind, Weiss, Yolum (eds.), May, 4–8, 2015, Istanbul, Turkey, pp. 219-226, International Foundation for Autonomous Agents and Multiagent Systems, 2015.

  68. P. Naumov, J. Tao, Logic of Confidence, Synthese (2015): v. 192, n. 6, pp. 1821-1838.

    2014

  69. P. Naumov, M. Protzman, Equilibria Interchangeability in Cellular Games, Journal of Logic and Computation, 26 (5): 1637-1661, 2014 

  70. Z. Heckle, P. Naumov, Common Knowledge Semantics of Armstrong’s Axioms,  Proceedings of 21st Workshop on Logic, Language,  Information, and Computation, (WoLLIC 14), Ulrich Kohlenbach, Pablo Barceló, and Ruy de Queiroz (Eds.), September 2014, Valparaiso, Chile, pp. 181-194, Springer 2014. 

  71. P. Naumov, M. Protzman, Equilibria Interchangeability in Cellular Games, Proceedings of Eleventh Conference on Logic and the Foundations of Game and Decision Theory (LOFT 14), Bergen, Norway, July 2014 

  72. J. Kane, P. Naumov, The Ryoan-ji Axiom for Common Knowledge on Hypergraphs,   Synthese, Volume 191, Issue 14, pp. 3407-3426, 2014. 

  73. J. Kane, P. Naumov, Symmetry in Information Flow, Annals of Pure and Applied Logic, 165(1), pp. 253-265, 2014 

  74. P. Naumov, I. Simonelli, Strict Equilibria Interchangeability in Multi-Player Zero-Sum Games, Journal of Logic and Computation 24 (4): 851-861, 2014. 

  75. P. Naumov, B. Nicholls,  Rationally Functional Dependence, Journal of Philosophical Logic, Volume 43, Issue 2 (2014), pp. 603-616


    2013

     

  76. K. Harjes, P. Naumov, Cellular Games, Nash Equilibria, and Fibonacci Numbers, Proceedings of 4th International Workshop on Logic, Rationality, and Interaction, Hangzhou, China, October 9-12, 2013, pp. 149-161

  77. J. Kane, P. Naumov, Symmetries and Epistemic Reasoning, Proceedings of 14th International Workshop on Computational Logic in Multi-Agent Systems, Coruña, Spain, September 16-18, 2013, pp. 190-205

  78. P. Naumov, B. Nicholls, On Interchangeability of Nash Equilibria in Multi-Player Strategic Games, Synthese, v. 190, Issue 1 Supplement, pp 57-78, 2013

  79. K. Harjes, P. Naumov, Functional Dependence in Strategic Games, In Fabio Mogavero, Aniello Murano and Moshe Y. Vardi: Proceedings of 1st International Workshop on Strategic Reasoning (SR 13), Rome, Italy, March 16-17, 2013, Electronic Proceedings in Theoretical Computer Science 112, pp. 9-15.

  80. J. Kane, P. Naumov, Epistemic Logic for Communication Chains, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 13), pp. 131-137, Chennai, India, January 2013

  81. P. Naumov, B. Nicholls, R.E. Axiomatization of Conditional Independence, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 13), pp. 148-155, Chennai, India, January 2013

    2012

  82. P. Naumov, Independence in Information Spaces, Studia Logica, v. 100, pp. 953-973, 2012

  83. S. Holbrook, P. Naumov, Fault Tolerance in Belief Formation Networks, 13th European Conference on Logics in Artificial Intelligence (JELIA 12), September 26-28, 2012, Toulouse, France, pp. 267-280, Springer 2012

  84. S. Miner More, P. Naumov, Calculus of Cooperation and Game-Based Reasoning about Protocol Privacy, ACM Transactions on Computational Logic, 13(3):22 (2012)

  85. P. Naumov, I. Simonelli, Strict Equilibria Interchangeability in Multi-Player Zero-Sum Games, 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 12), June 18-20, 2012, University of Sevilla, Spain

  86. P. Naumov, B. Nicholls, Rationally Functional Dependence, 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 12), June 18-20, 2012, University of Sevilla, Spain



    2011

  87. S. Miner More, P. Naumov, Hypergraphs of Multiparty Secrets, Annals of Mathematics and Artificial Intelligence, 62(1-2): 79-101, 2011

  88. S. Miner More, P. Naumov, Logic of Secrets in Collaboration Networks, Annals of Pure and Applied Logic, 162(12):959-969, 2011.

  89. P. Naumov, B. Nicholls, Game Semantics for the Geiger-Paz-Pearl Axioms of Independence, Proceedings of the Third International Workshop on Logic, Rationality and Interaction (LORI III), Guangzhou (Canton), China, October 2011, LNAI 6953, pp. 220-232, Springer 2011

  90. S. Miner More, P. Naumov, B. Sapp, Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence, in 20th Conference on Computer Science Logic (CSL 11), Bergen, Norway, pp. 443-457, September 2011

  91. S. Miner More, P. Naumov, Functional Dependence on Hypergraphs of Multiparty Secrets, in 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII), Barcelona, Spain, July 2011, LNAI 6814, pp. 29-40, Springer 2011

  92. S. Miner More, P. Naumov, B. Nicholls, A. Yang, A Ternary Knowledge Relation on Secrets, in Krzysztof R. Apt (Ed.): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 11), Groningen, The Netherlands, July 2011. ACM 2011, pp. 46-54

  93. M. Donders, S. Miner More, P. Naumov, Information Flow on Directed Acyclic Graphs (full version), in Lev D. Beklemishev, Ruy de Queiroz (Eds.): Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 2011. Proceedings. LNCS 6642 Springer 2011, pp. 95-109

    2010

  94. R. Kelvey, S. Miner More, P. Naumov, and B. Sapp, Independence and Functional Dependence Relations on Secrets, 12th International Conference on the Principles of Knowledge Representation and Reasoning, (KR 10), Toronto, Canada, May 2010, pp. 528-533 

  95. S. Miner More, P. Naumov, Hypergraphs of Multiparty Secrets, 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI (Lisbon, Portugal), LNAI 6245, pp. 15-32. Springer, 2010. 

  96. S. Miner More, P. Naumov, An Independence Relation for Sets of Secrets, Studia Logica, v.94(1):73-85, 2010 



    2009

  97. S. Miner More, P. Naumov, On Interdependence of Secrets in Collaboration Networks, 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 09), July 2009, Stanford University, pp. 208-217 

  98. S. Miner More, P. Naumov, An Independence Relation for Sets of Secrets, 16th Workshop on Logic, Language, Information and Computation (WoLLIC 09), Tokyo, Japan, June 2009, pp. 296-304 



    2008

  99. Pavel Naumov, On Meta Complexity of Propositional Formulas and Propositional Proofs, Archive for Mathematical Logic, pp. 35-52, v. 47, n. 1, 2008 



    2006

  100. Pavel Naumov, Upper Bounds on Complexity of Frege Proofs with Limited Use of Certain Schemata, Archive for Mathematical Logic, pp. 432-446, v. 45, 2006 

  101. Pavel Naumov, On Modal Logic of Deductive Closure, Annals of Pure and Applied Logic, pp. 218-224, v. 141, n.1-2, 2006

  102. Pavel Naumov, Logic of Subtyping, Theoretical Computer Science, pp. 167-185, v. 357, n.1-3, 2006 



    2005

  103. Pavel Naumov, On Modal Logics of Partial Recursive Functions, Studia Logica, pp. 295-309, v. 81, 2005 



    2001

  104. P. Naumov, M.-O. Stehr, and J. Meseguer, The HOL/NuPRL Proof Translator: A Practical Approach to Formal Interoperatability, The 14th International Conference on Theorem Proving in Higher Order Logics, Edinburgh, Scotland, September 2001, pp. 329-345, Springer, Lecture Notes in Computer Science 

  105. M.-O. Stehr, P. Naumov, and J. Meseguer, A Proof-Theoretic Approach to HOL-Nuprl Connection with Applications to Proof Translation, 15th International Workshop on Algebraic Development Techniques/General Workshop of the Common Framework Initiative, Genova, Italy, April 2001, pp. 329-345



    2000

  106. R. Constable, P. Jackson, P. Naumov, and J. Uribe, Constructively Formalizing Automata Theory, in Proof, Language, and Interaction: Essays in Honour of Robin Milner, MIT Press, 2000 



    1993

  107. Pavel Naumov, Undecidability of Second Order Provability Logic with Witness Comparison, Moscow University Mathematics Bulletin, v. 48, 1993, n. 3, pp. 13-15. Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika, v. 48, n. 3, 1993, pp. 14-17 (Russian) 

  108. Pavel Naumov, Undecidability of Goedel-Loeb Logic with Quantifiers over Propositional Variables, Moscow University Mathematics Bulletin, v. 48, 1993, n. 2, pp. 11-13. Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika, v. 48, n. 2, 1993, pp. 13-16 (Russian) 



    1991

  109. Pavel Naumov, Modal logics that are conservative over intuitionistic predicate calculus, Moscow University Mathematics Bulletin, v. 46, n. 6, 1991, pp. 58-61. Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika, v. 46, n. 6, 1991, pp. 86-90 (Russian)