Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings

Published in: LOPSTR (2021)

Keyphrases

international symposium
program synthesis
computational intelligence
international conference
revised papers
ambient intelligence
lecture notes
knowledge representation
artificial intelligence
inductive logic programming
recursive programs
genetic algorithm
domain knowledge
relational learning
database
real world