Automatic Compilation of Logical Specifications into Efficient Programs.

Published in: AAAI (1986)

Keyphrases

cost effective
database
control flow
data sets
semi automatic
fully automatic
real time
learning algorithm
information systems
e learning
multiscale
object oriented