Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning.
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks.
AutoASC - A System for Automatic Acquisition of Sense Tagged Corpora.
A Knowledge-Based Approach to Cooperative Relational Database Querying.
Knowledge-Based Self-Adaptation in Evolutionary Search.
Special Issue on Tools and Techniques of Artificial Intelligence - Introduction.