sanaz.png

Sanaz Azimipour 

S. Azimipour, P. Naumov, Lighthouse Principle for Diffusion in Social Networks, Journal of Applied Logic (to appear) 

Rui Cao

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

kaya.png

Kaya Deuser

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

Michael Donders

M. Donders, S. Miner More, P. Naumov, Information Flow on Directed Acyclic Graphs, 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

Kristine Harjes

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

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

K. Harjes, P. Naumov, Functional Dependence in Strategic Games, Proceedings of the First Workshop on Strategic Reasoning (SR `13), Rome, Italy, March 2013

IMG_0282.png

Zachary Heckle

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

Sarah Holbrook

Sarah Holbrook

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

Jeffrey Kane

Jeffrey Kane

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

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

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

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

Robert Kelvey

Robert Kelvey

R. Kelvey, S. Miner More, Pavel 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 

current position: visiting faculty at The College of  Wooster

Brittany Nicholls

Brittany Nicholls

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

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

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

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

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

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-2011), Groningen, The Netherlands, July 2011. ACM 2011, pp. 46-54

Margaret Protzman

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

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

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

Benjamin Sapp

Benjamin Sapp

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 2011), Bergen, Norway, pp. 443-457, September 2011

R. Kelvey, S. Miner More, Pavel 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 

Andrew Yang

Andrew Yang

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-2011), Groningen, The Netherlands, July 2011. ACM 2011, pp. 46-54