| 2025 | IJCCI | Rule Extraction from Fake News Classifiers. | Fatima Iqbal, Jacob M. Howe |
| 2025 | IJCCI | Extracting Deterministic Finite Automata from RNNs via Hyperplane Partitioning and Learning. | Sandamali Yashodhara Wickramasinghe, Jacob M. Howe, Laure Daviaud |
| 2019 | IJCCI | Exact and Approximate Rule Extraction from Neural Networks with Boolean Features. | Fawaz A. Mereani, Jacob M. Howe |
| 2019 | NeSy | Efficient Predicate Invention using Shared NeMuS. | Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez |
| 2018 | IJCCI | Preventing Cross-Site Scripting Attacks by Combining Classifiers. | Fawaz A. Mereani, Jacob M. Howe |
| 2017 | NeSy | Inductive Learning in Shared Neural Multi-Spaces. | Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez |
| 2017 | NeSy | Category-based Inductive Learning in Shared NeMuS. | Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez |
| 2017 | NeSy | Learning about Actions and Events in Shared NeMuS. | Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez |
| 2017 | PPDP | Theory learning with symmetry breaking. | Jacob M. Howe, Edward Robbins, Andy King |
| 2013 | PPDP | Theory propagation and rational-trees. | Edward Robbins, Jacob M. Howe, Andy King |
| 2012 | SAS | Polyhedral Analysis Using Parametric Objectives. | Jacob M. Howe, Andy King |
| 2010 | FLOPS | A Pearl on SAT Solving in Prolog. | Jacob M. Howe, Andy King |
| 2009 | AAIM | Integer Polyhedra for Program Analysis. | Philip J. Charles, Jacob M. Howe, Andy King |
| 2009 | ATVA | Logahedra: A New Weakly Relational Domain. | Jacob M. Howe, Andy King |
| 2002 | LOPSTR | Two Variables per Linear Inequality as an Abstract Domain. | Axel Simon, Andy King, Jacob M. Howe |
| 2001 | ICLP | Positive Boolean Functions as Multiheaded Clauses. | Jacob M. Howe, Andy King |
| 2000 | ESOP | Implementing Groundness Analysis with Definite Boolean Functions. | Jacob M. Howe, Andy King |
| 1999 | LOPSTR | Specialising Fininte Domain Programs Using Polyhedra. | Jacob M. Howe, Andy King |
| 1997 | TABLEAUX | Two Loop Detection Mechanisms: A Comparision. | Jacob M. Howe |