Decompilation into logic - Improved.

Magnus O. Myreen Michael J. C. Gordon Konrad Slind

Published in: FMCAD (2012)

Keyphrases

logic programming
proof theory
classical logic
machine learning
programming language
sound and complete axiomatization
computational properties
multi valued
automated reasoning
modal logic
database
search algorithm
clustering algorithm
image processing
feature selection
information retrieval
neural network