Arity

Related papers: 1

Top Researchers

Stephen Muggleton

Institution: —

Dianhuan Lin

Institution: —

Alireza Tamaddoni‐Nezhad

Institution: —

Top Cited Papers

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

Citations: 192 • 2015

Related Technologies

Artificial intelligence Computer science Mathematics Theoretical computer science Programming language Discrete mathematics First-order logic Prolog Decidability Predicate (mathematical logic)