Instrumenting Programs for Symbolic-Trace Generation.

Published in: Computer (1980)

Keyphrases

intermediate level
computer programs
machine learning
high level
natural language
answer sets
symbolic representation
generation process
automatic programming
web services
data model
mobile robot
logic programs
neural learning