Yanjing Wang - RankMe

83 papers A* 3A 1B 17C 3Misc 2Journal 38Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Connecting Free-Choice Permission with Obligation and Prohibition by Not Doing It. DEON Zilu Wang, Yanjing Wang
2025	B	`conf`	Distributed Knowing How. TARK Bin Liu, Yanjing Wang
2025	—	`conf`	Knowable as Knowing How to Inquire. ICLA Yiting Wang, Yanjing Wang
2025	J	`jnl`	Modal logics over lattices. Ann. Pure Appl. Log. Xiaoyang Wang, Yanjing Wang
2024	J	`jnl`	Knowing how to plan about planning: Higher-order and meta-level epistemic planning. Artif. Intell. Yanjun Li, Yanjing Wang
2024	B	`conf`	Point-Set Neighborhood Logic. AiML Yanjing Wang, Junhua Yu
2023	J	`jnl`	Are bundles good deals for first-order modal logic? Inf. Comput. Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2023	B	`conf`	Epistemic Syllogistic: First Steps. TARK Yipu Li, Yanjing Wang
2023	—	`conf`	Strong Permission Bundled: First Steps. DEON Zilu Wang, Yanjing Wang
2022	B	`conf`	An Epistemic Interpretation of Tensor Disjunction. AiML Yanjing Wang, Yunsong Wang, Haoyu Wang
2022	J	`jnl`	An Epistemic Interpretation of Tensor Disjunction. CoRR Haoyu Wang, Yanjing Wang, Yunsong Wang
2022	J	`jnl`	Are Bundles Good Deals for FOML? CoRR Mo Liu, Anantha Padmanabha, Ramaswamy Ramanujam, Yanjing Wang
2022	J	`jnl`	Bisimulations for Knowing How Logics. Rev. Symb. Log. Raul Fervari, Fernando R. Velázquez-Quesada, Yanjing Wang
2022	B	`conf`	Generalized Bundled Fragments for First-Order Modal Logic. MFCS Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2022	J	`jnl`	Inquisitive Logic as an Epistemic Logic of Knowing How. CoRR Haoyu Wang, Yanjing Wang, Yunsong Wang
2022	J	`jnl`	Inquisitive logic as an epistemic logic of knowing how. Ann. Pure Appl. Log. Haoyu Wang, Yanjing Wang, Yunsong Wang
2022	J	`jnl`	Mereological Bimodal Logics. Rev. Symb. Log. Dazhu Li, Yanjing Wang
2022	J	`jnl`	Model Theoretical Aspects of Weakly Aggregative Modal Logic. J. Log. Lang. Inf. Jixin Liu, Yifeng Ding, Yanjing Wang
2022	J	`jnl`	Quantifier-free epistemic term-modal logic with assignment operator. Ann. Pure Appl. Log. Yanjing Wang, Yu Wei, Jeremy Seligman
2022	C	`conf`	Tense Logics over Lattices. WoLLIC Xiaoyang Wang, Yanjing Wang
2021	J	`jnl`	A logic of knowing why. Synth. Chao Xu, Yanjing Wang, Thomas Studer
2021	B	`conf`	De Re Updates. TARK Michael Cohen, Wen Tang, Yanjing Wang
2021	—	`conf`	Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic. LORI Yifeng Ding, Jixin Liu, Yanjing Wang
2021	B	`conf`	Knowing How to Plan. TARK Yanjun Li, Yanjing Wang
2021	J	`jnl`	Planning-based knowing how: A unified approach. Artif. Intell. Yanjun Li, Yanjing Wang
2019	J	`jnl`	A dynamic epistemic framework for reasoning about conformant probabilistic plans. Artif. Intell. Yanjun Li, Barteld Kooi, Yanjing Wang
2019	B	`conf`	How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. TARK Malvin Gattinger, Yanjing Wang
2019	—	`conf`	Knowledge-Now and Knowledge-All. LORI Xinyu Wang, Yanjing Wang
2019	—	`conf`	Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach. LORI Yanjun Li, Yanjing Wang
2019	—	`conf`	Weakly Aggregative Modal Logic: Characterization and Interpolation. LORI Jixin Liu, Yanjing Wang, Yifeng Ding
2018	J	`jnl`	A logic of goal-directed knowing how. Synth. Yanjing Wang
2018	—	`conf`	Bundled Fragments of First-Order Modal Logic: (Un)Decidability. FSTTCS Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2018	J	`jnl`	Bundled fragments of first-order modal logic: (un)decidability. CoRR Anantha Padmanabha, R. Ramanujam, Yanjing Wang
2018	J	`jnl`	Call Me by Your Name: Epistemic Logic with Assignments and Non-rigid Names. CoRR Jeremy Seligman, Yanjing Wang
2018	J	`jnl`	True lies. Synth. Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
2018	B	`conf`	When Names Are Not Commonly Known: Epistemic Logic with Assignments. Advances in Modal Logic Yanjing Wang, Jeremy Seligman
2017	J	`jnl`	A New Modal Framework for Epistemic Logic. CoRR Yanjing Wang
2017	B	`conf`	A New Modal Framework for Epistemic Logic. TARK Yanjing Wang
2017	—	`conf`	Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. ICLA Yanjun Li, Yanjing Wang
2017	—	`conf`	Knowing Values and Public Inspection. ICLA Jan van Eijck, Malvin Gattinger, Yanjing Wang
2017	J	`jnl`	More for free: a dynamic epistemic framework for conformant planning over transition systems. J. Log. Comput. Yanjun Li, Quan Yu, Yanjing Wang
2017	A*	`conf`	Strategically knowing how. IJCAI Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
2017	J	`jnl`	Strategically knowing how. CoRR Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
2016	J	`jnl`	"Knowing value" logic as a normal modal logic. CoRR Tao Gu, Yanjing Wang
2016	B	`conf`	"Knowing value'' logic as a normal modal logic. Advances in Modal Logic Tao Gu, Yanjing Wang
2016	J	`jnl`	A Logic of Knowing Why. CoRR Chao Xu, Yanjing Wang
2016	J	`jnl`	Achieving while maintaining: A logic of knowing how with intermediate constraints. CoRR Yanjun Li, Yanjing Wang
2016	J	`jnl`	Beyond knowing that: a new generation of epistemic logics. CoRR Yanjing Wang
2016	J	`jnl`	Knowing Values and Public Inspection. CoRR Jan van Eijck, Malvin Gattinger, Yanjing Wang
2016	J	`jnl`	True Lies. CoRR Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang
2015	B	`conf`	A Dynamic Epistemic Framework for Conformant Planning. TARK Quan Yu, Yanjun Li, Yanjing Wang
2015	—	`conf`	A Logic of Knowing How. LORI Yanjing Wang
2015	J	`jnl`	A Logic of Knowing How. CoRR Yanjing Wang
2015	J	`jnl`	Contingency and Knowing Whether. Rev. Symb. Log. Jie Fan, Yanjing Wang, Hans van Ditmarsch
2015	J	`jnl`	From rules to runs: A dynamic epistemic take on imperfect information games. CoRR Kai Li, Yanjing Wang
2015	—	`conf`	Representing Imperfect Information of Procedures with Hyper Models. ICLA Yanjing Wang
2014	B	`conf`	Almost Necessary. Advances in Modal Logic Jie Fan, Yanjing Wang, Hans van Ditmarsch
2014	J	`jnl`	Book Reviews. Stud Logica Yanjing Wang
2014	B	`conf`	Conditionally Knowing What. Advances in Modal Logic Yanjing Wang, Jie Fan
2014	J	`jnl`	Hidden protocols: Modifying our expectations in an evolving world. Artif. Intell. Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2013	A*	`conf`	An Alternative Axiomatization of DEL and Its Applications. IJCAI Yanjing Wang, Guillaume Aucher
2013	A*	`conf`	Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. IJCAI Yanjing Wang, Jie Fan
2013	J	`jnl`	Knowing Whether. CoRR Jie Fan, Yanjing Wang, Hans van Ditmarsch
2013	J	`jnl`	On axiomatizations of public announcement logic. Synth. Yanjing Wang, Qinxiang Cao
2013	J	`jnl`	Reasoning About Agent Types and the Hardest Logic Puzzle Ever. Minds Mach. Fenrong Liu, Yanjing Wang
2012	B	`conf`	Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. Advances in Modal Logic Yanjing Wang, Yanjun Li
2012	—	`ch.`	On the Logic of Lying. Games, Actions and Social Software Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang
2011	J	`jnl`	Composing models. J. Appl. Non Class. Logics Jan van Eijck, Floor Sietsma, Yanjing Wang
2011	B	`conf`	Hidden protocols. TARK Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang
2011	—	`conf`	On Axiomatizations of PAL. LORI Yanjing Wang
2011	—	`conf`	Reasoning about Protocol Change and Knowledge. ICLA Yanjing Wang
2011	—	`conf`	Risk Balance in Optimistic Non-repudiation Protocols. Formal Aspects in Security and Trust Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang
2010	—	`—`	Epistemic Modelling and Protocol Dynamics. Yanjing Wang
2010	Misc	`conf`	Feature extraction and classifier evaluation of EEG for imaginary hand movements. ICNC Xiaoyan Qiao, Yanjing Wang, Douzhe Li, Lifeng Tian
2010	—	`conf`	Logic of Information Flow on Communication Channels. DALT Yanjing Wang, Floor Sietsma, Jan van Eijck
2010	A	`conf`	Logic of information flow on communication channels. AAMAS Yanjing Wang, Floor Sietsma, Jan van Eijck
2010	J	`jnl`	To know or not to know: epistemic approaches to security protocol verification. Synth. Francien Dechesne, Yanjing Wang
2009	J	`jnl`	On expressive power and class invariance CoRR Yanjing Wang, Francien Dechesne
2009	B	`conf`	Verifying epistemic protocols under common knowledge. TARK Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck
2008	Misc	`conf`	PDL over Accelerated Labeled Transition Systems. TASE Taolue Chen, Jaco van de Pol, Yanjing Wang
2008	C	`conf`	Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC Jan van Eijck, Yanjing Wang
2008	C	`conf`	Refinement of Kripke Models for Dynamics. ICTAC Francien Dechesne, Simona Orzan, Yanjing Wang
2007	—	`conf`	Risk Balance in Exchange Protocols. ASIAN Muhammad Torabi Dashti, Yanjing Wang