| 1 |
Advanced Intelligence and Mechanism Approach
|
期刊论文 |
钟义信 |
| 2 |
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Better Approach to AI
|
期刊论文 |
|
| 3 |
Optimal Dynamic Portfolio Selection with Earnings-at-Risk
|
期刊论文 |
Zhongfei Li;Hailiang Yang;Xiaotie Deng |
| 4 |
Transition from fractal to non-fractal scalings in growing scale-free networks
|
期刊论文 |
Guan Jihong|Zhang Zhongzhi|Zhou Shuigeng|Chen Lichao| |
| 5 |
Strategies for Complex Data Cube Queries
|
期刊论文 |
|
| 6 |
The Regulation of Gene Expression in E-Cell
|
会议论文 |
|
| 7 |
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
|
会议论文 |
Han Lin|Kaile Su|Chu Min Li| |
| 8 |
Missing Data Analysis: A Kernel-Based Multi-imputation Approach
|
期刊论文 |
Shichao Zhang;Zhi Jin;Xiaofeng Zhu;Jilian Zhang |
| 9 |
有缺指派下的信念修正逻辑
|
期刊论文 |
肖文洁;朱朝晖 |
| 10 |
Estimating Confidence Intervals for Structural Differences between Contrast Groups with Missing Data
|
期刊论文 |
|
| 11 |
多主体系统时态认知规范的On the fly模型检测算法研究
|
期刊论文 |
吴立军;苏开乐;陈清亮;杨志华 |
| 12 |
Two Representation Theorems for Nonmonotonic Inference Relations
|
期刊论文 |
|
| 13 |
An empirical study of Chinese language networks
|
期刊论文 |
Zhou Shuigeng|Guan Jihong|Hu Guobiao|Zhang Zhongzhi| |
| 14 |
Activity Mining: from Activities to Actions
|
期刊论文 |
|
| 15 |
Forward looking Nash equilibrium for keyword auction
|
期刊论文 |
Tian-Ming Bu;Xiaotie Deng;Qi Qi |
| 16 |
A computationally grounded logic of knowledge, belief and certainty
|
会议论文 |
|
| 17 |
Guido Governatori and Vineet Padmanabhan, Observation-based model for BDI-agents
|
会议论文 |
|
| 18 |
Mining Frequent Itemsets for Protein Kinase Regulation
|
会议论文 |
|
| 19 |
SAT问题中局部搜索法的改进
|
期刊论文 |
|
| 20 |
有界模型检测同步多智能体系统的时态认知逻辑
|
期刊论文 |
骆翔宇|苏开乐|杨晋吉| |
| 21 |
Verification of Multi-agent Systems via Bounded Model Checking.
|
会议论文 |
|
| 22 |
Semantic interpretation of Compositional Logic in Instantiation Space
|
期刊论文 |
XIAO Yinyin|SU Kaile|CHEN Qingliang|LIN Han| |
| 23 |
Genetic-algorithm-based Strategy for Identifying Association Rules without Specifying Actual Minimum-support
|
期刊论文 |
|
| 24 |
An efficient peer-to-peer indexing tree structure for multidimensional data
|
期刊论文 |
Qian, Weining|Zhou, Minqi|Zhou, Aoying|Zhang, Rong| |
| 25 |
Cognitive Approach to Artificial Intelligence
|
期刊论文 |
|
| 26 |
Mechanism Approach That Unifies AI Research
|
会议论文 |
|
| 27 |
A theme-based approach to knowledge acquisition from Chinese texts
|
会议论文 |
|
| 28 |
Computation of Arbitrage in Frictional Bond Markets
|
期刊论文 |
|
| 29 |
On Default Correlation and Pricing of Collateralized Debt Obligation by Copula Functions
|
期刊论文 |
Housheng Chen;Xiaotie Deng;Ping Li;Shunming Zhang |
| 30 |
A Simplicial Approach for Discrete Fixed Point Theorems
|
期刊论文 |
Xi Chen and Xiaotie Den |
| 31 |
人工智能：由分立走向和谐
|
期刊论文 |
|
| 32 |
In-Depth Data Mining and Its Application in Stock Market
|
会议论文 |
|
| 33 |
Combined Association Rule Mining
|
会议论文 |
|
| 34 |
Cost-Sensitive Imputing Missing Values with Ordering
|
会议论文 |
Xiaofeng Zhu;Shichao Zhang;Jilian Zhang;Chengqi Zhang |
| 35 |
Adaptive indexing for content-based search in P2P systems
|
期刊论文 |
Vu, Quang Hieu|Zhang, Rong|Hu, Tianming|Zhou, Aoying|Qian, Weining| |
| 36 |
A Behavioural Pseudometric based on lambda—Bisimilarity
|
期刊论文 |
|
| 37 |
Semi-parametric Optimization for Missing Data Imputation.
|
期刊论文 |
|
| 38 |
Analog-Cell: 一种新的电子细胞图形模型
|
期刊论文 |
|
| 39 |
“理解”论：信息内容认知机理的假说
|
期刊论文 |
|
| 40 |
Characterize branching distance in terms of ()-bisimilarity
|
期刊论文 |
|
| 41 |
Domain-Driven Data Mining, a Practical Methodology
|
期刊论文 |
|
| 42 |
Building Agent Service Oriented Multi-Agent Systems
|
会议论文 |
|
| 43 |
Difference Detection Between Two Contrast Sets
|
会议论文 |
|
| 44 |
A Modal Logic for Beliefs and Pro Attitudes
|
会议论文 |
Kaile Su|Abdul Sattar|Mark Reynolds|Han Lin| |
| 45 |
Mining Class-bridge Rules Based on Rough Sets
|
期刊论文 |
|
| 46 |
From regular to growing small-world networks
|
期刊论文 |
Zhang Zhongzhi;Zhou Shuigeng;Shen Zhen;Guan Jihong |
| 47 |
Identifying quality knowledge from different data sources
|
期刊论文 |
|
| 48 |
基于知识结构的认证协议验证
|
期刊论文 |
吕关锋|陈清亮|苏开乐| |
| 49 |
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
|
会议论文 |
Lijun Wu|Kaile Su|Qingliang Chen| |
| 50 |
Transaction Protocol Analysis：Modles and Applications
|
专著 |
|
| 51 |
Mining Multiple Data Sources: Local Pattern Analysis
|
期刊论文 |
|
| 52 |
Identifying bridging rules between conceptual clusters
|
会议论文 |
|
| 53 |
A Prototype of Semantic-Based Intelligent Search Engine for Chinese Documents
|
会议论文 |
|
| 54 |
基于分形技术的数据流突变检测算法
|
期刊论文 |
|
| 55 |
Knowledge Theory and Artificial Intelligence
|
会议论文 |
|
| 56 |
An algebraic Characterization of equivalent preferential models
|
期刊论文 |
|
| 57 |
Agent-Mining Interaction: An Emerging Area
|
会议论文 |
|
| 58 |
Incompatibility networks as models of scale-free small-world graphs
|
期刊论文 |
Zhang Zhongzhi;Zhou Shuigeng;Zou Tao;Chen Lichao;Guan Jihong |
| 59 |
多智能体系统时态认知规范高效符号模型检测的算法研究
|
期刊论文 |
吴立军|苏金树|苏开乐| |
| 60 |
An Effective GML Documents Compressor
|
期刊论文 |
|
| 61 |
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
|
期刊论文 |
Weiya Yue|Guanfeng Lv|Qingliang Chen|Kaile Su|Xizhong Zheng|Abdul Sattar| |
| 62 |
Rule-based Dependency Models for Security Protocol Analysis
|
期刊论文 |
|
| 63 |
非结构化对等计算系统中多维范围搜索
|
期刊论文 |
徐林昊|周傲英|钱卫宁| |
| 64 |
Generalized Dimension-Reduction Framework for Recent-Biased Time Series Analysis
|
期刊论文 |
|
| 65 |
Exact analytical solution of average path length for Apollonian networks
|
期刊论文 |
|
| 66 |
Topologies and Laplacian spectra of a deterministic uniform recursive tree
|
期刊论文 |
Zhang Zhongzhi|Guan Jihong|Zhou Shuigeng|Qi Yi| |
| 67 |
Compensatory ability to mutation in metabolic networks
|
期刊论文 |
|
| 68 |
Kernel-Based Multi-imputation for Missing Data
|
会议论文 |
|
| 69 |
Customer Retention: Identifying Actionable Information from Web-Logs
|
期刊论文 |
|
| 70 |
知识的内涵与度量
|
期刊论文 |
|
| 71 |
An Investigation on The Theory of Information-Knowledge-Intelligence Transforms
|
期刊论文 |
|
| 72 |
Self-similarity, small-world, scale-free scaling, disassortativity, and robustness in hierarchical lattices
|
期刊论文 |
Zhang Zhongzhi;Zhou Shuigeng;Zou Tao |
| 73 |
EDUA: An Efficient Algorithm for Dynamic Database Mining
|
期刊论文 |
|
| 74 |
Domain-Driven Actionable Knowledge Discovery in the Real World
|
会议论文 |
|
| 75 |
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
|
期刊论文 |
|
| 76 |
Towards a Wrapper-Driven Ontology-Based Framework for Knowledge Extraction
|
会议论文 |
|
| 77 |
A theory of forgetting in logic programming
|
会议论文 |
Abdul Sattar|Kaile Su|Kewen Wang| |
| 78 |
Is Frequency Enough for Decision Makers to Make Decisions
|
会议论文 |
|
| 79 |
Reasoning About Knowledge by SAT Solving
|
会议论文 |
Kaile Su|Xizhong Zheng|Weiya Yue|Qingliang Chen| |
| 80 |
KEYNOTE: Keyword Search by Node Selection for Text Retrieval on DHT-Based P2P Networks.
|
会议论文 |
|
| 81 |
A Cognitive Approach to AI
|
会议论文 |
|
| 82 |
A Survey on Description Logic
|
期刊论文 |
|
| 83 |
Tracking clusters in evolving data streams over sliding windows
|
期刊论文 |
Qian, Weining|Zhou, Aoying|Jin, Cheqing|Cao, Feng| |
| 84 |
An Extended Interpreted System Model for Epistemic Logics
|
会议论文 |
Kaile Su|Abdul Sattar| |
| 85 |
Model Composition in Multi-dimensional Data Spaces.
|
会议论文 |
|
| 86 |
Primitive Recursiveness of Real Numbers under Different Representations
|
期刊论文 |
|
| 87 |
Computing the Minimum-Support for Mining Frequent Patterns
|
期刊论文 |
|
| 88 |
Fuzzy Genetic Algorithms for Pairs Mining
|
会议论文 |
|
| 89 |
To build a Blocklist Based on the Cost of Spam
|
期刊论文 |
|
| 90 |
Towards Effective Document Clustering: A Constrained K-means Based Approach
|
期刊论文 |
|
| 91 |
SET证书申请协议在SPV下的自动化验证及改进
|
期刊论文 |
肖茵茵;苏开乐;岳伟亚;陈清亮;吕关锋;杨晋吉 |
| 92 |
A geometric growth model interpolating between regular and small-world networks
|
期刊论文 |
Zhang Zhongzhi;Zhou Shuigeng;Wang Zhiyong;Shen Zhen |
| 93 |
Distributed Skyline Retrieval with Low Bandwidth Consumption
|
期刊论文 |
|
| 94 |
Maximal planar scale-free Sierpinski networks with small-world effect and power-law strength-degree correlation
|
期刊论文 |
|
| 95 |
Cost-Time Sensitive Decision Tree with Missing Values
|
会议论文 |
Shichao Zhang;Xiaofeng Zhu;Jilian Zhang;Chengqi Zhang |
| 96 |
Populating CRAB ontology using Context-Profile based Approaches
|
会议论文 |
|
| 97 |
Rigorous solution of average distance for Sierpinski network
|
期刊论文 |
章忠志;陈力超;方禄俊;周水庚;张毅超;关佶红 |
| 98 |
Degree and component size distributions in generalized uniform recursive tree
|
期刊论文 |
|
| 99 |
Similarity between preferential models
|
期刊论文 |
|
| 100 |
论“信息-知识-智能转换规律”
|
期刊论文 |
|
| 101 |
Measuring the Uncertainty of Differences for Contrasting Groups
|
会议论文 |
|
| 102 |
Prediction of protein-protein interactions from primary sequences
|
期刊论文 |
Dong Qiwen;Zhou Shuigeng;Liu Xuan |
| 103 |
一个基于智能的MAS模型及其方法论
|
期刊论文 |
|
| 104 |
A Decremental Algorithm for Mining Dynamic Databases
|
会议论文 |
|
| 105 |
Missing Value Imputation Based on Data Clustering
|
期刊论文 |
iaofeng Zhu; Chengqi Zhang |
| 106 |
Enhancing DWT for Recent-Biased Dimension Reduction on Time Series Data
|
会议论文 |
|
| 107 |
LIGHT: A Query-Efficient yet Low-Maintenance Indexing Scheme over DHTs
|
期刊论文 |
|
| 108 |
CIBuilder: A System Prototype for Building Confidence Intervals for Different Groups
|
会议论文 |
|
| 109 |
Clustering-based Missing Value Imputation for Data Preprocessing
|
会议论文 |
Chengqi Zhang;Yongsong Qin;Xiaofeng Zhu;Jilian Zhang;Shichao Zhang |
| 110 |
Information-Knowledge-Intelligence Transformations: The Kernel Mechanism of Intelligence Formation
|
会议论文 |
|
| 111 |
从“信息论”到“智能学”
|
会议论文 |
|
| 112 |
从“信息-知识-智能生态链”看信息科学
|
会议论文 |
|
| 113 |
Mining frequent closed itemsets from a landmark window over online data streams
|
期刊论文 |
|
| 114 |
符号化模型检测CTL*
|
期刊论文 |
苏开乐, 骆翔宇, 吕关锋 |
| 115 |
BDDRPA*: An Efficient BDD-based Incremental Heuristic Search Algorithm For Replanning.
|
会议论文 |
|
| 116 |
Bounded model Checking knowledge and branching time in synchronous multi-agent systems
|
会议论文 |
Kaile Su|Xiangyu Luo|Qingliang Chen|Abdul Sattar| |
| 117 |
Knowledge structure approach to verification of authentication protocols
|
期刊论文 |
Qingliang Chen|Kaile Su|Guanfeng Lv| |
| 118 |
Optimized Parameters for Missing Data Imputation
|
会议论文 |
|
| 119 |
Domain Ontology-driven Rule-based Knowledge Extraction and Query of Blogs
|
会议论文 |
|
| 120 |
GBKII: An Imputation Method for Missing Values
|
会议论文 |
|
| 121 |
The exact solution of mean geodesic distance for Vicsek fractals
|
期刊论文 |
|
| 122 |
A Characterization Theorem for Injective Model Classes Axiomatized by General Rules
|
期刊论文 |
|
| 123 |
Primitive recursive real numbers.
|
期刊论文 |
|
| 124 |
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
|
会议论文 |
Kaile Su|Han Lin| |
| 125 |
The Interpreted System Model of Knowledge, Belief, Desire and Intention
|
会议论文 |
Mehmet A Orgun|Abdul Sattar|Xiangyu Luo|Kaile Su| |
| 126 |
Local-world evolving networks with tunable clustering
|
期刊论文 |
Wang, Bing|Guan, Jihong|Rong, Lili|Zhang, Zhongzhi|Zhou, Shuigeng| |
| 127 |
Identifying Follow-Correlation Itemset-Pairs
|
期刊论文 |
Shichao Zhang;Jilian Zhang;Xiaofeng Zhu;Zifang Huang |
| 128 |
Cost-sensitive Semi-supervised Classification using CS-EM
|
会议论文 |
|
| 129 |
Efficiently Discovering Frequent Itemsets by Sampling
|
会议论文 |
|
| 130 |
Detecting Inconsistency in Biological Molecular Databases using Ontology
|
期刊论文 |
Chen Qingfeng;Yi-Ping Phoebe Chen |
| 131 |
A new approach to building histogram for selectivity estimation in query processing optimization
|
期刊论文 |
Xin Lu;Jihong Guan |
| 132 |
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System
|
会议论文 |
Qingliang Chen|Guanfeng Lv|Han Lin|Kaile Su|Congxin Zhao| |
| 133 |
Distributed Localization Using a Moving Beacon in Wireless Sensor Networks
|
期刊论文 |
|
| 134 |
Computation of Arbitrage in a Financial Market with Various Types of Frictions
|
期刊论文 |
Maocheng Cai|Xiaotie Deng|and Zhongfei Li*| |
| 135 |
Approximately Processing Multi-granularity Aggregate Queries over Data Streams
|
会议论文 |
|
| 136 |
Vertex labeling and routing in expanded Apollonian networks
|
期刊论文 |
|
| 137 |
Efficient Computation of Multi-feature Data Cubes
|
会议论文 |
|
| 138 |
Association-Based Segmentation for Chinese-Crossed Query Expansion
|
期刊论文 |
|
| 139 |
Missing is Useful: Missing Values in Cost-sensitive Decision Trees
|
期刊论文 |
Shichao Zhang;Zhenxing Qin;Charles Ling |
| 140 |
Evolving pseudofractal networks
|
期刊论文 |
|
| 141 |
The Algorithm Research for “On the fly” Model Checking Temporal Logics of Knowledge in Multi-Agent Systems
|
会议论文 |
|
| 142 |
一种支持多维数据范围查询的对等计算索引框架
|
期刊论文 |
张蓉|钱卫宁|周傲英| |
| 143 |
Autonomous Intelligent Systems: Multi-Agents and Data Mining
|
会议论文 |
|
| 144 |
SIPPER: Selecting Informative Peers in Structured P2P Environment for Content-Based Retrieval
|
会议论文 |
Shuigeng Zhou;Zheng Zhang;Weining Qian;Aoying Zhou |
| 145 |
Recursive weighted treelike networks
|
期刊论文 |
Zhang Zhongzhi;Zhou Shuigeng;Chen Lichao;Guan Jihong;Fang Lujun;Zhang Yichao |
| 146 |
A computationally grounded model of BDI-agents
|
会议论文 |
|
| 147 |
人工智能理论：从分立到统一的奥秘
|
期刊论文 |
|
| 148 |
Identifying Follow-Correlation Itemset-Pairs
|
会议论文 |
Shichao Zhang;Jilian Zhang;Xiaofeng Zhu;Zifang Huang |
| 149 |
Random Sierpinski network with scale-free small world and modular structure
|
期刊论文 |
|
| 150 |
NIIA: Nonparametric Iterative Imputation Algorithm
|
会议论文 |
Shichao Zhang;Zhi Jin;and Xiaofeng;Zhu |
| 151 |
Domain-Driven Data Mining: Methodologies and Applications
|
会议论文 |
|
| 152 |
Structuralism? Functionalism? Behaviorism? Or Mechanism? - - Looking Backward and Forward for Better Approach to AI
|
会议论文 |
|
| 153 |
机器知行学：信息-知识-智能转换与统一理论
|
专著 |
|
| 154 |
Flexible Planning Using Fuzzy Description Logics
|
会议论文 |
|
| 155 |
Detecting Collusion Attacks in Security Protocols
|
会议论文 |
|
| 156 |
机制主义方法与人工智能统一理论
|
期刊论文 |
|
| 157 |
Model Checking Temporal Logics of Knowledge Via OBDDs
|
期刊论文 |
Xiangyu Luo|Kaile Su|Abdul Sattar| |
| 158 |
A modal characterization of Lambda-bisimilarity
|
期刊论文 |
Jinjin Zhang;Zhaohui Zhu |
| 159 |
Mechanism Approach to A Unified Theory of Artificial Intelligence
|
会议论文 |
|
| 160 |
Empirical Likelihood Confidence Intervals for Differences between Two Datasets with Missing Data
|
期刊论文 |
|
| 161 |
An ontology-theme-based method of acquiring knowledge from Chinese natural language documents
|
期刊论文 |
|
| 162 |
A Strategy for Attributes Selection in Cost-Sensitive Decision Trees Induction
|
会议论文 |
|
| 163 |
Domain ontology learning and consistency checking based on TSC approach and Racer
|
会议论文 |
|
| 164 |
Some Representation Theorems for recovering contraction relations
|
期刊论文 |
|
| 165 |
POP Algorithm: Kernel-Based Imputation to Treat Missing Values in Knowledge Discovery from Databases
|
期刊论文 |
Shichao Zhang;Yongsong Qin;Jilian Zhang;Xiaofeng Zhu |
| 166 |
Improving Encoding Efficiency for Bounded Model Checking
|
会议论文 |
Qingliang Chen|Jinji Yang|Kaile Su| |
| 167 |
On Data Structures for Association Rule Discovery
|
期刊论文 |
|
| 168 |
Effects of accelerating growth on the evolution of weighted complex networks
|
期刊论文 |
Zhou Shuigeng|Zhang Zhongzhi|Fang Lujun|Guan Jihong| |
| 169 |
Detecting Differences between Contrast Groups
|
期刊论文 |
Shichao Zhang |
| 170 |
Efficient Attribute Reduction Based on Discernibility Matrix
|
会议论文 |
|
| 171 |
Missing or absent? A Question in Cost-sensitive Decision Tree
|
会议论文 |
|
