conftrace_

recursive rule

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

datalog program (1) numerical relaxation (1) logical rule learning (1) logic programming (1) rule learning (1) continuous optimization (1) numerical optimization (1) program synthesis (1)

Papers

Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019