IEEE Transactions on Knowledge and Data Engineering （TKDE） - 论文列表
本期论文列表
A method for putting strategic common sense into expert systems
Knowledge representation for natural language understanding: the L/sub LILOG/ approach
Investigating the applicability of Petri nets for rule-based system verification
Logical inference of Horn clauses in Petri net models
Manager Associate (IKBS)
Deductive entity relationship modeling
RQL: a recursive query language
Formal foundations for object-oriented data modeling
Evaluation and optimization of query programs in an object-oriented and symbolic information system
Efficient indexing methods for temporal relations
The effect of index partitioning schemes on the performance of distributed query processing
Parallel and distributed processing of rules by data-reduction
On robustness of B-trees
Combining joint and semi-join operations for distributed query processing