Concepedia
Statistics
Publications
28
Citations
788
H-Index
17
Active since
1984
Affiliations
University of Alberta(Current)
Chinese Academy of Sciences
Institute of Software
Chongqing University
Simon Fraser University
Jia-Huai You is an author at University of Alberta specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceLogic ProgrammingFormal VerificationSemanticsLanguageProgram AnalysisAnswer Set Programming
Publications per year
1984–2015
Unfolding partiality and disjunctions in stable model semantics
Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel et al. · ACM Transactions on Computational Logic · 2006 · 141 citations
Engineering, Verification, Well-founded Semantics +21
A three-valued semantics for deductive databases and logic programs
Jia-Huai You, Li Yan Yuan · Journal of Computer and System Sciences · 1994 · 65 citations
Engineering, Deductive Database, Automated Reasoning +5
On the equivalence of semantics for normal logic programs
Jia-Huai You, Li Yan Yuan · The Journal of Logic Programming · 1995 · 61 citations
Non-classical Logic, Engineering, Automated Reasoning +5
Survey of Large-Scale Data Management Systems for Big Data Applications
Lengdong Wu, Li-Yan Yuan, Jia-Huai You · Journal of Computer Science and Technology · 2015 · 48 citations
Big Data Acquisition, Data Modeling, Engineering +10
FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming.
P. A. Subrahmanyam, Jia-Huai You · 1986 · 40 citations
Computational Logic, Applied Logic, Engineering +6
1–5 of 28