default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJesse Heyninck
Person information
- affiliation: Open Universiteit, Heerlen, The Netherland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j17]Ofer Arieli
, Jesse Heyninck:
Simple contrapositive assumption-based argumentation frameworks with preferences: Partial orders and collective attacks. Int. J. Approx. Reason. 178: 109340 (2025)- [c44]Jesse Heyninck:
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation. AAAI 2025: 14967-14975 - [c43]Spencer Killen, Jia-Huai You, Jesse Heyninck:
An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships. AAAI 2025: 15033-15040 - [c42]Jeroen Spaans, Jesse Heyninck:
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation. IJCAI 2025: 2684-2692 - [c41]Pascal Kettmann, Jesse Heyninck, Hannes Strass:
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics. IJCAI 2025: 4544-4552 - [c40]Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle:
Generalized Safe Conditional Syntax Splitting of Belief Bases. IJCAI 2025: 4678-4686 - [i15]Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner:
Extension-ranking Semantics for Abstract Argumentation Preprint. CoRR abs/2504.21683 (2025) - [i14]Sanne Wielinga, Jesse Heyninck:
Interpretable Hybrid Machine Learning Models Using FOLD-R++ and Answer Set Programming. CoRR abs/2506.19573 (2025) - [i13]Pascal Kettmann, Jesse Heyninck, Hannes Strass:
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version). CoRR abs/2507.11961 (2025) - [i12]Jeroen Spaans, Jesse Heyninck:
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version). CoRR abs/2507.16067 (2025) - 2024
- [j16]Jesse Heyninck, Ofer Arieli, Bart Bogaerts:
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. Artif. Intell. 331: 104110 (2024) - [c39]Jesse Heyninck, Ofer Arieli:
Semantics for Non-Flat Assumption-Based Argumentation, Revisited. IJCAI 2024: 3413-3420 - [c38]Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner:
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR 2024 - [c37]Jesse Heyninck:
Operator-Based Semantics for Choice Programs: Is Choosing Losing? KR 2024 - [c36]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. LPNMR 2024: 98-111 - [c35]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. NMR 2024: 53-60 - [c34]Jesse Heyninck, Richard Booth, Thomas Andreas Meyer:
The Role of Syntax in Inductive Inference: A Property-based Study. NMR 2024: 142-151 - [c33]Ofer Arieli, Jesse Heyninck:
Collective Attacks in Assumption-Based Argumentation. SAC 2024: 746-753 - [e4]Lucía Gómez Álvarez, Jonas Haldimann, Jesse Heyninck, Srdjan Vesic, Francesco Fabiano, Marcello Balduccini:
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. CEUR Workshop Proceedings 3876, CEUR-WS.org 2024 [contents] - [e3]Nina Gierasimczuk, Jesse Heyninck:
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. CEUR Workshop Proceedings 3835, CEUR-WS.org 2024 [contents] - [i11]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR abs/2407.02055 (2024) - [i10]Jesse Heyninck:
Operator-based semantics for choice programs: is choosing losing? (full version). CoRR abs/2407.21556 (2024) - [i9]Jesse Heyninck:
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version). CoRR abs/2412.13712 (2024) - 2023
- [j15]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. Artif. Intell. 317: 103876 (2023) - [j14]Jesse Heyninck, Kenneth Skiba, Matthias Thimm:
Preface for the special issue on argument strength. Argument Comput. 14(3): 245-246 (2023) - [j13]Jesse Heyninck, Bart Bogaerts:
Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates. Theory Pract. Log. Program. 23(4): 632-647 (2023) - [c32]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle:
Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI 2023: 6416-6424 - [c31]Jesse Heyninck, Badran Raddaoui, Christian Straßer:
Ranking-based Argumentation Semantics Applied to Logical Argumentation. IJCAI 2023: 3268-3276 - [c30]Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck:
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA 2023: 462-477 - [c29]Ofer Arieli, Jesse Heyninck:
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. KR 2023: 55-64 - [c28]Jesse Heyninck, Giovanni Casini, Thomas Meyer, Umberto Straccia:
Revising Typical Beliefs: One Revision to Rule Them All. KR 2023: 355-364 - [c27]Jesse Heyninck:
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report). NMR 2023: 64-73 - [c26]Jesse Heyninck:
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report). NMR 2023: 74-83 - [e2]Clayton K. Baker, Lucía Gómez Álvarez, Jesse Heyninck, Thomas Meyer, Rafael Peñaloza, Srdjan Vesic:
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. CEUR Workshop Proceedings 3548, CEUR-WS.org 2023 [contents] - [i8]Jesse Heyninck, Bart Bogaerts:
Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version). CoRR abs/2305.10846 (2023) - [i7]Jesse Heyninck, Ofer Arieli:
Argumentative Characterizations of (Extended) Disjunctive Logic Programs. CoRR abs/2306.07126 (2023) - [i6]Jesse Heyninck, Badran Raddaoui, Christian Straßer:
Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version). CoRR abs/2307.16780 (2023) - 2022
- [j12]Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker:
On Nested Justification Systems. Theory Pract. Log. Program. 22(5): 641-657 (2022) - [c25]Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba:
Conditional Abstract Dialectical Frameworks. AAAI 2022: 5692-5699 - [c24]Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm:
Explaining Argument Acceptance in ADFs. ArgXAI@COMMA 2022 - [c23]Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner:
Realisability of Rankings-based Semantics. SAFA@COMMA 2022: 73-85 - [c22]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Possibilistic Logic Underlies Abstract Dialectical Frameworks. IJCAI 2022: 2655-2661 - [c21]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI 2022: 2662-2668 - [c20]Gabriele Kern-Isberner, Jesse Heyninck, Christoph Beierle:
Conditional Independence for Iterated Belief Revision. IJCAI 2022: 2690-2696 - [c19]Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer:
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR 2022: 61-69 - [c18]Jesse Heyninck, Thomas Meyer:
Relevance in the Computation of Non-monotonic Inferences. SACAIR 2022: 202-214 - [e1]Jesse Heyninck, Thomas Meyer, Marco Ragni, Matthias Thimm, Gabriele Kern-Isberner:
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. CEUR Workshop Proceedings 3251, CEUR-WS.org 2022 [contents] - [i5]Simon Marynissen, Jesse Heyninck, Bart Bogaerts, Marc Denecker:
On Nested Justification Systems (full version). CoRR abs/2205.04541 (2022) - [i4]Jesse Heyninck, Ofer Arieli, Bart Bogaerts:
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming. CoRR abs/2211.17262 (2022) - 2021
- [j11]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba:
On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Ann. Math. Artif. Intell. 89(10-11): 1075-1099 (2021) - [j10]Jesse Heyninck, Christian Straßer:
Rationality and maximal consistent sets for a fragment of ASPIC+ without undercut. Argument Comput. 12(1): 3-47 (2021) - [j9]Jesse Heyninck, Christian Straßer:
A Comparative Study of Assumption-based Argumentative Approaches to Reasoning with Priorities. FLAP 8(3): 737-808 (2021) - [j8]Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer:
Logic-Based Approaches to Formal Argumentation. FLAP 8(6): 1793-1898 (2021) - [j7]Ofer Arieli, Jesse Heyninck:
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences. Int. J. Approx. Reason. 139: 28-53 (2021) - [c17]Andre Thevapalan, Jesse Heyninck, Gabriele Kern-Isberner:
Establish Coherence in Logic Programs Modelling Expert Knowledge via Argumentation. ICLP Workshops 2021 - [c16]Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner:
Ranking Extensions in Abstract Argumentation. IJCAI 2021: 2047-2053 - [c15]Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite:
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA 2021: 329-345 - [c14]Jesse Heyninck, Ofer Arieli:
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. KR 2021: 334-344 - [c13]Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm:
Revision and Conditional Inference for Abstract Dialectical Frameworks. KR 2021: 345-355 - 2020
- [j6]Jesse Heyninck, Ofer Arieli:
Simple contrapositive assumption-based argumentation frameworks. Int. J. Approx. Reason. 121: 103-124 (2020) - [c12]Jesse Heyninck, Ofer Arieli:
Argumentative Reflections of Approximation Fixpoint Theory. COMMA 2020: 215-226 - [c11]Jesse Heyninck, Gabriele Kern-Isberner:
An Epistemic Interpretation of Abstract Dialectical Argumentation. COMMA 2020: 227-238 - [c10]Ofer Arieli, Jesse Heyninck:
Prioritized Simple Contrapositive Assumption-Based Frameworks. ECAI 2020: 608-615 - [c9]Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm:
On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics. FLAIRS 2020: 575-580
2010 – 2019
- 2019
- [b1]Jesse Heyninck:
Investigations into the logical foundations of defeasible reasoning: an argumentative perspective. Ruhr University Bochum, Germany, 2019 - [j5]Ofer Arieli, Annemarie Borg, Jesse Heyninck:
A review of the relations between logical argumentation and reasoning with maximal consistency. Ann. Math. Artif. Intell. 87(3): 187-226 (2019) - [j4]Jesse Heyninck:
Relations Between Assumption-based Approaches in Nonmonotonic Logics and Formal Argumentation. FLAP 6(2): 319-360 (2019) - [j3]Mathieu Beirlaen, Jesse Heyninck, Christian Straßer:
Structured argumentation with prioritized conditional obligations and permissions. J. Log. Comput. 29(2): 187-214 (2019) - [c8]Jesse Heyninck, Christian Straßer:
A Fully Rational Argumentation System for Preordered Defeasible Rules. AAMAS 2019: 1704-1712 - [c7]Jesse Heyninck, Ofer Arieli:
Simple Contrapositive Assumption-Based Frameworks. AAMAS 2019: 2018-2020 - [c6]Jesse Heyninck, Ofer Arieli:
An Argumentative Characterization of Disjunctive Logic Programming. EPIA (2) 2019: 526-538 - [c5]Jesse Heyninck, Ofer Arieli:
Simple Contrapositive Assumption-Based Frameworks. LPNMR 2019: 75-88 - 2018
- [j2]Mathieu Beirlaen, Jesse Heyninck, Pere Pardo, Christian Straßer:
Argument Strength in Formal Argumentation. FLAP 5(3): 629-676 (2018) - [j1]Jesse Heyninck, Peter Verdée, Albrecht Heeffer:
Handling Inconsistencies in the Early Calculus. J. Philos. Log. 47(3): 481-511 (2018) - [c4]Jesse Heyninck, Ofer Arieli:
On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks. COMMA 2018: 9-20 - 2017
- [c3]Jesse Heyninck, Pere Pardo, Christian Straßer:
Assumption-Based Approaches to Reasoning with Priorities. AI^3@AI*IA 2017: 58-72 - [c2]Jesse Heyninck, Christian Straßer:
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. IJCAI 2017: 1088-1092 - [c1]Mathieu Beirlaen, Jesse Heyninck, Christian Straßer:
Reasoning by cases in structured argumentation. SAC 2017: 989-994 - [i3]Mathieu Beirlaen, Jesse Heyninck, Christian Straßer:
Reasoning by Cases in Structured Argumentation. CoRR abs/1703.08397 (2017) - [i2]Jesse Heyninck, Christian Straßer, Pere Pardo:
Assumption-Based Approaches to Reasoning with Priorities. CoRR abs/1709.07255 (2017) - 2016
- [i1]Jesse Heyninck, Christian Straßer:
Relations between assumption-based approaches in nonmonotonic logic and formal argumentation. CoRR abs/1604.00162 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-12-28 01:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
