Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation.

William M. Farmer Pouya Larjani

Published in: CoRR (2013)

Keyphrases

evaluation methods
information systems
evaluation method
artificial intelligence
three dimensional
evaluation measures
qualitative reasoning
operational semantics