Arity

相关论文数: 1

顶级研究者

Stephen Muggleton

研究机构: —

Dianhuan Lin

研究机构: —

Alireza Tamaddoni‐Nezhad

研究机构: —

最高引用论文

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

Stephen Muggleton, Dianhuan Lin, Alireza Tamaddoni‐Nezhad

引用数: 192 • 2015

相关技术

Artificial intelligenceComputer scienceMathematicsTheoretical computer scienceProgramming languageDiscrete mathematicsFirst-order logicPrologDecidabilityPredicate (mathematical logic)