Generalized resolution and NC-resolution. - Xuhua Liu; Jigui Sun (J. Comput. Sci. Technol., 1994)

The global properties of valid formulas in modal logic K. - Jigui Sun; Xiaochun Cheng; Xuhua Liu (J. Comput. Sci. Technol., 1996)

The Concept of Approximation Based on Fuzzy Dominance Relation in Decision-Making. - Yunxiang Liu; Jigui Sun; Sheng-Sheng Wang 001 (RSFDGrC, 2003)

Theorem Proving Based on the Extension Rule. - Hai Lin 008; Jigui Sun; Yimin Zhang 005 (J. Autom. Reason., 2003)

Extended Constraint Handling for CP-Networks. - Yonggang Zhang; Jigui Sun (IIP, 2004)

Knowledge Compilation Using the Extension Rule. - Hai Lin 008; Jigui Sun (J. Autom. Reason., 2004)

Transforming Non-covering Dimensions in OLAP. - Zehai Li; Jigui Sun; Jun Zhao; Haihong Yu (APWeb, 2005)

Quantum Search in Structured Database. - Yuguo He; Jigui Sun (ICNC (3), 2005)

A Dynamic Constraint Solving Scheme for Semi On-Line Scheduling Problems. - Juyang Zhang; Jigui Sun; Yonggang Zhang (AIAI, 2005)

Extension Rule in First Order Logic. - Xia Wu; Jigui Sun; Kun Hou (IEEE ICCI, 2006)

Static Knowledge Representation of Multi-Agent System's Specification by Description Logic. - Haiyan Che; Jigui Sun (Description Logics, 2006)

An Efficient Method for Very Large Scale Out-of-Core Terrain Visualization. - Huijie Zhang; Jigui Sun; Haihong Yu; Changsong Qi (ICAT Workshops, 2006)

A Hybrid Particle Swarm Optimization for Binary CSPs. - Qingyun Yang; Jigui Sun; Juyang Zhang; Chunjie Wang (ICIC (3), 2006)

Solving Uncertain Markov Decision Problems: An Interval-Based Method. - Shulin Cui; Jigui Sun; Minghao Yin; Shuai Lu 001 (ICNC (2), 2006)

A Hybrid Discrete Particle Swarm Algorithm for Hard Binary CSPs. - Qingyun Yang; Jigui Sun; Juyang Zhang; Chunjie Wang (ICNC (2), 2006)

Hyper Tableaux - The Third Version. - Shasha Feng; Jigui Sun; Xia Wu (KSEM, 2006)

An Extension Rule Based First-Order Theorem Prover. - Xia Wu; Jigui Sun; Kun Hou (KSEM, 2006)

An Interpretation of Flow Graphs by Granular Computing. - Jigui Sun; Huawen Liu; Changsong Qi; Huijie Zhang (RSCTC, 2006)

An Extension of Pawlak's Flow Graphs. - Jigui Sun; Huawen Liu; Huijie Zhang (RSKT, 2006)

Improved Propositional Extension Rule. - Xia Wu; Jigui Sun; Shuai Lu 001; Ying Li; Wei Meng; Minghao Yin (RSKT, 2006)

A Hybrid Discrete Particle Swarm Algorithm for Open-Shop Problems. - Qingyun Yang; Jigui Sun; Juyang Zhang; Chunjie Wang (SEAL, 2006)

Counting Models using Extension Rules. - Minghao Yin; Hai Lin 008; Jigui Sun (AAAI, 2007)

An Improved Concurrent Search Algorithm for Distributed CSPs. - Jian Gao; Jigui Sun; Yonggang Zhang (Australian Conference on Artificial Intelligence, 2007)

A Prototype of Semantic-Based Intelligent Search Engine for Chinese Documents. - Haiyan Che; Tao Jing; Jigui Sun; Xi Bai 002 (FSKD (2), 2007)

Improving the Convergence of RTDP. - Tian Liang; Jigui Sun; Minghao Yin (FSKD (1), 2007)

Translating PDDL Tasks into Multi-valued Conformant Planning Tasks. - Jingjing Zhao; Jigui Sun; Minghao Yin (FSKD (4), 2007)

A new simplification method for terrain model using discrete particle swarm optimization. - Huijie Zhang; Jigui Sun; Jin Liu; Nan Lv (GIS, 2007)

Complex Knowledge System Modeling Based on Hierarchical Fuzzy Petri Net. - Hongjun Pan; Jigui Sun (Web Intelligence/IAT Workshops, 2007)

A New Seamless Multi-resolution Simplification Method for the Terrain Model. - Huijie Zhang; Jigui Sun; Changsong Qi; Nan Lv (Web Intelligence/IAT Workshops, 2007)

An Improved Discrete Particle Swarm Optimization Algorithm for TSP. - Changsheng Zhang 001; Jigui Sun; Yan Wang; Qingyun Yang (Web Intelligence/IAT Workshops, 2007)

Flexible Planning Using Fuzzy Description Logics. - Lian Shi; Jigui Sun; Shuai Lu 001; Minghao Yin (IC-AI, 2007)

