The ground axiom.

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

Keyphrases

modal logic
inference rules
evolutionary algorithm
definite clause
decision making
software engineering
neural network
genetic algorithm
image processing
high quality
search algorithm
pattern recognition
image analysis