MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named You Li – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

32 documents found, showing 1 through 10. Next 10 →

ATOM

Iterative Belief Revision in Extended Logic Programming
by Jia-huai You, Robert Cartwright, Ming Li — 1996 — Theoretical Computer Science
…Iterative Belief Revision in Extended Logic Programming 1 Jia-Huai You Department of Computing…
Cited by 7 (5 self) – Add To MetaCart

INTERSPEECH 2007 A GMM-based Probabilistic Sequence Kernel for Speaker Verification
by Kong-aik Lee, Changhuai You, Haizhou Li, Tomi Kinnunen
…, Changhuai You, Haizhou Li, and Tomi Kinnunen Institute for Infocomm Research, 21 Heng Mui Keng Terrace…
Add To MetaCart

An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure
by Jia-huai You, Li Yan Yuan, Y Goebel — 1997 — In Proceedings of the International Conference on the Foundations of Software Technology and Theoretical Computer Science
…An Abductive Semantics for Disjunctive Logic Programs and its Proof Procedure Jia-Huai You, Li Yan…
Cited by 1 (0 self) – Add To MetaCart

Logic Programming with Assumption Denial
by Jia-huai You, Li Yan Yuan — 1995 — In Non-Monotonic Extensions of Logic Programming
… ? Jia-Huai You and Li Yan Yuan Department of Computing Science, University of Alberta Edmonton, Alberta…
Cited by 1 (1 self) – Add To MetaCart

On the Equivalence of Semantics for Normal Logic Programs
by Jia-huai You, Li Yan Yuan — 1995
… Programs Jia-Huai You and Li Yan Yuan . Despite the frequent comment that there is no general agreement…
Cited by 38 (17 self) – Add To MetaCart

Characterizing Speech Utterances for Speaker Verification with Sequence Kernel SVM
by Kong-aik Lee, Changhuai You, Haizhou Li, Tomi Kinnunen, Donglai Zhu
… , Changhuai You 1 , Haizhou Li 1 , Tomi Kinnunen 2 , and Donglai Zhu 1 1 Institute for Infocomm Research (I 2…
Cited by 1 (1 self) – Add To MetaCart

Semantics of First Order Belief Revision Based on Circumscription
by Li Yan, Li Yan Yuan, Jia-huai You — 1992
…Semantics of First Order Belief Revision Based on Circumscription Li Yan Yuan and Jia-Huai You…
Add To MetaCart

Knowledge Base Revision Using Circumscription
by Li Yan, Li Yan Yuan, Jia-huai You
…Knowledge Base Revision Using Circumscription Li Yan Yuan and Jia-Huai You Department…
Add To MetaCart

The Alternating Semantics for Default Theories and Logic Programs
by Li Yan, Li Yan Yuan, Jia-huai You — 1993 — In Proc. the Sixth Joint Australian Conference on AI
…The Alternating Semantics for Default Theories and Logic Programs Li Yan Yuan and Jia-Huai You…
Cited by 1 (1 self) – Add To MetaCart

An Abductive Approach to Disjunctive Logic Programming
by Jia-huai You, Li Yan Yuan, Randy Goebel, Y Goebel, Address Correspondence To J. You, L. Yuan, R. Goebel, Department Of Computing — 2000 — Journal of Logic programming
… An Abductive Approach to Disjunctive Logic Programming Jia-Huai You, Li Yan Yuan, and Randy Goebel…
Cited by 4 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB