534 citations
- Cornell UniversityUS15 papers
- University of British ColumbiaCA12 papers
- West Virginia UniversityUS12 papers
- National Radio Astronomy ObservatoryUS11 papers
- California Institute of TechnologyUS10 papers
- University of Wisconsin–MilwaukeeUS10 papers
- Columbia UniversityUS9 papers
- Goddard Space Flight CenterUS9 papers
- Center for Astrophysics Harvard & SmithsonianUS8 papers
- Jet Propulsion LaboratoryUS8 papers
- Swinburne University of TechnologyAU8 papers
- University of ManchesterGB8 papers
Showing 2017 · cs.AIShow all
2 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…