Notes on concurrent engineering
The integration of rule systems and database systems
Knowledge intensive software engineering tools
Image information systems: where do we go from here?
KDA: a knowledge-based database assistant with a query guiding facility
Population-based learning: a method for learning from examples under resource constraints
Vectorization of a generalized procedure for theorem proving in propositional logic on vector computers
The management of probabilistic data