Curriculum knowledge representation and manipulation in knowledge-based tutoring systems
Using compiled knowledge to guide and focus abductive diagnosis
An evidential reasoning approach to attribute value conflict resolution in database integration
A logic programming framework for modeling temporal objects
Computation of stable models and its integration with logical query processing
Decomposition of knowledge for concurrent processing
Hybrid knowledge bases
Using reconfiguration for efficient management of replicated data
Performance analysis of long-lived transaction processing systems with rollbacks and aborts
Global committability in multidatabase systems
A framework for product data
Alternative correctness criteria for concurrent execution of transactions in multilevel secure databases
Storage allocation policies for time-dependent multimedia data