The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pavel Naumov" ( http://dblp.L3S.de/Authors/Pavel_Naumov )

  Author page on DBLP  Author page in RDF  Community of Pavel Naumov in ASPL-2

Publication years (Num. hits)
2000-2011 (21) 2012-2014 (18) 2015-2017 (23) 2018-2019 (19)
Publication types (Num. hits)
article(52) inproceedings(29)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 82 publication records. Showing 81 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pavel Naumov, Jia Tao Knowing-how under uncertainty. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rui Cao, Pavel Naumov The Limits of Morality in Strategic Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Blameworthiness in Security Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pavel Naumov, Rui-Jie Yew Ethical Dilemmas of Strategic Coalitions. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pavel Naumov, Yuan Yuan Intelligence in Strategic Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pavel Naumov, Kevin Ros Strategic Coalitions in Stochastic Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Everyone Knows that someone Knows: Quantifiers over Epistemic Agents. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zoé Christoff, Pavel Naumov Diffusion in social networks with recalcitrant agents. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Blameworthiness in Strategic Games. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sanaz Azimipour, Pavel Naumov Lighthouse Principle for Diffusion in Social Networks. Search on Bibsonomy FLAP The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Together we know how to achieve: An epistemic logic of know-how. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Blameworthiness in Games with Imperfect Information. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Blameworthiness in Strategic Games. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Navigability with intermediate constraints. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Strategic Coalitions With Perfect Recall. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Armstrong's Axioms and Navigation Strategies. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavel Naumov, Kevin Ros Strategic Coalitions in Systems with Catastrophic Failures. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Navigability with Bounded Recall. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Second-Order Know-How Strategies. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Information Flow under Budget Constraints. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Armstrong's Axioms and Navigation Strategies. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Attainable Knowledge. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Together We Know How to Achieve: An Epistemic Logic of Know-How. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Strategic Coalitions with Perfect Recall. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kaya Deuser, Pavel Naumov Navigability with Imperfect Information. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Marketing impact on diffusion in social networks. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Price of privacy. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Knowledge in communication networks. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao A modal logic for reasoning about economic policies. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rui Cao, Pavel Naumov Budget-Constrained Dynamics in Multiagent Systems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Coalition Power in Epistemic Transition Systems. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Kristine Harjes, Pavel Naumov Functional Dependence in Strategic Games. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sanaz Azimipour, Pavel Naumov Lighthouse Principle for Diffusion in Social Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Marketing Impact on Diffusion in Social Networks. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pavel Naumov, Margaret Protzman Equilibria interchangeability in cellular games. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Margaret Protzman Conditional interchangeability of Nash equilibria. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Information Flow Under Budget Constraints. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Logic of confidence. Search on Bibsonomy Synthese The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Jia Tao Knowledge in Communication Networks. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao The Budget-Constrained Functional Dependency. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pavel Naumov, Jia Tao Budget-Constrained Knowledge in Multiagent Systems. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Jeffrey Kane, Pavel Naumov The Ryōan-ji axiom for common knowledge on hypergraphs. Search on Bibsonomy Synthese The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Brittany Nicholls Rationally Functional Dependence. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Margaret Protzman Equilibria Interchangeability in Cellular Games. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jeffrey Kane, Pavel Naumov Symmetry in information flow. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Italo Simonelli Strict equilibria interchangeability in multi-player zero-sum games. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zachary Heckle, Pavel Naumov Common Knowledge Semantics of Armstrong's Axioms. Search on Bibsonomy WoLLIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Brittany Nicholls On interchangeability of Nash equilibria in multi-player strategic games. Search on Bibsonomy Synthese The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kristine Harjes, Pavel Naumov Functional Dependence in Strategic Games (extended abstract) Search on Bibsonomy SR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeffrey Kane, Pavel Naumov Epistemic Logic for Communication Chains. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Kristine Harjes, Pavel Naumov Functional Dependence in Strategic Games Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pavel Naumov, Brittany Nicholls R.E. Axiomatization of Conditional Independence. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Kristine Harjes, Pavel Naumov Cellular Games, Nash Equilibria, and Fibonacci Numbers. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeffrey Kane, Pavel Naumov Epistemic Logic for Communication Chains. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Pavel Naumov, Brittany Nicholls R.E. Axiomatization of Conditional Independence. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Jeffrey Kane, Pavel Naumov Symmetries and Epistemic Reasoning. Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov Calculus of cooperation and game-based reasoning about protocol privacy. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pavel Naumov Independence in Information Spaces. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sarah Holbrook, Pavel Naumov Fault Tolerance in Belief Formation Networks. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov Hypergraphs of multiparty secrets. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov Logic of secrets in collaboration networks. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pavel Naumov, Brittany Nicholls Game Semantics for the Geiger-Paz-Pearl Axioms of Independence. Search on Bibsonomy LORI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael S. Donders, Sara Miner More, Pavel Naumov Information Flow on Directed Acyclic Graphs. Search on Bibsonomy WoLLIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang A ternary knowledge relation on secrets. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov The Functional Dependence Relation on Hypergraphs of Secrets. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov, Benjamin Sapp Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. Search on Bibsonomy CSL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov An Independence Relation for Sets of Secrets. Search on Bibsonomy Studia Logica The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov Functional Dependence of Secrets in a Collaboration Network Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp Independence and Functional Dependence Relations on Secrets. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Sara Miner More, Pavel Naumov Hypergraphs of Multiparty Secrets. Search on Bibsonomy CLIMA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov An Independence Relation for Sets of Secrets. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sara Miner More, Pavel Naumov On interdependence of secrets in collaboration networks. Search on Bibsonomy TARK The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pavel Naumov On meta complexity of propositional formulas and propositional proofs. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03F20
1Pavel Naumov Logic of subtyping. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pavel Naumov On modal logic of deductive closure. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pavel Naumov Upper bounds on complexity of Frege proofs with limited use of certain schemata. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pavel Naumov On Modal Logics of Partial Recursive Functions. Search on Bibsonomy Studia Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF modal logic, recursive function, Curry-Howard isomorphism
1Pavel Naumov On Modal Logics of Partial Recursive Functions Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Pavel Naumov, Mark-Oliver Stehr, José Meseguer The HOL/NuPRL Proof Translator (A Practical Approach to Formal Interoperability). Search on Bibsonomy TPHOLs The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert L. Constable, Paul B. Jackson, Pavel Naumov, Juan C. Uribe Constructively formalizing automata theory. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
Displaying result #1 - #81 of 81 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license