1.8k citations
- Massachusetts Institute of TechnologyUS53 papers
- California Institute of TechnologyUS44 papers
- Center for Astrophysics Harvard & SmithsonianUS41 papers
- Space Telescope Science InstituteUS32 papers
- Centre National de la Recherche ScientifiqueFR30 papers
- University of AmsterdamNL25 papers
- Goddard Space Flight CenterUS24 papers
- University of CambridgeGB21 papers
- Instituto de Astrofísica de CanariasES19 papers
- Space Research Organisation NetherlandsNL19 papers
- University of ArizonaUS18 papers
- Columbia UniversityUS16 papers
Showing 2017 · cs.AIShow all
3 papers · 2 filters
cs.AI2017★ 8 cited
Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract)
Pavel Naumov, Jia Tao
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean…
cs.AI2017★ 16 cited
Strategic Coalitions with Perfect Recall
Pavel Naumov, Jia Tao
The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one propose…
cs.AI2017★ 2 cited
Armstrong's Axioms and Navigation Strategies
Kaya Deuser, Pavel Naumov
The paper investigates navigability with imperfect information. It shows that the properties of navigability with perfect recall are exactly those captured by Armstrong's axioms fr…