Unification-Free Execution of TYPOL Programs by Semantic Attribute Evaluation.

I. Attila Paul Franchi-Zannettacci

Published in: ICLP/SLP (1988)

Keyphrases

high level
program execution
theorem proving
semantic information
attribute values
evaluation criteria
natural language
data flow
computer programs
control flow
semantic web
domain specific
evaluation method
semantic analysis
evaluation methods
semantic representation
neural network