Document processing for automatic knowledge acquisition
Prolog/Rex/spl minus/a way to extend Prolog for better knowledge representation
The design, implementation, and performance evaluation of BERMUDA
A computationally tractable nonmonotonic logic
Automated reasoning using possibilistic logic: semantics, belief revision, and variable certainty weights
Representation of qualitative user preference by quantitative belief functions
Bounded disorder file organization
Spatial SQL: a query and presentation language
Constraint-based query evaluation in deductive databases
Outer joins and filters for instantiating objects from relational databases through views
Volcano/spl minus/an extensible and parallel query evaluation system
Semantic query optimization for tree and chain queries
A graph theoretical approach to determine a join reducer sequence in distributed query processing
Using tickets to enforce the serializability of multidatabase transactions
An object-oriented query evaluation scheme for logical databases in massively parallel environment
A protocol for establishing secure communication channels in a large network