On Approximate Decidability of Minimal Programs.

Jason Teutsch Marius Zimand

Published in: ACM Trans. Comput. Theory (2015)

Keyphrases

description logics
query answering
database
automatic programming
real time
real world
answer sets
piecewise linear
neural network
machine learning
information retrieval
exact solution