Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yisong Wang
Map detail
Yisong Wang7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipYisong WangAYisong WangResearcherEmbedding Description Logic Programs into Default LogicWEmbedding Description L...preprint / 2011Loop Formulas for Description Logic ProgramsWLoop Formulas for Descr...preprint / 2010On Forgetting in Tractable Propositional FragmentsWOn Forgetting in Tracta...preprint / 2015Inductive Learning for Possibilistic Logic Programs Under Stable ModelsWInductive Learning for ...preprint / 2025On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting ApproachWOn Sufficient and Neces...preprint / 2020DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement LearningWDeepSeek-R1: Incentiviz...preprint / 2026
Person6 links

Yisong Wang

Researcher