A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.

Ismael Rodríguez Mercedes G. Merayo Manuel Núñez

Published in: TestCom (2006)

Keyphrases

horn clauses
modal logic
multi valued
deontic logic
asynchronous circuits
definite clause
neural network
machine learning
genetic algorithm
test data
heterogeneous networks
automated reasoning
classical logic
positive and negative examples
predicate logic
proof theory