conftrace_

guarded clause

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

horn clause (1) polynomial hierarchy (1) complexity theory (1) inductive logic programming (1) complexity analysis (1) computational complexity (1)

Papers

On the Complexity of Inductively Learning Guarded Clauses AAAI 2022