QUEM: an achievement test for knowledge-based systems
Generalized production rules as a basis for integrating active and deductive databases
Boolean similarity measures for resource discovery
High-order pattern discovery from discrete-valued data
Implication and referential constraints: a new formal reasoning
Case-based reasoning systems: from automation to decision-aiding and stimulation
Strategic reasoning under trade-offs between action costs and advantages
Query optimization in multidatabase systems considering schema conflicts
Schema evolution of an object-oriented real-time database system for manufacturing automation
Content-based indexing of multimedia databases
A method of learning implication networks from empirical data: algorithm and Monte-Carlo simulation-based validation
Efficient scheduling of page access in index-based join processing
Author index