Concepedia

Weidong Chen

WC

Statistics

Publications

16

Citations

850

H-Index

13

Active since

1989

Affiliations

University of Science and Technology of China(Current)

University of Washington

Southern Methodist University

University of Chinese Academy of Sciences

South China University of Technology

Weidong Chen is an author at University of Science and Technology of China specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLogic ProgrammingSemanticsDeep LearningMachine LearningSemantic WebKnowledge Compilation

Publications per year

1989–2024

16

Publications

16

HiLog: A foundation for higher-order logic programming

Weidong Chen, Michael Kifer, David S. Warren · The Journal of Logic Programming · 1993 · 333 citations

Computational Logic, Engineering, Automated Reasoning +5

Query evaluation under the well-founded semantics

Weidong Chen, David S. Warren · 1993 · 85 citations · Full text

Engineering, Semantic Search, Well-founded Semantics +17

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.

Weidong Chen, Michael Kifer, David S. Warren · 1989 · 75 citations

Engineering, Automated Reasoning, Formal Methods +4

SpeechFormer: A Hierarchical Efficient Framework Incorporating the Characteristics of Speech

Weidong Chen, Xiaofen Xing, Xiangmin Xu et al. · Interspeech 2022 · 2022 · 64 citations

Engineering, Health Sciences, Speech Analysis +15

Computation of stable models and its integration with logical query processing

Weidong Chen, David S. Warren · IEEE Transactions on Knowledge and Data Engineering · 1996 · 48 citations

Mathematical Programming, Engineering, Well-founded Semantics +22

1–5 of 16