The Completeness of GP-Resolution for Annotated Logics.

James J. Lu Lawrence J. Henschen

Published in: Inf. Process. Lett. (1992)

Keyphrases

genetic programming
expressive power
consequence finding
valued logic
high resolution
fitness function
low resolution
modal logic
high quality
manually annotated
regression problems
propositional logic
propositional calculus
classical logic
sampling rate
default logic
evolutionary algorithm