Making FF Faster in ADL Domains. - Dunbo Cai; Jigui Sun; Minghao Yin (ICNC (2), 2007)

The Regulation of Gene Expression in E-Cell. - Xinhua Lu; Jigui Sun; Ying Ren; Shuai Lu 001 (ICNC (3), 2007)

A Novel GA-LM Based Hybrid Algorithm. - Changsheng Zhang 001; Jigui Sun; Qiansheng Wang; Zhe Feng (ICNC (2), 2007)

A Theme-Based Approach to Knowledge Acquisition from Chinese Texts. - Haiyan Che; Jigui Sun; Tao Jing; Xi Bai 002 (IKE, 2007)

Populating CRAB Ontology Using Context-Profile Based Approaches. - Lian Shi; Jigui Sun; Haiyan Che (KSEM, 2007)

Towards a Wrapper-Driven Ontology-Based Framework for Knowledge Extraction. - Jigui Sun; Xi Bai 002; Zehai Li; Haiyan Che; Huawen Liu (KSEM, 2007)

The Application of Outlined Features in Dynamic Tone Modeling for Mandarin Speech. - Changsheng Zhang 001; Jigui Sun; Fengqin Yang; Chuan Xia (MSA, 2007)

A General Method of Mining Chinese Web Documents Based on GA&SA and Position-Factors. - Xi Bai 002; Jigui Sun; Haiyan Che; Jin Wang (PAKDD Workshops, 2007)

Recent advances in conformant planning. - Jingjing Zhao; Jigui Sun; Minghao Yin (ROBIO, 2007)

Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer. - Xi Bai 002; Jigui Sun; Zehai Li; Xianrui Lu (RR, 2007)

Inference and Reformation in Flow Graphs Using Granular Computing. - Huawen Liu; Jigui Sun; Changsong Qi; Xi Bai 002 (RSEISP, 2007)

Model Composition in Multi-dimensional Data Spaces. - Haihong Yu; Jigui Sun; Xia Wu; Zehai Li (RSKT, 2007)

Towards Knowledge Extraction from Weblogs and Rule-Based Semantic Querying. - Xi Bai 002; Jigui Sun; Haiyan Che; Jin Wang (RuleML, 2007)

Recognizing the agent's goals incrementally: planning graph as a basis. - Jigui Sun; Minghao Yin (Frontiers Comput. Sci. China, 2007)

Model Net: a Representation of the Static Structure of Modelbase. - Changsong Qi; Jigui Sun (Int. J. Pattern Recognit. Artif. Intell., 2007)

A Multistage Rule Induction Algorithm in Classification. - Jigui Sun; Huawen Liu; Changsong Qi (Int. J. Pattern Recognit. Artif. Intell., 2007)

Extension or Resolution: A Novel Approach for Reasoning in Possibilistic Logic. - Minghao Yin; Jigui Sun (Analysis and Design of Intelligent Systems using Soft Computing Techniques, 2007)

Conformant Planning Heuristics Based on Plan Reuse in Belief States. - Dunbo Cai; Jigui Sun; Minghao Yin (AAAI, 2008)

Automatic Instance Identification in Intelligent Information Search Engine CRAB. - Lian Shi; Jigui Sun (DEXA Workshops, 2008)

Application of Aggregated Knowledge Concept in Automatic Knowledge Acquisition from Chinese Web Pages. - Haiyan Che; Jigui Sun; Xi Bai 002; Lian Shi (ISIP, 2008)

Towards Knowledge Acquisition from Semi-Structured Content. - Xi Bai 002; Jigui Sun; Haiyan Che; Lian Shi (Int. J. Softw. Informatics, 2008)

An improved particle swarm optimization algorithm for flowshop scheduling problem. - Changsheng Zhang 001; Jigui Sun; Xingjun Zhu; Qingyun Yang (Inf. Process. Lett., 2008)

Interpretation of Extended Pawlak Flow Graphs Using Granular Computing. - Huawen Liu; Jigui Sun; Huijie Zhang (Trans. Rough Sets, 2008)

Flexible planning using fuzzy description logics: Theory and application. - Lian Shi; Jigui Sun; Shuai Lu 001; Minghao Yin (Appl. Soft Comput., 2009)

Post-processing of associative classification rules using closed sets. - Huawen Liu; Jigui Sun; Huijie Zhang (Expert Syst. Appl., 2009)

An alternate two phases particle swarm optimization algorithm for flow shop scheduling problem. - Changsheng Zhang 001; Jigui Sun (Expert Syst. Appl., 2009)

Feature selection with dynamic mutual information. - Huawen Liu; Jigui Sun; Lei Liu 040; Huijie Zhang (Pattern Recognit., 2009)

Extended Pawlak's Flow Graphs and Information Theory. - Huawen Liu; Jigui Sun; Huijie Zhang; Lei Liu 040 (Trans. Comput. Sci., 2009)

Automatic Extraction of Drainage Networks from DEMs Base on Heuristic Search. - Kun Hou; Jigui Sun; Wei Yang; Tieli Sun; Ying Wang; Sijun Ma (J. Softw., 2011)