5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2020★ 5 cited
Backjumping is Exception Handling
Ed Robbins, Andy King, Jacob M. Howe
ISO Prolog provides catch and throw to realise the control flow of exception handling. This pearl demonstrates that catch and throw are inconspicuously amenable to the implementati…
cs.AI2019
Efficient predicate invention using shared "NeMuS"
Edjard Mota, Jacob M. Howe, Ana Schramm +1
Amao is a cognitive agent framework that tackles the invention of predicates with a different strategy as compared to recent advances in Inductive Logic Programming (ILP) approache…
cs.PL2004
Worst-Case Groundness Analysis Using Definite Boolean Functions
Samir Genaim, Michael Codish, Jacob M. Howe
This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Po…