@article{DBLP:journals/ai/LiW24,
author = {Yanjun Li and
Yanjing Wang},
title = {Knowing how to plan about planning: Higher-order and meta-level epistemic
planning},
journal = {Artif. Intell.},
volume = {337},
pages = {104233},
year = {2024},
url = {https://doi.org/10.1016/j.artint.2024.104233},
doi = {10.1016/J.ARTINT.2024.104233},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/0001Y24,
author = {Yanjing Wang and
Junhua Yu},
editor = {Agata Ciabattoni and
David Gabelaia and
Igor Sedl{\'{a}}r},
title = {Point-Set Neighborhood Logic},
booktitle = {Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August
19-23, 2024},
pages = {697--718},
publisher = {College Publications},
year = {2024},
timestamp = {Mon, 21 Oct 2024 15:09:24 +0200},
biburl = {https://dblp.org/rec/conf/aiml/0001Y24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LiuPRW23,
author = {Mo Liu and
Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
title = {Are bundles good deals for first-order modal logic?},
journal = {Inf. Comput.},
volume = {293},
pages = {105062},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105062},
doi = {10.1016/J.IC.2023.105062},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/LiuPRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/WangW23,
author = {Zilu Wang and
Yanjing Wang},
editor = {Juliano Maranh{\~{a}}o and
Clayton Peterson and
Christian Stra{\ss}er and
Leendert van der Torre},
title = {Strong Permission Bundled: First Steps},
booktitle = {Deontic Logic and Normative Systems - 16th International Conference,
{DEON} 2023, Trois-Rivi{\`{e}}res, QC, Canada, July 5-7, 2023},
pages = {217--234},
publisher = {College Publications},
year = {2023},
timestamp = {Mon, 28 Aug 2023 14:54:51 +0200},
biburl = {https://dblp.org/rec/conf/deon/WangW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-05043,
author = {Yipu Li and
Yanjing Wang},
editor = {Rineke Verbrugge},
title = {Epistemic Syllogistic: First Steps},
booktitle = {Proceedings Nineteenth conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2023, Oxford, United Kingdom, 28-30th June 2023},
series = {{EPTCS}},
volume = {379},
pages = {392--406},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.379.31},
doi = {10.4204/EPTCS.379.31},
timestamp = {Fri, 11 Aug 2023 14:29:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WangWS22,
author = {Yanjing Wang and
Yu Wei and
Jeremy Seligman},
title = {Quantifier-free epistemic term-modal logic with assignment operator},
journal = {Ann. Pure Appl. Log.},
volume = {173},
number = {3},
pages = {103071},
year = {2022},
url = {https://doi.org/10.1016/j.apal.2021.103071},
doi = {10.1016/J.APAL.2021.103071},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/WangWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WangWW22,
author = {Haoyu Wang and
Yanjing Wang and
Yunsong Wang},
title = {Inquisitive logic as an epistemic logic of knowing how},
journal = {Ann. Pure Appl. Log.},
volume = {173},
number = {10},
pages = {103145},
year = {2022},
url = {https://doi.org/10.1016/j.apal.2022.103145},
doi = {10.1016/J.APAL.2022.103145},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/WangWW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/LiuDW22,
author = {Jixin Liu and
Yifeng Ding and
Yanjing Wang},
title = {Model Theoretical Aspects of Weakly Aggregative Modal Logic},
journal = {J. Log. Lang. Inf.},
volume = {31},
number = {2},
pages = {261--286},
year = {2022},
url = {https://doi.org/10.1007/s10849-022-09366-x},
doi = {10.1007/S10849-022-09366-X},
timestamp = {Thu, 02 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/LiuDW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FervariVW22,
author = {Raul Fervari and
Fernando R. Vel{\'{a}}zquez{-}Quesada and
Yanjing Wang},
title = {Bisimulations for Knowing How Logics},
journal = {Rev. Symb. Log.},
volume = {15},
number = {2},
pages = {450--486},
year = {2022},
url = {https://doi.org/10.1017/S1755020321000101},
doi = {10.1017/S1755020321000101},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/FervariVW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/LiW22,
author = {Dazhu Li and
Yanjing Wang},
title = {Mereological Bimodal Logics},
journal = {Rev. Symb. Log.},
volume = {15},
number = {4},
pages = {823--858},
year = {2022},
url = {https://doi.org/10.1017/S175502032200003X},
doi = {10.1017/S175502032200003X},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/LiW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/0001WW22,
author = {Yanjing Wang and
Yunsong Wang and
Haoyu Wang},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {An Epistemic Interpretation of Tensor Disjunction},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {719--739},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/40-Wang-Wang-Wang.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/0001WW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LiuPRW22,
author = {Mo Liu and
Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {Generalized Bundled Fragments for First-Order Modal Logic},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {70:1--70:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.70},
doi = {10.4230/LIPICS.MFCS.2022.70},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LiuPRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/WangW22,
author = {Xiaoyang Wang and
Yanjing Wang},
editor = {Agata Ciabattoni and
Elaine Pimentel and
Ruy J. G. B. de Queiroz},
title = {Tense Logics over Lattices},
booktitle = {Logic, Language, Information, and Computation - 28th International
Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13468},
pages = {70--87},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15298-6\_5},
doi = {10.1007/978-3-031-15298-6\_5},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/WangW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01581,
author = {Mo Liu and
Anantha Padmanabha and
Ramaswamy Ramanujam and
Yanjing Wang},
title = {Are Bundles Good Deals for FOML?},
journal = {CoRR},
volume = {abs/2202.01581},
year = {2022},
url = {https://arxiv.org/abs/2202.01581},
eprinttype = {arXiv},
eprint = {2202.01581},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-01581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-12253,
author = {Haoyu Wang and
Yanjing Wang and
Yunsong Wang},
title = {Inquisitive Logic as an Epistemic Logic of Knowing How},
journal = {CoRR},
volume = {abs/2203.12253},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.12253},
doi = {10.48550/ARXIV.2203.12253},
eprinttype = {arXiv},
eprint = {2203.12253},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-12253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-13970,
author = {Haoyu Wang and
Yanjing Wang and
Yunsong Wang},
title = {An Epistemic Interpretation of Tensor Disjunction},
journal = {CoRR},
volume = {abs/2203.13970},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13970},
doi = {10.48550/ARXIV.2203.13970},
eprinttype = {arXiv},
eprint = {2203.13970},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiW21,
author = {Yanjun Li and
Yanjing Wang},
title = {Planning-based knowing how: {A} unified approach},
journal = {Artif. Intell.},
volume = {296},
pages = {103487},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103487},
doi = {10.1016/J.ARTINT.2021.103487},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LiW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/XuWS21,
author = {Chao Xu and
Yanjing Wang and
Thomas Studer},
title = {A logic of knowing why},
journal = {Synth.},
volume = {198},
number = {2},
pages = {1259--1285},
year = {2021},
url = {https://doi.org/10.1007/s11229-019-02104-0},
doi = {10.1007/S11229-019-02104-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/XuWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/DingLW21,
author = {Yifeng Ding and
Jixin Liu and
Yanjing Wang},
editor = {Sujata Ghosh and
Thomas Icard},
title = {Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic},
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 = {58--72},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88708-7\_5},
doi = {10.1007/978-3-030-88708-7\_5},
timestamp = {Wed, 06 Oct 2021 16:27:55 +0200},
biburl = {https://dblp.org/rec/conf/lori/DingLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11497,
author = {Michael Cohen and
Wen Tang and
Yanjing Wang},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {De Re Updates},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {103--117},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.9},
doi = {10.4204/EPTCS.335.9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-11504,
author = {Yanjun Li and
Yanjing Wang},
editor = {Joseph Y. Halpern and
Andr{\'{e}}s Perea},
title = {Knowing How to Plan},
booktitle = {Proceedings Eighteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2021, Beijing, China, June 25-27, 2021},
series = {{EPTCS}},
volume = {335},
pages = {233--247},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.335.22},
doi = {10.4204/EPTCS.335.22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-11504.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiKW19,
author = {Yanjun Li and
Barteld Kooi and
Yanjing Wang},
title = {A dynamic epistemic framework for reasoning about conformant probabilistic
plans},
journal = {Artif. Intell.},
volume = {268},
pages = {54--84},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2018.12.001},
doi = {10.1016/J.ARTINT.2018.12.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LiKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiW19,
author = {Yanjun Li and
Yanjing Wang},
editor = {Patrick Blackburn and
Emiliano Lorini and
Meiyun Guo},
title = {Multi-agent Knowing How via Multi-step Plans: {A} Dynamic Epistemic
Planning Based Approach},
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 = {126--139},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60292-8\_10},
doi = {10.1007/978-3-662-60292-8\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/LiuWD19,
author = {Jixin Liu and
Yanjing Wang and
Yifeng Ding},
editor = {Patrick Blackburn and
Emiliano Lorini and
Meiyun Guo},
title = {Weakly Aggregative Modal Logic: Characterization and Interpolation},
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 = {153--167},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60292-8\_12},
doi = {10.1007/978-3-662-60292-8\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/LiuWD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/WangW19,
author = {Xinyu Wang and
Yanjing Wang},
editor = {Patrick Blackburn and
Emiliano Lorini and
Meiyun Guo},
title = {Knowledge-Now and Knowledge-All},
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 = {399--412},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-60292-8\_29},
doi = {10.1007/978-3-662-60292-8\_29},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/WangW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-09105,
author = {Malvin Gattinger and
Yanjing Wang},
editor = {Lawrence S. Moss},
title = {How to Agree without Understanding Each Other: Public Announcement
Logic with Boolean Definitions},
booktitle = {Proceedings Seventeenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2019, Toulouse, France, 17-19 July 2019},
series = {{EPTCS}},
volume = {297},
pages = {206--220},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.297.14},
doi = {10.4204/EPTCS.297.14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Wang18,
author = {Yanjing Wang},
title = {A logic of goal-directed knowing how},
journal = {Synth.},
volume = {195},
number = {10},
pages = {4419--4439},
year = {2018},
url = {https://doi.org/10.1007/s11229-016-1272-0},
doi = {10.1007/S11229-016-1272-0},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Wang18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/AgotnesDW18,
author = {Thomas {\AA}gotnes and
Hans van Ditmarsch and
Yanjing Wang},
title = {True lies},
journal = {Synth.},
volume = {195},
number = {10},
pages = {4581--4615},
year = {2018},
url = {https://doi.org/10.1007/s11229-017-1423-y},
doi = {10.1007/S11229-017-1423-Y},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/AgotnesDW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/WangS18,
author = {Yanjing Wang and
Jeremy Seligman},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {When Names Are Not Commonly Known: Epistemic Logic with Assignments},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {611--628},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Wang-Seligman.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/WangS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/PadmanabhaRW18,
author = {Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
editor = {Sumit Ganguly and
Paritosh K. Pandya},
title = {Bundled Fragments of First-Order Modal Logic: (Un)Decidability},
booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
Ahmedabad, India},
series = {LIPIcs},
volume = {122},
pages = {43:1--43:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.43},
doi = {10.4230/LIPICS.FSTTCS.2018.43},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/PadmanabhaRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10508,
author = {Anantha Padmanabha and
R. Ramanujam and
Yanjing Wang},
title = {Bundled fragments of first-order modal logic: (un)decidability},
journal = {CoRR},
volume = {abs/1803.10508},
year = {2018},
url = {http://arxiv.org/abs/1803.10508},
eprinttype = {arXiv},
eprint = {1803.10508},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03852,
author = {Jeremy Seligman and
Yanjing Wang},
title = {Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid
Names},
journal = {CoRR},
volume = {abs/1805.03852},
year = {2018},
url = {http://arxiv.org/abs/1805.03852},
eprinttype = {arXiv},
eprint = {1805.03852},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LiYW17,
author = {Yanjun Li and
Quan Yu and
Yanjing Wang},
title = {More for free: a dynamic epistemic framework for conformant planning
over transition systems},
journal = {J. Log. Comput.},
volume = {27},
number = {8},
pages = {2383--2410},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx020},
doi = {10.1093/LOGCOM/EXX020},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LiYW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/EijckGW17,
author = {Jan van Eijck and
Malvin Gattinger and
Yanjing Wang},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Knowing Values and Public Inspection},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {77--90},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_7},
doi = {10.1007/978-3-662-54069-5\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/EijckGW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LiW17,
author = {Yanjun Li and
Yanjing Wang},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Achieving While Maintaining: - {A} Logic of Knowing How with Intermediate
Constraints},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {154--167},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_12},
doi = {10.1007/978-3-662-54069-5\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/LiW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FervariHLW17,
author = {Raul Fervari and
Andreas Herzig and
Yanjun Li and
Yanjing Wang},
editor = {Carles Sierra},
title = {Strategically knowing how},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1031--1038},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/143},
doi = {10.24963/IJCAI.2017/143},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FervariHLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Wang17d,
author = {Yanjing Wang},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {A New Modal Framework for Epistemic Logic},
booktitle = {Proceedings Sixteenth Conference on Theoretical Aspects of Rationality
and Knowledge, {TARK} 2017, Liverpool, UK, 24-26 July 2017},
series = {{EPTCS}},
volume = {251},
pages = {515--534},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.251.38},
doi = {10.4204/EPTCS.251.38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wang17d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FervariHLW17,
author = {Raul Fervari and
Andreas Herzig and
Yanjun Li and
Yanjing Wang},
title = {Strategically knowing how},
journal = {CoRR},
volume = {abs/1705.05254},
year = {2017},
url = {http://arxiv.org/abs/1705.05254},
eprinttype = {arXiv},
eprint = {1705.05254},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FervariHLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wang17ae,
author = {Yanjing Wang},
title = {A New Modal Framework for Epistemic Logic},
journal = {CoRR},
volume = {abs/1707.08764},
year = {2017},
url = {http://arxiv.org/abs/1707.08764},
eprinttype = {arXiv},
eprint = {1707.08764},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wang17ae.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GuW16,
author = {Tao Gu and
Yanjing Wang},
editor = {Lev D. Beklemishev and
St{\'{e}}phane Demri and
Andr{\'{a}}s Mat{\'{e}}},
title = {"Knowing value'' logic as a normal modal logic},
booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
"Advances in Modal Logic," held in Budapest, Hungary, August 30 -
September 2, 2016},
pages = {362--381},
publisher = {College Publications},
year = {2016},
url = {http://www.aiml.net/volumes/volume11/Gu-Wang.pdf},
timestamp = {Wed, 04 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GuW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuW16,
author = {Tao Gu and
Yanjing Wang},
title = {"Knowing value" logic as a normal modal logic},
journal = {CoRR},
volume = {abs/1604.08709},
year = {2016},
url = {http://arxiv.org/abs/1604.08709},
eprinttype = {arXiv},
eprint = {1604.08709},
timestamp = {Wed, 04 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GuW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wang16j,
author = {Yanjing Wang},
title = {Beyond knowing that: a new generation of epistemic logics},
journal = {CoRR},
volume = {abs/1605.01995},
year = {2016},
url = {http://arxiv.org/abs/1605.01995},
eprinttype = {arXiv},
eprint = {1605.01995},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wang16j.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AgotnesDW16,
author = {Thomas {\AA}gotnes and
Hans van Ditmarsch and
Yanjing Wang},
title = {True Lies},
journal = {CoRR},
volume = {abs/1606.08333},
year = {2016},
url = {http://arxiv.org/abs/1606.08333},
eprinttype = {arXiv},
eprint = {1606.08333},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AgotnesDW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EijckGW16,
author = {Jan van Eijck and
Malvin Gattinger and
Yanjing Wang},
title = {Knowing Values and Public Inspection},
journal = {CoRR},
volume = {abs/1609.03338},
year = {2016},
url = {http://arxiv.org/abs/1609.03338},
eprinttype = {arXiv},
eprint = {1609.03338},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EijckGW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XuW16,
author = {Chao Xu and
Yanjing Wang},
title = {A Logic of Knowing Why},
journal = {CoRR},
volume = {abs/1609.06405},
year = {2016},
url = {http://arxiv.org/abs/1609.06405},
eprinttype = {arXiv},
eprint = {1609.06405},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/XuW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiW16f,
author = {Yanjun Li and
Yanjing Wang},
title = {Achieving while maintaining: {A} logic of knowing how with intermediate
constraints},
journal = {CoRR},
volume = {abs/1610.05064},
year = {2016},
url = {http://arxiv.org/abs/1610.05064},
eprinttype = {arXiv},
eprint = {1610.05064},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiW16f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/FanWD15,
author = {Jie Fan and
Yanjing Wang and
Hans van Ditmarsch},
title = {Contingency and Knowing Whether},
journal = {Rev. Symb. Log.},
volume = {8},
number = {1},
pages = {75--107},
year = {2015},
url = {https://doi.org/10.1017/S1755020314000343},
doi = {10.1017/S1755020314000343},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/FanWD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang15,
author = {Yanjing Wang},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Representing Imperfect Information of Procedures with Hyper Models},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {218--231},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_16},
doi = {10.1007/978-3-662-45824-2\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang15a,
author = {Yanjing Wang},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Logic of Knowing How},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {392--405},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_32},
doi = {10.1007/978-3-662-48561-3\_32},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Wang15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/YuLW16,
author = {Quan Yu and
Yanjun Li and
Yanjing Wang},
editor = {R. Ramanujam},
title = {A Dynamic Epistemic Framework for Conformant Planning},
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 = {298--318},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.215.21},
doi = {10.4204/EPTCS.215.21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YuLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wang15g,
author = {Yanjing Wang},
title = {A Logic of Knowing How},
journal = {CoRR},
volume = {abs/1505.06651},
year = {2015},
url = {http://arxiv.org/abs/1505.06651},
eprinttype = {arXiv},
eprint = {1505.06651},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wang15g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiW15b,
author = {Kai Li and
Yanjing Wang},
title = {From rules to runs: {A} dynamic epistemic take on imperfect information
games},
journal = {CoRR},
volume = {abs/1512.02078},
year = {2015},
url = {http://arxiv.org/abs/1512.02078},
eprinttype = {arXiv},
eprint = {1512.02078},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiW15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DitmarschGVW14,
author = {Hans van Ditmarsch and
Sujata Ghosh and
Rineke Verbrugge and
Yanjing Wang},
title = {Hidden protocols: Modifying our expectations in an evolving world},
journal = {Artif. Intell.},
volume = {208},
pages = {18--40},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2013.12.001},
doi = {10.1016/J.ARTINT.2013.12.001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DitmarschGVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wang14,
author = {Yanjing Wang},
title = {Book Reviews},
journal = {Stud Logica},
volume = {102},
number = {3},
pages = {647--654},
year = {2014},
url = {https://doi.org/10.1007/s11225-014-9554-3},
doi = {10.1007/S11225-014-9554-3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Wang14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/FanWD14,
author = {Jie Fan and
Yanjing Wang and
Hans van Ditmarsch},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {Almost Necessary},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {178--196},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Fan-Wang-Ditmarsch.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/FanWD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/WangF14,
author = {Yanjing Wang and
Jie Fan},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {Conditionally Knowing What},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {569--587},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Wang-Fan.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/WangF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mima/LiuW13,
author = {Fenrong Liu and
Yanjing Wang},
title = {Reasoning About Agent Types and the Hardest Logic Puzzle Ever},
journal = {Minds Mach.},
volume = {23},
number = {1},
pages = {123--161},
year = {2013},
url = {https://doi.org/10.1007/s11023-012-9287-x},
doi = {10.1007/S11023-012-9287-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mima/LiuW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/WangC13,
author = {Yanjing Wang and
Qinxiang Cao},
title = {On axiomatizations of public announcement logic},
journal = {Synth.},
volume = {190},
number = {Supplement-1},
pages = {103--134},
year = {2013},
url = {https://doi.org/10.1007/s11229-012-0233-5},
doi = {10.1007/S11229-012-0233-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/WangC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangA13,
author = {Yanjing Wang and
Guillaume Aucher},
editor = {Francesca Rossi},
title = {An Alternative Axiomatization of {DEL} and Its Applications},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1139--1146},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6802},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/WangA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WangF13,
author = {Yanjing Wang and
Jie Fan},
editor = {Francesca Rossi},
title = {Knowing That, Knowing What, and Public Communication: Public Announcement
Logic with Kv Operators},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1147--1154},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6742},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/WangF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FanWD13,
author = {Jie Fan and
Yanjing Wang and
Hans van Ditmarsch},
title = {Knowing Whether},
journal = {CoRR},
volume = {abs/1312.0144},
year = {2013},
url = {http://arxiv.org/abs/1312.0144},
eprinttype = {arXiv},
eprint = {1312.0144},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FanWD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/WangL12,
author = {Yanjing Wang and
Yanjun Li},
editor = {Thomas Bolander and
Torben Bra{\"{u}}ner and
Silvio Ghilardi and
Lawrence S. Moss},
title = {Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in
Navigation},
booktitle = {Advances in Modal Logic 9, papers from the ninth conference on "Advances
in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012},
pages = {559--580},
publisher = {College Publications},
year = {2012},
url = {http://www.aiml.net/volumes/volume9/Wang-Li.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:06 +0100},
biburl = {https://dblp.org/rec/conf/aiml/WangL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/DitmarschESW12,
author = {Hans van Ditmarsch and
Jan van Eijck and
Floor Sietsma and
Yanjing Wang},
editor = {Jan van Eijck and
Rineke Verbrugge},
title = {On the Logic of Lying},
booktitle = {Games, Actions and Social Software - Multidisciplinary Aspects},
series = {Lecture Notes in Computer Science},
volume = {7010},
pages = {41--72},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29326-9\_4},
doi = {10.1007/978-3-642-29326-9\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/DitmarschESW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/EijckSW11,
author = {Jan van Eijck and
Floor Sietsma and
Yanjing Wang},
title = {Composing models},
journal = {J. Appl. Non Class. Logics},
volume = {21},
number = {3-4},
pages = {397--425},
year = {2011},
url = {https://doi.org/10.3166/jancl.21.397-425},
doi = {10.3166/JANCL.21.397-425},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/EijckSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang11,
author = {Yanjing Wang},
editor = {Mohua Banerjee and
Anil Seth},
title = {Reasoning about Protocol Change and Knowledge},
booktitle = {Logic and Its Applications - 4th Indian Conference, {ICLA} 2011, Delhi,
India, January 5-11, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6521},
pages = {189--203},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18026-2\_16},
doi = {10.1007/978-3-642-18026-2\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/DashtiCW11,
author = {Mohammad Torabi Dashti and
Jan Cederquist and
Yanjing Wang},
editor = {Gilles Barthe and
Anupam Datta and
Sandro Etalle},
title = {Risk Balance in Optimistic Non-repudiation Protocols},
booktitle = {Formal Aspects of Security and Trust - 8th International Workshop,
{FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7140},
pages = {263--277},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29420-4\_17},
doi = {10.1007/978-3-642-29420-4\_17},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/DashtiCW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Wang11,
author = {Yanjing Wang},
editor = {Hans van Ditmarsch and
J{\'{e}}r{\^{o}}me Lang and
Shier Ju},
title = {On Axiomatizations of {PAL}},
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 = {314--327},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24130-7\_23},
doi = {10.1007/978-3-642-24130-7\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lori/Wang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/DitmarschGVW11,
author = {Hans van Ditmarsch and
Sujata Ghosh and
Rineke Verbrugge and
Yanjing Wang},
editor = {Krzysztof R. Apt},
title = {Hidden protocols},
booktitle = {Proceedings of the 13th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14,
2011},
pages = {65--74},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2000378.2000386},
doi = {10.1145/2000378.2000386},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/DitmarschGVW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Yanjing10,
author = {Yanjing Wang},
title = {Epistemic Modelling and Protocol Dynamics},
school = {University of Amsterdam, Netherlands},
year = {2010},
url = {https://tel.archives-ouvertes.fr/tel-00535885},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Yanjing10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/DechesneW10,
author = {Francien Dechesne and
Yanjing Wang},
title = {To know or not to know: epistemic approaches to security protocol
verification},
journal = {Synth.},
volume = {177},
number = {Supplement-1},
pages = {51--76},
year = {2010},
url = {https://doi.org/10.1007/s11229-010-9765-8},
doi = {10.1007/S11229-010-9765-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/DechesneW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/WangSE10,
author = {Yanjing Wang and
Floor Sietsma and
Jan van Eijck},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Logic of information flow on communication channels},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {1447--1448},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838425},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/WangSE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/WangSE10,
author = {Yanjing Wang and
Floor Sietsma and
Jan van Eijck},
editor = {Andrea Omicini and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos},
title = {Logic of Information Flow on Communication Channels},
booktitle = {Declarative Agent Languages and Technologies {VIII} - 8th International
Workshop, {DALT} 2010, Toronto, Canada, May 10, 2010, Revised, Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6619},
pages = {130--147},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20715-0\_8},
doi = {10.1007/978-3-642-20715-0\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/WangSE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/QiaoWLT10,
author = {Xiaoyan Qiao and
Yanjing Wang and
Douzhe Li and
Lifeng Tian},
title = {Feature extraction and classifier evaluation of {EEG} for imaginary
hand movements},
booktitle = {Sixth International Conference on Natural Computation, {ICNC} 2010,
Yantai, Shandong, China, 10-12 August 2010},
pages = {2112--2116},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICNC.2010.5582453},
doi = {10.1109/ICNC.2010.5582453},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icnc/QiaoWLT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/WangKE09,
author = {Yanjing Wang and
Lakshmanan Kuppusamy and
Jan van Eijck},
editor = {Aviad Heifetz},
title = {Verifying epistemic protocols under common knowledge},
booktitle = {Proceedings of the 12th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2009), Stanford, CA, USA, July 6-8, 2009},
pages = {257--266},
year = {2009},
url = {https://doi.org/10.1145/1562814.1562848},
doi = {10.1145/1562814.1562848},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/WangKE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-4332,
author = {Yanjing Wang and
Francien Dechesne},
title = {On expressive power and class invariance},
journal = {CoRR},
volume = {abs/0905.4332},
year = {2009},
url = {http://arxiv.org/abs/0905.4332},
eprinttype = {arXiv},
eprint = {0905.4332},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-4332.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DechesneOW08,
author = {Francien Dechesne and
Simona Orzan and
Yanjing Wang},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Refinement of Kripke Models for Dynamics},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {111--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_8},
doi = {10.1007/978-3-540-85762-4\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/DechesneOW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ChenPW08,
author = {Taolue Chen and
Jaco van de Pol and
Yanjing Wang},
title = {{PDL} over Accelerated Labeled Transition Systems},
booktitle = {Second {IEEE/IFIP} International Symposium on Theoretical Aspects
of Software Engineering, {TASE} 2008, June 17-19, 2008, Nanjing, China},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TASE.2008.42},
doi = {10.1109/TASE.2008.42},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/ChenPW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EijckW08,
author = {Jan van Eijck and
Yanjing Wang},
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Propositional Dynamic Logic as a Logic of Belief Revision},
booktitle = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
pages = {136--148},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8\_13},
doi = {10.1007/978-3-540-69937-8\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/EijckW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/DashtiW07,
author = {Muhammad Torabi Dashti and
Yanjing Wang},
editor = {Iliano Cervesato},
title = {Risk Balance in Exchange Protocols},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {70--77},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_8},
doi = {10.1007/978-3-540-76929-3\_8},
timestamp = {Thu, 10 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/DashtiW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
