Jesse Heyninck

10 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

IJCAI ×4 KR ×4 AAAI ×2

Frequent coauthors

Lars-Phillip Spiegel

×3

Thomas Meyer

×2

Jonas Haldimann

×2

Gabriele Kern-Isberner

×2

Christoph Beierle

×2

Luke Slater

×1

Jeroen Paul Spaans

×1

Spencer Killen

×1

Jia-Huai You

×1

Richard Booth

×1

Pascal Kettmann

×1

Hannes Strass

×1

Papers

Compiling Defeasible Inference: A Dynamic Approach To System Z
KR 2026 ·
Luke Slater
,
Thomas Meyer
, Jesse Heyninck
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation
IJCAI 2025 ·
Jeroen Paul Spaans
, Jesse Heyninck
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation
AAAI 2025 · Jesse Heyninck
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships
AAAI 2025 ·
Spencer Killen
,
Jia-Huai You
, Jesse Heyninck
An Analysis of the Role of Syntax in Inductive Inference
KR 2025 · Jesse Heyninck,
Richard Booth
,
Thomas Meyer
,
Lars-Phillip Spiegel
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics
IJCAI 2025 ·
Pascal Kettmann
, Jesse Heyninck,
Hannes Strass
Generalized Safe Conditional Syntax Splitting of Belief Bases
IJCAI 2025 ·
Lars-Phillip Spiegel
,
Jonas Haldimann
, Jesse Heyninck,
Gabriele Kern-Isberner
,
Christoph Beierle
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations
KR 2024 ·
Christoph Beierle
,
Lars-Phillip Spiegel
,
Jonas Haldimann
,
Marco Wilhelm
, Jesse Heyninck,
Gabriele Kern-Isberner
Operator-Based Semantics for Choice Programs: Is Choosing Losing?
KR 2024 · Jesse Heyninck
Semantics for Non-Flat Assumption-Based Argumentation, Revisited
IJCAI 2024 · Jesse Heyninck,
Ofer Arieli