Differentiable Meta logical Programming.
Zihan YeHikaru ShindoDevendra Singh DhamiKristian KerstingPublished in: CoRR (2022)
Keyphrases
- programming language
- meta level
- objective function
- social networks
- programming environment
- object oriented
- meta reasoning
- logical representation
- programming concepts
- object oriented programming
- loss function
- logic programs
- machine learning
- domain knowledge
- search algorithm
- multiscale
- image sequences
- decision trees
- genetic algorithm