| 2011 |
|---|
| 29 | Bounded Forgetting. Yi Zhou, Yan Zhang. AAAI 2011. Web SearchBibTeXDownload |
| 28 | Progression Semantics for Disjunctive Logic Programs. Yi Zhou, Yan Zhang. AAAI 2011. Web SearchBibTeXDownload |
| 27 | Loop-separable programs and their first-order definability. Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou. Artif. Intell. (175): 890-913 (2011). Web SearchBibTeXDownload |
| 26 | Translating First-Order Theories into Logic Programs. Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou. IJCAI 2011, 1126-1131. Web SearchBibTeXDownload |
| 2010 |
|---|
| 25 | Ordered Completion for First-Order Logic Programs on Finite Structures. Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou. AAAI 2010. Web SearchBibTeXDownload |
| 24 | First-Order Indefinability of Answer Set Programs on Finite Structures. Yin Chen, Yan Zhang, Yi Zhou. AAAI 2010. Web SearchBibTeXDownload |
| 23 | Foundations of Tree-like Local Model Updates. Yan Zhang, Michael Kelly, Yi Zhou. ECAI 2010, 615-620. Web SearchBibTeXDownload |
| 22 | dl2asp: Implementing Default Logic via Answer Set Programming. Yin Chen, Hai Wan, Yan Zhang, Yi Zhou. JELIA 2010, 104-116. Web SearchBibTeXDownload |
| 21 | ACTL Local Model Update with Constraints. Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou. KES (4) 2010, 135-144. Web SearchBibTeXDownload |
| 20 | Forgetting Revisited. Yan Zhang, Yi Zhou. KR 2010. Web SearchBibTeXDownload |
| 19 | On the Progression Semantics and Boundedness of Answer Set Programs. Yan Zhang, Yi Zhou. KR 2010. Web SearchBibTeXDownload |
| 2009 |
|---|
| 18 | General default logic. Yi Zhou, Fangzhen Lin, Yan Zhang. Ann. Math. Artif. Intell. (57): 125-160 (2009). Web SearchBibTeXDownload |
| 17 | Knowledge forgetting: Properties and applications. Yan Zhang, Yi Zhou. Artif. Intell. (173): 1525-1537 (2009). Web SearchBibTeXDownload |
| 16 | Modeling Abstract Behavior: A Dynamic Logic Approach. Yi Zhou, Yan Zhang. Australasian Conference on Artificial Intelligence 2009, 538-546. Web SearchBibTeXDownload |
| 15 | Service Differentiation in OFDM-Based IEEE 802.16 Networks. Yi Zhou, Kai Chen, Jianhua He, Haibing Guan, Yan Zhang, Alei Liang. EURASIP J. Wireless Comm. and Networking (2009) (2009). Web SearchBibTeXDownload |
| 14 | Bottom-up fabrication of special parylene films based on selective growth on Au-coated surface. Yi Zhou, Fei Ding, Chao Ni, Wei Wang, Wengang Wu. NEMS 2009, 441-444. Web SearchBibTeXDownload |
| 2008 |
|---|
| 13 | Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity. Yi Zhou, Leendert van der Torre, Yan Zhang. AAMAS (1) 2008, 413-420. Web SearchBibTeXDownload |
| 12 | Toward a Comprehensive Model in Internet Auction Fraud Detection. Bin Zhang, Yi Zhou, Christos Faloutsos. HICSS 2008, 79. Cited by 4Web SearchBibTeXDownload |
| 11 | Rule Calculus: Semantics, Axioms and Applications. Yi Zhou, Yan Zhang. JELIA 2008, 416-428. Web SearchBibTeXDownload |
| 10 | Meta Level Reasoning and Default Reasoning. Yi Zhou, Yan Zhang. JELIA 2008, 403-415. Web SearchBibTeXDownload |
| 2007 |
|---|
| 9 | On Line Course Organization. Ming Zhang, Weichun Wang, Yi Zhou, Yu Yang, Yuhong Xiong, Xiaoming Li. ICWL 2007, 148-159. Web SearchBibTeXDownload |
| 8 | General Default Logic. Yi Zhou, Fangzhen Lin, Yan Zhang. LPNMR 2007, 241-253. Web SearchBibTeXDownload |
| 2006 |
|---|
| 7 | Adaptive Neural Network Control of Uncertain Nonlinear Systems in the Presence of Input Saturation. Jing Zhou, Meng Joo Er, Yi Zhou. ICARCV 2006, 1-5. Web SearchBibTeXDownload |
| 6 | Security and Performance in Network Component Architecture. Dongjin Yu, Ying Li, Yi Zhou, Zhaohui Wu. International Conference on Computational Science (1) 2006, 1055-1058. Web SearchBibTeXDownload |
| 2005 |
|---|
| 5 | A Portable Doppler Device Based on a DSP with High- Performance Spectral Estimation and Output. Yufeng Zhang, Yi Zhou, Jianhua Chen, Xinling Shi, Zhenyu Guo. Asia-Pacific Computer Systems Architecture Conference 2005, 118-130. Web SearchBibTeXDownload |
| 4 | A Bayesian Mixture Model for Multi-View Face Alignment. Yi Zhou, Wei Zhang, Xiaoou Tang, Harry Shum. CVPR (2) 2005, 741-746. Web SearchBibTeXDownload |
| 3 | A probabilistic model for robust face alignment in videos. Wei Zhang, Yi Zhou, Xiaoou Tang, Junhui Deng. ICIP (3) 2005, 1060-1063. Web SearchBibTeXDownload |
| 2004 |
|---|
| 2 | Remote invoking algorithms of self-healing system. Yang Li, Can Wang, Yi Zhou, Zhaohui Wu. SMC (4) 2004, 3582-3587. Web SearchBibTeXDownload |
| 2002 |
|---|
| 1 | A Random Walk Down the Genomes: DNA Evolution in Valis. Salvatore Paxia, Archisman Rudra, Yi Zhou, Bud Mishra. IEEE Computer (35): 73-79 (2002). Web SearchBibTeXDownload |
