- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j4 |      | Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao: A Family of Dynamic Description Logics for Representing and Reasoning About Actions. J. Autom. Reasoning 49(1): 1-52 (2012) |
| j3 | | Junyan Qian, Min Li, Lingzhong Zhao: Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction. Procedia CS 9: 1363-1370 (2012) |
| 2011 | ||
| c12 | | You Li, Yuming Lin, Lingzhong Zhao: A Comparative Study on Appending Priority Relations of Rules in BDI-Based Agent Model. CIS 2011: 171-175 |
| 2010 | ||
| j2 | | Lingzhong Zhao, Junyan Qian, Liang Chang, Guoyong Cai: Using ASP for knowledge management with user authorization. Data Knowl. Eng. 69(8): 737-762 (2010) |
| c11 | | Lingzhong Zhao, Xuesong Wang, Junyan Qian, Tianlong Gu: Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. PRICAI 2010: 384-396 |
| 2009 | ||
| c10 | | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Automatic Construction of Complete Abstraction by Abstract Interpretation. ACIS-ICIS 2009: 927-932 |
| c9 | | Lingzhong Zhao, Weizhi Liao, Yili Fang, Junyan Qian, Congwen Zeng: An ASP based method for subassembly identification. ROBIO 2009: 1317-1322 |
| c8 | | Xuesong Wang, Lingzhong Zhao, Congwen Zeng, Junyan Qian, Tianlong Gu: An ASP Based Solution to Mechanical Assembly Sequence Planning. WGEC 2009: 205-208 |
| 2008 | ||
| j1 | | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: Test frame updating in CPM testing of Prolog programs. Software Quality Journal 16(2): 277-298 (2008) |
| c7 | | Junyan Qian, Lingzhong Zhao, Guoyong Cai, Tianlong Gu: Formula-Dependent Abstraction for CTL Model Checking. ICCSA (2) 2008: 1035-1048 |
| 2007 | ||
| c6 | | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. APLAS 2007: 105-121 |
| c5 | | Lingzhong Zhao, Tianlong Gu, Junyan Qian: Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. TASE 2007: 261-272 |
| 2006 | ||
| c4 | | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: On the New Application of Call Patterns to CPM Testing of Prolog Programs. Australian Conference on Artificial Intelligence 2006: 1265-1270 |
| c3 | | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: Designing Prolog Semantics for a Class of Observables. PRICAI 2006: 1052-1057 |
| c2 |  | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. SEKE 2006: 359-362 |
| c1 | | Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai: A Base for Achieving Semantics for Prolog with Cut for Correct Observables. Software Engineering Research and Practice 2006: 664-670 |
| 1 | Guoyong Cai | |
| 2 | Liang Chang | |
| 3 | Yili Fang | |
| 4 | Tianlong Gu | |
| 5 | Min Li | |
| 6 | You Li | |
| 7 | Weizhi Liao | |
| 8 | Yuming Lin | |
| 9 | Junyan Qian | |
| 10 | Zhongzhi Shi | |
| 11 | Xuesong Wang | |
| 12 | Congwen Zeng |
Colors in the list of coauthors
Last update Tue May 21 22:04:35 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page