Compiling Knowledge-Based Programs (Abstract).

Aamod Sane Roy H. Campbell

Published in: PODC (1995)

Keyphrases

expert systems
high level
provably correct
data sets
low level
computer programs
intermediate level
information retrieval
decision making
image processing
clustering algorithm
answer sets