Rule ordering in bottom-up fixpoint evaluation of logic programs
First-order logic characterization of program properties
A knowledge-based fatal incident decision model
An optimization algorithm for production systems
A system for approximate tree matching
A graph-oriented object database model
Function materialization in object bases: design, realization, and evaluation
Site and query scheduling policies in multicomputer database systems
An approach to designing very fast approximate string matching algorithms
Making the knowledge base systems more efficient: a method to detect inconsistent queries
AMS: a declarative formalism for hierarchical representation of procedural knowledge
Validation of an automated system model generator
A new approach to the design of reinforcement schemes for learning automata: stochastic estimator learning algorithms
Hierarchical discretized pursuit nonlinear learning automata with rapid convergence and high accuracy