Jesse Heyninck

88 papers A* 21A 3B 6C 3Misc 3Journal 32Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version).
CoRR
Jeroen Paul Spaans, Jesse Heyninck
2025 A* conf
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation.
IJCAI
Jeroen Paul Spaans, Jesse Heyninck
2025 — conf
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation.
NMR
Jeroen Paul Spaans, Jesse Heyninck
2025 A* conf
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation.
AAAI
Jesse Heyninck
2025 A* conf
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships.
AAAI
Spencer Killen, Jia-Huai You, Jesse Heyninck
2025 A* conf
An Analysis of the Role of Syntax in Inductive Inference.
KR
Jesse Heyninck, Richard Booth, Thomas Meyer, Lars-Phillip Spiegel
2025 J jnl
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version).
CoRR
Pascal Kettmann, Jesse Heyninck, Hannes Strass
2025 A* conf
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics.
IJCAI
Pascal Kettmann, Jesse Heyninck, Hannes Strass
2025 J jnl
Argumentative Characterizations of (Extended) Disjunctive Logic Programs.
Theory Pract. Log. Program.
Jesse Heyninck, Ofer Arieli
2025 — conf
Autoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-Thought.
NMR
Jesse Heyninck, Bart van Gool, Stefano Bromuri, Tjitze Rienstra
2025 B conf
Defeasible Conditionals using Answer Set Programming.
ICLP
Racquel Dennison, Jesse Heyninck, Thomas Meyer
2025 J jnl
Extension-ranking Semantics for Abstract Argumentation Preprint.
CoRR
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
2025 A* conf
Generalized Safe Conditional Syntax Splitting of Belief Bases.
IJCAI
Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle
2025 B conf
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming.
ICLP
Sanne Wielinga, Jesse Heyninck
2025 J jnl
Simple contrapositive assumption-based argumentation frameworks with preferences: Partial orders and collective attacks.
Int. J. Approx. Reason.
Ofer Arieli, Jesse Heyninck
2025 — conf
The KLM Representation Theorem for System C, Formally.
NMR
Jonathan Walther, Kai Sauerwald, Jesse Heyninck
2025 — conf
Toward Defeasible Reasoning Using Knowledge Compilation Techniques.
NMR
Luke Slater, Thomas Meyer, Jesse Heyninck
2024 J jnl
Abstract Dialectical Frameworks are Boolean Networks (full version).
CoRR
Jesse Heyninck, Matthias Knorr, João Leite
2024 B conf
Abstract Dialectical Frameworks are Boolean Networks.
LPNMR
Jesse Heyninck, Matthias Knorr, João Leite
2024 — conf
Abstract Dialectical Frameworks are Boolean Networks.
NMR
Jesse Heyninck, Matthias Knorr, João Leite
2024 J jnl
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version).
CoRR
Jesse Heyninck
2024 Misc conf
Collective Attacks in Assumption-Based Argumentation.
SAC
Ofer Arieli, Jesse Heyninck
2024 A* conf
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations.
KR
Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner
2024 — ed.
Joint Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024) co-located with the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-8, 2024.
KoDis+CAKR+SYNERGY@KR
Lucía Gómez Álvarez, Jonas Haldimann, Jesse Heyninck, Srdjan Vesic, Francesco Fabiano, Marcello Balduccini
2024 J jnl
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.
Artif. Intell.
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
2024 A* conf
Operator-Based Semantics for Choice Programs: Is Choosing Losing?
KR
Jesse Heyninck
2024 J jnl
Operator-based semantics for choice programs: is choosing losing? (full version).
CoRR
Jesse Heyninck
2024 — ed.
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024.
NMR
Nina Gierasimczuk, Jesse Heyninck
2024 A* conf
Semantics for Non-Flat Assumption-Based Argumentation, Revisited.
IJCAI
Jesse Heyninck, Ofer Arieli
2024 — conf
The Role of Syntax in Inductive Inference: A Property-based Study.
NMR
Jesse Heyninck, Richard Booth, Thomas Andreas Meyer
2023 — conf
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report).
NMR
Jesse Heyninck
2023 J jnl
Argumentative Characterizations of (Extended) Disjunctive Logic Programs.
CoRR
Jesse Heyninck, Ofer Arieli
2023 A* conf
Conditional Syntax Splitting for Non-monotonic Inference Operators.
AAAI
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
2023 — ed.
Joint Proceedings of the 2nd Workshop on Knowledge Diversity and the 2nd Workshop on Cognitive Aspects of Knowledge Representation co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023), Rhodes, Greece, September 3-4, 2023.
KoDis+CAKR@KR
Clayton K. Baker, Lucía Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, Srdjan Vesic
2023 J jnl
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates.
Theory Pract. Log. Program.
Jesse Heyninck, Bart Bogaerts
2023 J jnl
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version).
CoRR
Jesse Heyninck, Bart Bogaerts
2023 J jnl
Preface for the special issue on argument strength.
Argument Comput.
Jesse Heyninck, Kenneth Skiba, Matthias Thimm
2023 J jnl
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version).
CoRR
Jesse Heyninck, Badran Raddaoui, Christian Straßer
2023 A* conf
Ranking-based Argumentation Semantics Applied to Logical Argumentation.
IJCAI
Jesse Heyninck, Badran Raddaoui, Christian Straßer
2023 A* conf
Revising Typical Beliefs: One Revision to Rule Them All.
KR
Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia
2023 J jnl
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.
Artif. Intell.
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2023 — conf
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report).
NMR
Jesse Heyninck
2023 A* conf
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences.
KR
Ofer Arieli, Jesse Heyninck
2023 B conf
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.
JELIA
Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
2022 A* conf
Conditional Abstract Dialectical Frameworks.
AAAI
Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba
2022 A* conf
Conditional Independence for Iterated Belief Revision.
IJCAI
Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle
2022 — conf
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect.
NMR
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
2022 — conf
Explaining Argument Acceptance in ADFs.
ArgXAI
Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm
2022 A* conf
Lexicographic Entailment, Syntax Splitting and the Drowning Problem.
IJCAI
Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
2022 J jnl
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming.
CoRR
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
2022 J jnl
On Nested Justification Systems (full version).
CoRR
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
2022 J jnl
On Nested Justification Systems.
Theory Pract. Log. Program.
Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker
2022 A* conf
Possibilistic Logic Underlies Abstract Dialectical Frameworks.
IJCAI
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2022 — ed.
Proceedings of the Workshop on Cognitive Aspects of Knowledge Representation co-located with the 31st international join conference on artificial intelligence (IJCAI-ECAI 2022), Vienna, Austria, July 23, 2022.
CaKR@IJCAI
Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner
2022 — conf
Realisability of Rankings-based Semantics.
SAFA
Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner
2022 — conf
Relevance in the Computation of Non-monotonic Inferences.
SACAIR
Jesse Heyninck, Thomas Meyer
2021 J jnl
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities.
FLAP
Jesse Heyninck, Christian Straßer
2021 A* conf
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.
KR
Jesse Heyninck, Ofer Arieli
2021 — conf
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation.
ICLP Workshops
Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner
2021 J jnl
Logic-Based Approaches to Formal Argumentation.
FLAP
Ofer Arieli, Annemarie Borg, Jesse Heyninck, Christian Straßer
2021 J jnl
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Ann. Math. Artif. Intell.
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba
2021 A* conf
Ranking Extensions in Abstract Argumentation.
IJCAI
Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner
2021 J jnl
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut.
Argument Comput.
Jesse Heyninck, Christian Straßer
2021 A* conf
Revision and Conditional Inference for Abstract Dialectical Frameworks.
KR
Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm
2021 J jnl
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences.
Int. J. Approx. Reason.
Ofer Arieli, Jesse Heyninck
2021 B conf
Tractable Reasoning Using Logic Programs with Intensional Concepts.
JELIA
Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite
2020 C conf
An Epistemic Interpretation of Abstract Dialectical Argumentation.
COMMA
Jesse Heyninck, Gabriele Kern-Isberner
2020 C conf
Argumentative Reflections of Approximation Fixpoint Theory.
COMMA
Jesse Heyninck, Ofer Arieli
2020 Misc conf
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
FLAIRS
Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm
2020 A conf
Prioritized Simple Contrapositive Assumption-Based Frameworks.
ECAI
Ofer Arieli, Jesse Heyninck
2020 J jnl
Simple contrapositive assumption-based argumentation frameworks.
Int. J. Approx. Reason.
Jesse Heyninck, Ofer Arieli
2019 A conf
A Fully Rational Argumentation System for Preordered Defeasible Rules.
AAMAS
Jesse Heyninck, Christian Straßer
2019 J jnl
A review of the relations between logical argumentation and reasoning with maximal consistency.
Ann. Math. Artif. Intell.
Ofer Arieli, Annemarie Borg, Jesse Heyninck
2019 — conf
An Argumentative Characterization of Disjunctive Logic Programming.
EPIA (2)
Jesse Heyninck, Ofer Arieli
2019 — —
Investigations into the logical foundations of defeasible reasoning: an argumentative perspective.
Jesse Heyninck
2019 J jnl
Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation.
FLAP
Jesse Heyninck
2019 A conf
Simple Contrapositive Assumption-Based Frameworks.
AAMAS
Jesse Heyninck, Ofer Arieli
2019 B conf
Simple Contrapositive Assumption-Based Frameworks.
LPNMR
Jesse Heyninck, Ofer Arieli
2019 J jnl
Structured argumentation with prioritized conditional obligations and permissions.
J. Log. Comput.
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
2018 J jnl
Argument Strength in Formal Argumentation.
FLAP
Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer
2018 J jnl
Handling Inconsistencies in the Early Calculus.
J. Philos. Log.
Jesse Heyninck, Peter Verdée, Albrecht Heeffer
2018 C conf
On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks.
COMMA
Jesse Heyninck, Ofer Arieli
2017 — conf
Assumption-Based Approaches to Reasoning with Priorities.
AI^3@AI*IA
Jesse Heyninck, Pere Pardo, Christian Straßer
2017 J jnl
Assumption-Based Approaches to Reasoning with Priorities.
CoRR
Jesse Heyninck, Christian Straßer, Pere Pardo
2017 J jnl
Reasoning by Cases in Structured Argumentation.
CoRR
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
2017 Misc conf
Reasoning by cases in structured argumentation.
SAC
Mathieu Beirlaen, Jesse Heyninck, Christian Straßer
2017 A* conf
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation.
IJCAI
Jesse Heyninck, Christian Straßer
2016 J jnl
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation.
CoRR
Jesse Heyninck, Christian Straßer