Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Yì N. Wáng

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Thomas Ågotnes

> Home > Persons > Yì N. Wáng

Publications

2021
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AgotnesW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AgotnesW21
Thomas Ågotnes, Yì N. Wáng:
Group belief. J. Log. Comput. 31(8): 1959-1978 (2021)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/AgotnesW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AgotnesW21
Thomas Ågotnes, Yì N. Wáng:
Somebody Knows. KR 2021: 2-11
2020
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/clar/AgotnesW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/AgotnesW20
Thomas Ågotnes, Yì N. Wáng:
Group Belief. CLAR 2020: 3-21
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dali/WangA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dali/WangA20
Yì N. Wáng, Thomas Ågotnes:
Simpler Completeness Proofs for Modal Logics with Intersection. DaLí 2020: 259-276
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-02120
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-02120
Yì N. Wáng, Thomas Ågotnes:
Simpler completeness proofs for modal logics with intersection. CoRR abs/2004.02120 (2020)
2019
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/clar/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/2018
Beishui Liao, Thomas Ågotnes, Yì N. Wáng:
Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018. Springer 2019, ISBN 978-981-13-7790-7 [contents]
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/AgotnesLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/AgotnesLW18
Thomas Ågotnes, Beishui Liao, Yì N. Wáng:
Logic and argumentation. J. Appl. Non Class. Logics 28(2-3): 163-164 (2018)
2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AgotnesW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AgotnesW17
Thomas Ågotnes, Yì N. Wáng:
Resolving distributed knowledge. Artif. Intell. 252: 1-21 (2017)
[e1]
- view
- export record
  dblp key:
  - conf/clar/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clar/2016
Thomas Ågotnes, Beishui Liao, Yì N. Wáng:
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. CEUR Workshop Proceedings 1811, CEUR-WS.org 2017 [contents]
2015
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/WangA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/WangA15
Yì N. Wáng, Thomas Ågotnes:
Relativized common knowledge for dynamic epistemic logic. J. Appl. Log. 13(3): 370-393 (2015)
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AgotnesW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AgotnesW16
Thomas Ågotnes, Yì N. Wáng:
Resolving Distributed Knowledge. TARK 2015: 31-50
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/WangA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/WangA13
Yì N. Wáng, Thomas Ågotnes:
Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synth. 190(Supplement-1): 135-162 (2013)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/at/WangA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/at/WangA13
Yì N. Wáng, Thomas Ågotnes:
Preference Logic of Focus Change: A Semantic Approach. AT 2013: 225-239
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/WangA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/WangA13
Yì N. Wáng, Thomas Ågotnes:
Subset Space Public Announcement Logic. ICLA 2013: 245-257
[c5]
- view
- export record
  dblp key:
  - conf/ijcai/WangA13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/WangA13a
Yi Nicholas Wang, Thomas Ågotnes:
Multi-Agent Subset Space Logic. IJCAI 2013: 1155-1161
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/WangA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/WangA13
Yì N. Wáng, Thomas Ågotnes:
Public Announcements, Private Actions and Common Knowledge in S5 Structures. LORI 2013: 267-281
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/WangA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/WangA11
Yì N. Wáng, Thomas Ågotnes:
Public Announcement Logic with Distributed Knowledge. LORI 2011: 328-341

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.