Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics.

Jan-Willem Roorda Koen Claessen

Published in: CSR (2006)

Keyphrases

artificial intelligence
formal semantics
evaluation process
high level
semantic information
evaluation method
evaluation methods