Yì N. Wáng

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 20

Top Topics

Epistemic Logic

Top Venues

J. Log. Comput.

Publications

Xiaolong Liang, Yì N. Wáng
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic. CoRR (2024)
Pietro Baroni, Christoph Benzmüller, Yì N. Wáng
Preface: Special Issue on Logic and Argumentation. J. Log. Comput. 33 (2) (2023)
Xiaolong Liang, Yì N. Wáng
Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge. CoRR (2023)
Xiaolong Liang, Yì N. Wáng
Epistemic Logic via Distance and Similarity. PRICAI (1) (2022)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Who Should Be My Friends? Social Balance from the Perspective of Game Theory. J. Log. Lang. Inf. 31 (2) (2022)
Yì N. Wáng, Xu Li
A logic of knowledge based on abstract arguments. J. Log. Comput. 31 (8) (2021)
Thomas Ågotnes, Yì N. Wáng
Somebody Knows. KR (2021)
Thomas Ågotnes, Yì N. Wáng
Group belief. J. Log. Comput. 31 (8) (2021)
Huimin Dong, Jun Pang, Yì N. Wáng
Preface of the special issue'Logic, argumentation and AI' in JLC. J. Log. Comput. 31 (8) (2021)
Huimin Dong, Xu Li, Yì N. Wáng
Weighted Modal Logic in Epistemic and Deontic Contexts. LORI (2021)
Xu Li, Yì N. Wáng
A Logic of Knowledge and Belief Based on Abstract Arguments. CLAR (2020)
Yì N. Wáng, Thomas Ågotnes
Simpler completeness proofs for modal logics with intersection. CoRR (2020)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory. IJCAI (2020)
Yì N. Wáng, Thomas Ågotnes
Simpler Completeness Proofs for Modal Logics with Intersection. DaLí (2020)
Thomas Ågotnes, Yì N. Wáng
Group Belief. CLAR (2020)
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory. LORI (2019)
Huimin Dong, R. Ramanujam, Yì N. Wáng
Subset Spaces for Conditional Norms. PRIMA (2019)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Implicit, explicit and speculative knowledge. Artif. Intell. 256 (2018)
Thomas Ågotnes, Beishui Liao, Yì N. Wáng
Logic and argumentation. J. Appl. Non Class. Logics 28 (2-3) (2018)
Thomas Ågotnes, Yì N. Wáng
Resolving distributed knowledge. Artif. Intell. 252 (2017)
Thomas Ågotnes, Yì N. Wáng
Resolving Distributed Knowledge. TARK (2015)
Yì N. Wáng, Thomas Ågotnes
Relativized common knowledge for dynamic epistemic logic. J. Appl. Log. 13 (3) (2015)
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
Knowledge, awareness, and bisimulation. TARK (2013)
Yì N. Wáng, Thomas Ågotnes
Public Announcements, Private Actions and Common Knowledge in S5 Structures. LORI (2013)
Yì N. Wáng, Thomas Ågotnes
Preference Logic of Focus Change: A Semantic Approach. AT (2013)
Yì N. Wáng, Thomas Ågotnes
Subset Space Public Announcement Logic. ICLA (2013)
Yì N. Wáng, Thomas Ågotnes
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synth. 190 (Supplement-1) (2013)
Yì N. Wáng, Thomas Ågotnes
Public Announcement Logic with Distributed Knowledge. LORI (2011)