Login / Signup
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
Manuel V. Hermenegildo
Pedro López-García
Published in:
CoRR (2016)
Keyphrases
</>
program synthesis
recursive programs
artificial intelligence
computer science
invited talk
knowledge representation
inductive logic programming
information retrieval
support vector machine
structured data
first order logic