Knowledge-based programs.

Published in: Arch. Formal Proofs (2011)

Keyphrases

database systems
expert systems
database
real time
machine learning
computer vision
multimedia
objective function
relational databases
automatic programming
prolog programs