Yanjing Wang - Concepedia

Author

Yanjing Wang

Peking University ORCID

Also Known As

Wang, Yanjing, YANJING WANG, Yanjing Wang

Publications

Citations

H-Index

Concepts

All Affiliations

Peking University Centrum Wiskunde & Informatica Nankai University Université de Lorraine University of Groningen

About

Yanjing Wang is an author at Peking University specializing in automated reasoning, engineering, and epistemology.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	11	329
2	Social Sciences	4	4	187
3	Business	2	2	57
4	Arts	1	1	90
5	Language Studies	1	1	21

Yanjing Wang

Publications

588

Citations

H-Index

Page 1

	Year	Citations
On axiomatizations of public announcement logic Yanjing Wang, Qinxiang Cao Synthese EngineeringDynamic Epistemic LogicAutomated ReasoningFormal MethodsFirst-order Logic	2013	90
CONTINGENCY AND KNOWING WHETHER Jie Fan, Yanjing Wang, Hans van Ditmarsch The Review of Symbolic Logic Noncontingency Operator δEngineeringClassical LogicModal LogicSocial Sciences	2015	76
A logic of goal-directed knowing how Yanjing Wang Synthese Cognitive ScienceGoal-directed KnowingAutomated ReasoningModel-based ReasoningReasoning About Action	2016	70
Strategically knowing how Raul Fervari, Andreas Herzig, Yanjun Li, Artificial IntelligenceEngineeringModel-based ReasoningSure PhiStrategic Practice	2017	44
Knowing that, knowing what, and public communication: public announcement logic with Kv operators Yanjing Wang, Jie Fan	2013	28
A logic of knowing why Chao Xu, Yanjing Wang, Thomas Studer Synthese Cognitive ScienceDynamic Epistemic LogicAutomated ReasoningKnowledge ReasoningEpistemology	2019	26
Conditionally Knowing What Yanjing Wang, Jie Fan	2014	23
Achieving while maintaining: A logic of knowing how with intermediate constraints Yanjun Li, Yanjing Wang arXiv (Cornell University)	2016	23
A New Modal Framework for Epistemic Logic Yanjing Wang Electronic Proceedings in Theoretical Computer Science EngineeringClassical LogicEpistemic LogicNew ModalitySemantic Web	2017	21
Reasoning About Agent Types and the Hardest Logic Puzzle Ever Fenrong Liu, Yanjing Wang Minds and Machines Artificial IntelligenceReasoningEngineeringReasoning SystemAutomated Reasoning	2012	20

Page 1