Yì N. Wáng

36 papers A* 2B 4Journal 14Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Epistemic Skills: Reasoning about Knowledge and Oblivion.
CoRR
Xiaolong Liang, Yì N. Wáng
2025 — conf
The Modal Logic of n-State Frames.
LORI
Xiaolong Liang, Yì N. Wáng, Thomas Ågotnes
2025 B conf
Weighted Epistemic Logic - Skill Assessment and Rough Set Applications.
PRICAI
Xiaolong Liang, Yì N. Wáng
2024 — conf
Characterization of Similarity Metrics in Epistemic Logic.
PRICAI (1)
Xiaolong Liang, Yì N. Wáng
2024 — conf
Epistemic Skills: Logical Dynamics of Knowing and Forgetting.
GandALF
Xiaolong Liang, Yì N. Wáng
2024 J jnl
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic.
CoRR
Xiaolong Liang, Yì N. Wáng
2023 J jnl
Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge.
CoRR
Xiaolong Liang, Yì N. Wáng
2023 J jnl
Preface: Special Issue on Logic and Argumentation.
J. Log. Comput.
Pietro Baroni, Christoph Benzmüller, Yì N. Wáng
2022 — conf
Epistemic Logic via Distance and Similarity.
PRICAI (1)
Xiaolong Liang, Yì N. Wáng
2022 J jnl
Who Should Be My Friends? Social Balance from the Perspective of Game Theory.
J. Log. Lang. Inf.
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
2021 J jnl
A logic of knowledge based on abstract arguments.
J. Log. Comput.
Yì N. Wáng, Xu Li
2021 J jnl
Group belief.
J. Log. Comput.
Thomas Ågotnes, Yì N. Wáng
2021 — ed.
Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings
CLAR
Pietro Baroni, Christoph Benzmüller, Yì N. Wáng
2021 J jnl
Preface of the special issue'Logic, argumentation and AI' in JLC.
J. Log. Comput.
Huimin Dong, Jun Pang, Yì N. Wáng
2021 A* conf
Somebody Knows.
KR
Thomas Ågotnes, Yì N. Wáng
2021 — conf
Weighted Modal Logic in Epistemic and Deontic Contexts.
LORI
Huimin Dong, Xu Li, Yì N. Wáng
2020 — conf
A Logic of Knowledge and Belief Based on Abstract Arguments.
CLAR
Xu Li, Yì N. Wáng
2020 — conf
Group Belief.
CLAR
Thomas Ågotnes, Yì N. Wáng
2020 A* conf
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory.
IJCAI
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
2020 — conf
Simpler Completeness Proofs for Modal Logics with Intersection.
DaLí
Yì N. Wáng, Thomas Ågotnes
2020 J jnl
Simpler completeness proofs for modal logics with intersection.
CoRR
Yì N. Wáng, Thomas Ågotnes
2019 — ed.
Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018.
CLAR
Beishui Liao, Thomas Ågotnes, Yì N. Wáng
2019 B conf
Subset Spaces for Conditional Norms.
PRIMA
Huimin Dong, R. Ramanujam, Yì N. Wáng
2019 — conf
Who Should Be My Friends? - Social Balance from the Perspective of Game Theory.
LORI
Wiebe van der Hoek, Louwe B. Kuijer, Yì N. Wáng
2018 J jnl
Implicit, explicit and speculative knowledge.
Artif. Intell.
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
2018 J jnl
Logic and argumentation.
J. Appl. Non Class. Logics
Thomas Ågotnes, Beishui Liao, Yì N. Wáng
2017 — ed.
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016.
CLAR
Thomas Ågotnes, Beishui Liao, Yì N. Wáng
2017 J jnl
Resolving distributed knowledge.
Artif. Intell.
Thomas Ågotnes, Yì N. Wáng
2015 J jnl
Relativized common knowledge for dynamic epistemic logic.
J. Appl. Log.
Yì N. Wáng, Thomas Ågotnes
2015 B conf
Resolving Distributed Knowledge.
TARK
Thomas Ågotnes, Yì N. Wáng
2013 B conf
Knowledge, awareness, and bisimulation.
TARK
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng
2013 — conf
Preference Logic of Focus Change: A Semantic Approach.
AT
Yì N. Wáng, Thomas Ågotnes
2013 — conf
Public Announcements, Private Actions and Common Knowledge in S5 Structures.
LORI
Yì N. Wáng, Thomas Ågotnes
2013 J jnl
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.
Synth.
Yì N. Wáng, Thomas Ågotnes
2013 — conf
Subset Space Public Announcement Logic.
ICLA
Yì N. Wáng, Thomas Ågotnes
2011 — conf
Public Announcement Logic with Distributed Knowledge.
LORI
Yì N. Wáng, Thomas Ågotnes