Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yì N. Wáng
@article{DBLP:journals/logcom/BaroniBW23,
author = {Pietro Baroni and
Christoph Benzm{\"{u}}ller and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Preface: Special Issue on Logic and Argumentation},
journal = {J. Log. Comput.},
volume = {33},
number = {2},
pages = {189--191},
year = {2023},
url = {https://doi.org/10.1093/logcom/exac091},
doi = {10.1093/LOGCOM/EXAC091},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BaroniBW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-00264,
author = {Xiaolong Liang and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual
Knowledge},
journal = {CoRR},
volume = {abs/2310.00264},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.00264},
doi = {10.48550/ARXIV.2310.00264},
eprinttype = {arXiv},
eprint = {2310.00264},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/HoekKW22,
author = {Wiebe van der Hoek and
Louwe B. Kuijer and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Who Should Be My Friends? Social Balance from the Perspective of Game
Theory},
journal = {J. Log. Lang. Inf.},
volume = {31},
number = {2},
pages = {189--211},
year = {2022},
url = {https://doi.org/10.1007/s10849-022-09356-z},
doi = {10.1007/S10849-022-09356-Z},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/HoekKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/LiangW22,
author = {Xiaolong Liang and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Sankalp Khanna and
Jian Cao and
Quan Bai and
Guandong Xu},
title = {Epistemic Logic via Distance and Similarity},
booktitle = {{PRICAI} 2022: Trends in Artificial Intelligence - 19th Pacific Rim
International Conference on Artificial Intelligence, {PRICAI} 2022,
Shanghai, China, November 10-13, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13629},
pages = {32--45},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20862-1\_3},
doi = {10.1007/978-3-031-20862-1\_3},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/LiangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/DongPW21,
author = {Huimin Dong and
Jun Pang and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Preface of the special issue'Logic, argumentation and AI' in {JLC}},
journal = {J. Log. Comput.},
volume = {31},
number = {8},
pages = {1901--1902},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab047},
doi = {10.1093/LOGCOM/EXAB047},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/DongPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AgotnesW21,
author = {Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Group belief},
journal = {J. Log. Comput.},
volume = {31},
number = {8},
pages = {1959--1978},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa068},
doi = {10.1093/LOGCOM/EXAA068},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/AgotnesW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/WangL21,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Xu Li},
title = {A logic of knowledge based on abstract arguments},
journal = {J. Log. Comput.},
volume = {31},
number = {8},
pages = {2004--2027},
year = {2021},
url = {https://doi.org/10.1093/logcom/exab002},
doi = {10.1093/LOGCOM/EXAB002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/WangL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AgotnesW21,
author = {Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Somebody Knows},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {2--11},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/1},
doi = {10.24963/KR.2021/1},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/AgotnesW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DongLW21,
author = {Huimin Dong and
Xu Li and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Weighted Modal Logic in Epistemic and Deontic Contexts},
booktitle = {Logic, Rationality, and Interaction - 8th International Workshop,
{LORI} 2021, Xi'ian, China, October 16-18, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13039},
pages = {73--87},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_6},
doi = {10.1007/978-3-030-88708-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/DongLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clar/2021,
editor = {Pietro Baroni and
Christoph Benzm{\"{u}}ller and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Logic and Argumentation - 4th International Conference, {CLAR} 2021,
Hangzhou, China, October 20-22, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13040},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89391-0},
doi = {10.1007/978-3-030-89391-0},
isbn = {978-3-030-89390-3},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/AgotnesW20,
author = {Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Mehdi Dastani and
Huimin Dong and
Leon van der Torre},
title = {Group Belief},
booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020,
Hangzhou, China, April 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12061},
pages = {3--21},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44638-3\_1},
doi = {10.1007/978-3-030-44638-3\_1},
timestamp = {Mon, 30 Mar 2020 18:10:20 +0200},
biburl = {https://dblp.org/rec/conf/clar/AgotnesW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clar/LiW20,
author = {Xu Li and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Mehdi Dastani and
Huimin Dong and
Leon van der Torre},
title = {A Logic of Knowledge and Belief Based on Abstract Arguments},
booktitle = {Logic and Argumentation - Third International Conference, {CLAR} 2020,
Hangzhou, China, April 6-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12061},
pages = {116--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44638-3\_8},
doi = {10.1007/978-3-030-44638-3\_8},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/LiW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/WangA20,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Manuel A. Martins and
Igor Sedl{\'{a}}r},
title = {Simpler Completeness Proofs for Modal Logics with Intersection},
booktitle = {Dynamic Logic. New Trends and Applications - Third International Workshop,
DaL{\'{\i}} 2020, Prague, Czech Republic, October 9-10, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12569},
pages = {259--276},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65840-3\_16},
doi = {10.1007/978-3-030-65840-3\_16},
timestamp = {Wed, 21 Apr 2021 08:53:38 +0200},
biburl = {https://dblp.org/rec/conf/dali/WangA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HoekKW20,
author = {Wiebe van der Hoek and
Louwe B. Kuijer and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Christian Bessiere},
title = {Logics of Allies and Enemies: {A} Formal Approach to the Dynamics
of Social Balance Theory},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {210--216},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/30},
doi = {10.24963/IJCAI.2020/30},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HoekKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-02120,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
title = {Simpler completeness proofs for modal logics with intersection},
journal = {CoRR},
volume = {abs/2004.02120},
year = {2020},
url = {https://arxiv.org/abs/2004.02120},
eprinttype = {arXiv},
eprint = {2004.02120},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-02120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/HoekKW19,
author = {Wiebe van der Hoek and
Louwe B. Kuijer and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Patrick Blackburn and
Emiliano Lorini and
Meiyun Guo},
title = {Who Should Be My Friends? - Social Balance from the Perspective of
Game Theory},
booktitle = {Logic, Rationality, and Interaction - 7th International Workshop,
{LORI} 2019, Chongqing, China, October 18-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11813},
pages = {370--384},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60292-8\_27},
doi = {10.1007/978-3-662-60292-8\_27},
timestamp = {Fri, 09 Apr 2021 18:47:52 +0200},
biburl = {https://dblp.org/rec/conf/lori/HoekKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/DongRW19,
author = {Huimin Dong and
R. Ramanujam and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {Subset Spaces for Conditional Norms},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {289--304},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_18},
doi = {10.1007/978-3-030-33792-6\_18},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/DongRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clar/2018,
editor = {Beishui Liao and
Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Dynamics, Uncertainty and Reasoning, The Second Chinese Conference
on Logic and Argumentation, {CLAR} 2018, Hangzhou, China, 16-17 June
2018},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-981-13-7791-4},
doi = {10.1007/978-981-13-7791-4},
isbn = {978-981-13-7790-7},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clar/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DitmarschFVW18,
author = {Hans van Ditmarsch and
Tim French and
Fernando R. Vel{\'{a}}zquez{-}Quesada and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Implicit, explicit and speculative knowledge},
journal = {Artif. Intell.},
volume = {256},
pages = {35--67},
year = {2018},
url = {https://doi.org/10.1016/j.artint.2017.11.004},
doi = {10.1016/J.ARTINT.2017.11.004},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DitmarschFVW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/AgotnesLW18,
author = {Thomas {\AA}gotnes and
Beishui Liao and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Logic and argumentation},
journal = {J. Appl. Non Class. Logics},
volume = {28},
number = {2-3},
pages = {163--164},
year = {2018},
url = {https://doi.org/10.1080/11663081.2018.1487243},
doi = {10.1080/11663081.2018.1487243},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/AgotnesLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AgotnesW17,
author = {Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Resolving distributed knowledge},
journal = {Artif. Intell.},
volume = {252},
pages = {1--21},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.07.002},
doi = {10.1016/J.ARTINT.2017.07.002},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AgotnesW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clar/2016,
editor = {Thomas {\AA}gotnes and
Beishui Liao and
Y{\`{\i}} N. W{\'{a}}ng},
title = {Proceedings of the 1st Chinese Conference on Logic and Argumentation
{(CLAR} 2016), Hangzhou, China, April 2-3, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1811},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1811},
urn = {urn:nbn:de:0074-1811-C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/clar/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/WangA15,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
title = {Relativized common knowledge for dynamic epistemic logic},
journal = {J. Appl. Log.},
volume = {13},
number = {3},
pages = {370--393},
year = {2015},
url = {https://doi.org/10.1016/j.jal.2015.06.004},
doi = {10.1016/J.JAL.2015.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/WangA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AgotnesW16,
author = {Thomas {\AA}gotnes and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {R. Ramanujam},
title = {Resolving Distributed Knowledge},
booktitle = {Proceedings Fifteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2015, Carnegie Mellon University, Pittsburgh,
USA, June 4-6, 2015},
series = {{EPTCS}},
volume = {215},
pages = {31--50},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.215.4},
doi = {10.4204/EPTCS.215.4},
timestamp = {Fri, 03 Sep 2021 15:00:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/AgotnesW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/WangA13,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
title = {Public announcement logic with distributed knowledge: expressivity,
completeness and complexity},
journal = {Synth.},
volume = {190},
number = {Supplement-1},
pages = {135--162},
year = {2013},
url = {https://doi.org/10.1007/s11229-012-0243-3},
doi = {10.1007/S11229-012-0243-3},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/at/WangA13,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Carlos Iv{\'{a}}n Ches{\~{n}}evar and
Eva Onaindia and
Sascha Ossowski and
George A. Vouros},
title = {Preference Logic of Focus Change: {A} Semantic Approach},
booktitle = {Agreement Technologies - Second International Conference, {AT} 2013,
Beijing, China, August 1-2, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8068},
pages = {225--239},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39860-5\_17},
doi = {10.1007/978-3-642-39860-5\_17},
timestamp = {Sun, 12 Nov 2023 02:16:33 +0100},
biburl = {https://dblp.org/rec/conf/at/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/WangA13,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Kamal Lodaya},
title = {Subset Space Public Announcement Logic},
booktitle = {Logic and Its Applications, 5th Indian Conference, {ICLA} 2013, Chennai,
India, January 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7750},
pages = {245--257},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36039-8\_22},
doi = {10.1007/978-3-642-36039-8\_22},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangA13a,
author = {Yi Nicholas Wang and
Thomas {\AA}gotnes},
editor = {Francesca Rossi},
title = {Multi-Agent Subset Space Logic},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1155--1161},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6549},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/WangA13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WangA13,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Public Announcements, Private Actions and Common Knowledge in {S5}
Structures},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {267--281},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_21},
doi = {10.1007/978-3-642-40948-6\_21},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/DitmarschFVW13,
author = {Hans van Ditmarsch and
Tim French and
Fernando R. Vel{\'{a}}zquez{-}Quesada and
Y{\`{\i}} N. W{\'{a}}ng},
editor = {Burkhard C. Schipper},
title = {Knowledge, awareness, and bisimulation},
booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality
and Knowledge {(TARK} 2013), Chennai, India, January 7-9, 2013},
year = {2013},
url = {http://www.tark.org/proceedings/tark\_jan7\_13/p61-van-ditmarsch.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tark/DitmarschFVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DitmarschFVW13,
author = {Hans van Ditmarsch and
Tim French and
Fernando R. Vel{\'{a}}zquez{-}Quesada and
Yi Nicholas Wang},
title = {Knowledge, Awareness, and Bisimulation},
journal = {CoRR},
volume = {abs/1310.6410},
year = {2013},
url = {http://arxiv.org/abs/1310.6410},
eprinttype = {arXiv},
eprint = {1310.6410},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DitmarschFVW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WangA11,
author = {Y{\`{\i}} N. W{\'{a}}ng and
Thomas {\AA}gotnes},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {Public Announcement Logic with Distributed Knowledge},
booktitle = {Logic, Rationality, and Interaction - Third International Workshop,
{LORI} 2011, Guangzhou, China, October 10-13, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6953},
pages = {328--341},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_24},
doi = {10.1007/978-3-642-24130-7\_24},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/WangA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang09,
author = {Yi Nicholas Wang},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Two-Dimensional Hybrid Logic of Subset Spaces},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {196--209},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_14},
doi = {10.1007/978-3-540-92701-3\_14},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2023-10-19 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
