Jonas Philipp Haldimann

Publications

My DBLP profile.

My Google Scholar profile.

My ORCiD is 0000-0002-2618-8721 .

 Book Journal article Conference/workshop contribution Part of a collection
 2026
  Christoph Beierle, Lars-Phillip Spiegel, Jonas Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner:
Conditional Syntax and Semantic Splittings of Strongly and Weakly Consistent Belief Bases. The European Journal on Artificial Intelligence (2026)
DOI: 10.1177/30504554251410836
  Alexander Hahn, Lars-Phillip Spiegel, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle:
Representation Invariance for Epistemic Revision Operators. The European Journal on Artificial Intelligence (2026)
DOI: 10.1177/30504554261417563
  Christoph Beierle, Aron Spang, Lars-Phillip Spiegel, Jonas Haldimann:
Implementing Nonmonotonic Reasoning From Weakly Consistent Conditional Belief Bases. FLAIRS 2026
DOI: 10.32473/flairs.39.1.141787
  Jonas Haldimann, Mantas Šimkus, Thomas Meyer:
Towards Defeasible Reasoning about Actions and Their Effects. NMR 2026
Link: https://ceur-ws.org/Vol-4239/paper-Haldimann-38.pdf
  Roy Ferguson, Jonas Haldimann, Jesse Heynick, Thomas Meyer:
Categorical Independence in Nonmonotonic and Probabilistic Reasoning. NMR 2026
Link: https://ceur-ws.org/Vol-4239/paper-Ferguson-29.pdf
  Jonas Karge, Roy Ferguson, Daniel Grimaldi, Jonas Haldimann, Ruvarashe Madzime, Thomas Meyer:
First Steps Towards Human-AI Ranking Aggregation. SKILLED-LLMs 2026
Link: https://ceur-ws.org/Vol-4229/paper2.pdf
 2025
  Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
SPO-Representable Inductive Inference Operators Extending Rational Closure. The European Journal on Artificial Intelligence (2025)
DOI: 10.1177/30504554251394322
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Inductive inference from weakly consistent belief bases. The Knowledge Engineering Review 40(e8): 1-32 (2025)
DOI: 10.1017/S0269888925100088
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Reasoning with system W and infeasible worlds. Ann. Math. Artif. Intell. 39: 665-698 (2025)
DOI: 10.1007/s10472-025-09982-w
  Giovanni Casini, Jonas Philipp Haldimann, Thomas Meyer:
Reasoning in Defeasible Description Logics with System W and Lexicographic Inference. KR 2025: 218-228
DOI: 10.24963/kr.2025/22
  Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle:
Implementing Lexicographic Inference Using Partial MaxSAT. ECSQARU 2025: 301-315
DOI: 10.1007/978-3-032-05134-9_21
  Jonas Philipp Haldimann, Magdalena Ortiz, Mantas Simkus:
Towards Practicable Defeasible Reasoning for ABoxes (Extended Abstract). DL 2025
Link: https://ceur-ws.org/Vol-4091/paper43.pdf
  Jonas Haldimann, Magdalena Ortiz, Mantas Simkus:
Towards Practicable Defeasible Reasoning for ABoxes. JELIA 2025 (2): 223-239
DOI: 10.1007/978-3-032-04587-4_14
  Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg:
The InfOCF Library for Reasoning With Conditional Belief Bases. JELIA 2025 (1): 19-27
DOI: 10.1007/978-3-032-04590-4_2
  Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle:
Generalized Safe Conditional Syntax Splitting of Belief Bases (Extended Abstract). TKR 2025: 83-86
DOI: 10.5281/zenodo.15799038
  Lars-Phillip Spiegel, Jonas Haldimann, Jesse Heyninck, Gabriele Kern-Isberner, Christoph Beierle:
Generalized Safe Conditional Syntax Splitting of Belief Bases. IJCAI 2025: 4678-4686
DOI: 10.24963/ijcai.2025/521
 2024
  Jonas Philipp Haldimann:
Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds – Exploring a Landscape of Inductive Inference Operators. IOS Press, Dissertations in Artificial Intelligence
DOI: 10.3233/DAI355
  Jonas Haldimann, Christoph Beierle:
Approximations of system W for inference from strongly and weakly consistent belief bases. International Journal of Approximate Reasoning 175: 109295 (2024)
DOI: 10.1016/j.ijar.2024.109295
  Christoph Beierle, Jonas Haldimann, Leon Schwarzer:
CLKR: Conditional Logic and Knowledge Representation. Künstliche Intelligenz 38(1-2): 61-67 (2024)
DOI: 10.1007/s13218-024-00842-z
  Christoph Beierle, Jonas Haldimann, Arthur Sanin, Leon Schwarzer, Aron Spang, Lars-Phillip Spiegel, Martin von Berg:
