Jacob M. Howe

41 papers A 1B 4C 10Misc 1Journal 14Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Canonical Forms and Widening for Two Variables Per Inequality Systems.
Math. Comput. Sci.
Martin Brain, Jacob M. Howe
2025 — conf
Extracting Deterministic Finite Automata from RNNs via Hyperplane Partitioning and Learning.
IJCCI (3)
Sandamali Yashodhara Wickramasinghe, Jacob M. Howe, Laure Daviaud
2025 — conf
Extracting Weighted Finite Automata from RNNs via iterative partitioning and spectral learning.
OVERLAY
Sandamali Yashodhara Wickramasinghe, Jacob M. Howe, Laure Daviaud
2025 — conf
Rule Extraction from Fake News Classifiers.
IJCCI (3)
Fatima Iqbal, Jacob M. Howe
2023 — conf
Widening for Systems of Two Variables Per Inequality.
SC-Square@ISSAC
Martin Brain, Jacob M. Howe
2021 J jnl
Backjumping is Exception Handling.
Theory Pract. Log. Program.
Ed Robbins, Andy King, Jacob M. Howe
2021 — conf
Classification of Date Fruits in a Controlled Environment Using Convolutional Neural Networks.
AMLTA
Wadha S. N. Alhamdan, Jacob M. Howe
2020 J jnl
Backjumping is Exception Handling.
CoRR
Edward Robbins, Andy King, Jacob M. Howe
2019 — conf
Efficient Predicate Invention using Shared NeMuS.
NeSy@IJCAI
Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
2019 J jnl
Efficient predicate invention using shared "NeMuS".
CoRR
Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
2019 C conf
Exact and Approximate Rule Extraction from Neural Networks with Boolean Features.
IJCCI
Fawaz A. Mereani, Jacob M. Howe
2019 J jnl
Incremental Closure for Systems of Two Variables Per Inequality.
Theor. Comput. Sci.
Jacob M. Howe, Andy King, Axel Simon
2018 — conf
Detecting Cross-Site Scripting Attacks Using Machine Learning.
AMLTA
Fawaz A. Mereani, Jacob M. Howe
2018 C conf
Preventing Cross-Site Scripting Attacks by Combining Classifiers.
IJCCI
Fawaz A. Mereani, Jacob M. Howe
2017 C conf
Category-based Inductive Learning in Shared NeMuS.
NeSy
Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
2017 C conf
Inductive Learning in Shared Neural Multi-Spaces.
NeSy
Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
2017 C conf
Learning about Actions and Events in Shared NeMuS.
NeSy
Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez
2017 C conf
Theory learning with symmetry breaking.
PPDP
Jacob M. Howe, Edward Robbins, Andy King
2015 J jnl
Theory propagation and reification.
Sci. Comput. Program.
Edward Robbins, Jacob M. Howe, Andy King
2013 C conf
Theory propagation and rational-trees.
PPDP
Edward Robbins, Jacob M. Howe, Andy King
2012 J jnl
A pearl on SAT and SMT solving in Prolog.
Theor. Comput. Sci.
Jacob M. Howe, Andy King
2012 B conf
Polyhedral Analysis Using Parametric Objectives.
SAS
Jacob M. Howe, Andy King
2010 Misc conf
A Pearl on SAT Solving in Prolog.
FLOPS
Jacob M. Howe, Andy King
2010 — conf
Quadtrees as an Abstract Domain.
NSAD@SAS
Jacob M. Howe, Andy King, Charles Lawrence-Jones
2009 C conf
Integer Polyhedra for Program Analysis.
AAIM
Philip J. Charles, Jacob M. Howe, Andy King
2009 B conf
Logahedra: A New Weakly Relational Domain.
ATVA
Jacob M. Howe, Andy King
2004 — ch.
Analysing Logic Programs by Reasoning Backwards.
Program Development in Computational Logic
Jacob M. Howe, Andy King, Lunjin Lu
2003 J jnl
Efficient Groundness Analysis in Prolog.
Theory Pract. Log. Program.
Jacob M. Howe, Andy King
2003 J jnl
Three Optimisations for Sharing.
Theory Pract. Log. Program.
Jacob M. Howe, Andy King
2002 J jnl
Efficient Groundness Analysis in Prolog
CoRR
Jacob M. Howe, Andy King
2002 J jnl
Three Optimisations for Sharing
CoRR
Jacob M. Howe, Andy King
2002 C conf
Two Variables per Linear Inequality as an Abstract Domain.
LOPSTR
Axel Simon, Andy King, Jacob M. Howe
2001 B conf
Positive Boolean Functions as Multiheaded Clauses.
ICLP
Jacob M. Howe, Andy King
2001 J jnl
Proof search in Lax Logic.
Math. Struct. Comput. Sci.
Jacob M. Howe
2001 J jnl
Worst-case groundness analysis using definite boolean functions.
Theory Pract. Log. Program.
Samir Genaim, Jacob M. Howe, Michael Codish
2000 J jnl
Abstracting numeric constraints with Boolean functions.
Inf. Process. Lett.
Jacob M. Howe, Andy King
2000 A conf
Implementing Groundness Analysis with Definite Boolean Functions.
ESOP
Jacob M. Howe, Andy King
1999 C conf
Specialising Fininte Domain Programs Using Polyhedra.
LOPSTR
Jacob M. Howe, Andy King
1999 — conf
Specialising Finite Domain Programs Using Polyhedra.
ECOOP Workshops
Jacob M. Howe, Andy King
1998 — —
Proof search issues in some non-classical logics.
Jacob M. Howe
1997 B conf
Two Loop Detection Mechanisms: A Comparision.
TABLEAUX
Jacob M. Howe