Improving completeness in multi-adjoint logic computations via general reductants.

Pedro J. Morcillo Ginés Moreno

Published in: FOCI (2011)

Keyphrases

special case
computer vision
modal logic
databases
neural network
feature selection
database systems
evolutionary algorithm
theorem proving
formal logic