Computer Science – Artificial Intelligence
Scientist
Computer Science
Artificial Intelligence
Scientist
A Dynamic Approach to Characterizing Termination of General Logic Programs
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Embedding Description Logic Programs into Default Logic
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
Linear Tabulated Resolution Based on Prolog Control Strategy
No associations
LandOfFree
Jia-Huai You does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jia-Huai You, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jia-Huai You will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-52741