| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 81 |       | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Mingyi Zhang: The loop formula based semantics of description logic programs. Theor. Comput. Sci. 415: 60-85 (2012) |
| 80 | | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen, Thomas Eiter: Embedding Description Logic Programs into Default Logic CoRR abs/1111.1486: (2011) |
| 75 | | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen: Loop Formulas for Description Logic Programs CoRR abs/1007.4040: (2010) |
| 74 | | Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Shen: Loop formulas for description logic programs. TPLP 10(4-6): 531-545 (2010) |
| 72 | | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms CoRR abs/0904.4727: (2009) |
| 71 | | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Characterizations of stable model semantics for logic programs with arbitrary constraint atoms. TPLP 9(4): 529-564 (2009) |
| 70 | | Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen: Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. LPNMR 2007: 228-240 |
| 68 | | Yi-Dong Shen, Qiang Yang, Jia-Huai You, Li-Yan Yuan: Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops CoRR abs/cs/0506095: (2005) |
| 67 | | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan: Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms CoRR abs/cs/0507035: (2005) |
| 64 | | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang: A dynamic approach to characterizing termination of general logic programs. ACM Trans. Comput. Log. 4(4): 417-430 (2003) |
| 63 | | Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S. P. Shen, Qiang Yang: A Dynamic Approach to Characterizing Termination of General Logic Programs CoRR cs.LO/0204031: (2002) |
| 62 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics. J. Autom. Reasoning 28(1): 53-97 (2002) |
| 60 |  | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. Journal of Functional and Logic Programming 2001(10): (2001) |
| 59 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear tabulated resolution based on Prolog control strategy. TPLP 1(1): 71-103 (2001) |
| 58 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Loop checks for logic programs with functions. Theor. Comput. Sci. 266(1-2): 441-461 (2001) |
| 57 | | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Implementation of a Linear Tabling Mechanism. PADL 2000: 109-123 |
| 56 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: SLT-Resolution for the Well-Founded Semantics CoRR cs.AI/0002016: (2000) |
| 55 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolution Based on Prolog Control Strategy CoRR cs.AI/0003046: (2000) |
| 54 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: Verifying Termination of General Logic Programs with Concrete Queries CoRR cs.AI/0006031: (2000) |
| 52 | | Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You: A Linear Tabling Mechanism. ICLP 1999: 618 |
| 51 | | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. LPNMR 1999: 192-205 |
Selection of 21 from 81 records - Li-Yan Yuan has 24 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page