2 papers
cs.AI2026
Global Difference Constraint Propagation for Constraint Programming
Lucas Kletzander, Jip J. Dekker, Andreas Schutt +1
Difference constraints of the form are well studied, with efficient algorithms for satisfaction and implication, because of their connection to shortest paths. Finit…
cs.AI2024
Formal Explanations for Neuro-Symbolic AI
Sushmita Paul, Jinqiang Yu, Jip J. Dekker +2
Despite the practical success of Artificial Intelligence (AI), current neural AI algorithms face two significant issues. First, the decisions made by neural architectures are often…