Jesse Heyninck

Venues

Frequent coauthors

Papers

1. Compiling Defeasible Inference: A Dynamic Approach To System Z
   KR 2026 ·

   Luke Slater

   DBLP profile ↗ORCID search ↗
2. A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation
   IJCAI 2025 ·

   Jeroen Paul Spaans

   DBLP profile ↗ORCID search ↗
3. An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation
   AAAI 2025 · Jesse Heyninck
4. An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships
   AAAI 2025 ·

   Spencer Killen

   DBLP profile ↗ORCID search ↗
5. An Analysis of the Role of Syntax in Inductive Inference
   KR 2025 · Jesse Heyninck
6. Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
   IJCAI 2025 ·

   Pascal Kettmann

   DBLP profile ↗ORCID search ↗
7. Generalized Safe Conditional Syntax Splitting of Belief Bases
   IJCAI 2025 ·

   Lars-Phillip Spiegel

   DBLP profile ↗ORCID search ↗
8. Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
   KR 2024 ·

   Christoph Beierle

   DBLP profile ↗ORCID search ↗
9. Operator-Based Semantics for Choice Programs: Is Choosing Losing?
   KR 2024 · Jesse Heyninck
10. Semantics for Non-Flat Assumption-Based Argumentation, Revisited
    IJCAI 2024 · Jesse Heyninck