Scaling Up Reasoning from Conditional Belief Bases. SUM 2024: 29-44
DOI: 10.1007/978-3-031-76235-2_3
  Christoph Beierle, Lars-Phillip Spiegel, Jonas Philipp Haldimann, Marco Wilhelm, Jesse Heyninck, Gabriele Kern-Isberner:
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations. KR 2024: 106-116
DOI: 10.24963/kr.2024/10
  Gabriele Kern-Isberner, Alexander Hahn, Jonas Philipp Haldimann, Christoph Beierle:
Total preorders vs ranking functions under belief revision – the dynamics of empty layers. KR 2024: 498-508
DOI: 10.24963/kr.2024/47
  Christoph Beierle, Aron Spang, Jonas Philipp Haldimann:
Using SAT and Partial MaxSAT for Reasoning with System Z and System W. NMR 2024: 142-151
Link: https://ceur-ws.org/Vol-3835/paper14.pdf
  Christoph Beierle, Aron Spang, Jonas Philipp Haldimann:
A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS 2024
DOI: 10.32473/flairs.37.1.135330
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference FoIKS 2024: 85-103
DOI: 10.1007/978-3-031-56940-1_5
 2023
  Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Epistemic State Mappings among Ranking Functions and Total Preorders. Journal of Applied Logics/IfCoLog Journal of Logics and their Applications 10(2): 155-192 (2023)
Link: https://collegepublications.co.uk/downloads/ifcolog00058.pdf
  Jonas Haldimann, Christoph Beierle:
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU 2023: 185-223
DOI: 10.1007/978-3-031-45608-4_15
  Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576
DOI: 10.1007/978-3-031-43619-2_38
  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
DOI: 10.1007/978-3-031-43619-2_32
  Jonas Philipp Haldimann, Christoph Beierle:
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR 2023: 747-751
DOI: doi.org/10.24963/kr.2023/75
  Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63
Link: https://ceur-ws.org/Vol-3464/paper6.pdf
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023
DOI: 10.32473/flairs.36.133268
  Christoph Beierle, Jonas Haldimann, Leon Schwarzer:
Observational Equivalence of Conditional Belief Bases. FLAIRS 2023
DOI: 10.32473/flairs.36.133269
  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
DOI: 10.1609/aaai.v37i5.25789
 2022
  Christoph Beierle, Jonas Haldimann:
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90(2-3): 149-179 (2022)
DOI: 10.1007/s10472-021-09745-3
  Jonas Haldimann, Christoph Beierle:
Characterizing Multipreference Closure with System W. SUM 2022: 79-91
DOI: 10.1007/978-3-031-18843-5_6
  Christoph Beierle, Jonas Haldimann, Daniel Kollar, Kai Sauerwald, Leon Schwarzer:
An Implementation of Nonmonotonic Reasoning with System W. KI 2022: 1-8
DOI: 10.1007/978-3-031-15791-2_1
  Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. KR 2022
DOI: 10.24963/kr.2022/41
  Jonas Haldimann, Christoph Beierle:
Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS 2022: 206-225
DOI: 10.1007/978-3-031-11321-5_12
  Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS 2022
DOI: 10.32473/flairs.v35i.130661
 2021
  Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods: 82-95
DOI: 10.1007/978-3-030-76020-5_5
  Jonas Haldimann, Gabriele Kern-Isberner:
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR Workshop at KI 2021: 34-47
Link: https://ceur-ws.org/Vol-2961/paper_4.pdf
  Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021: 35-49
DOI: 10.1007/978-3-030-75775-5_4
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA 2021: 85-100
DOI: 10.1007/978-3-030-75775-5_7
  Christoph Beierle, Jonas Haldimann, Steven Kutsch:
A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures. FLAIRS 2021
DOI: 10.32473/flairs.v34i1.128467
  Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Towards a framework of hansson's descriptor revision for conditionals. SAC 2021: 889-891
DOI: 10.1145/3412841.3442101
 2020
  Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI 2020: 204-218
DOI: 10.1007/978-3-030-58285-2_15
  Jonas Haldimann, Anna Osiak, Christoph Beierle:
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI 2020: 283-289
DOI: 10.1007/978-3-030-58285-2_24
  Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle:
Syntax Splitting for Iterated Contractions. KR 2020: KR 2020: 465-475
DOI: 10.24963/kr.2020/47
  Christoph Beierle, Jonas Haldimann:
Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS 2020: 563-568
Link: https://aaai.org/papers/563-flairs-2020-18500/
  Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS 2020: 22-41
DOI: 10.1007/978-3-030-39951-1_2
 2019
  Kai Sauerwald, Jonas Haldimann:
WHIWAP: Checking Iterative Belief Changes. DKB/KIK Workshop at KI 2019: 14-23
Link: https://ceur-ws.org/Vol-2445/paper_2.pdf