Algebraic Completeness Results for R-Mingle and Its Extensions.

J. Michael Dunn

Published in: J. Symb. Log. (1970)

Keyphrases

efficient implementation
algebraic operators
data sets
default theories
artificial intelligence
preprocessing
expert systems
evolutionary algorithm
higher order
default logic