Testing Semantics for Unbounded Nondeterminism.

Luis Fernando Llana Díaz Manuel Núñez

Published in: Euro-Par (1997)

Keyphrases

logic programming
formal semantics
semantic information
artificial intelligence
data model
default reasoning
neural network
machine learning
test cases
test suite
semantic representation
specification language
argumentation semantics