Jacob M. Howe

Identifiers

No identifiers captured yet.

Papers (4)

1. Efficient predicate invention using shared "NeMuS" cs.AI · 2019 · author #2
2. Worst-Case Groundness Analysis Using Definite Boolean Functions cs.PL · 2004 · author #3
3. Three Optimisations for Sharing cs.PL · 2002 · author #1
4. Efficient Groundness Analysis in Prolog cs.PL · 2002 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andy King 2 shared papers
• Ana Schramm 1 shared papers
• Artur d'Avila Garcez 1 shared papers
• Edjard Mota 1 shared papers
• Michael Codish 1 shared papers
• Samir Genaim 1 shared papers