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
 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
  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)
  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
  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
  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
  Christoph Beierle, Aron Spang, Jonas Philipp Haldimann:
Using SAT and Partial MaxSAT for Reasoning with System Z and System W. NMR 2024
  Christoph Beierle, Aron Spang, Jonas Philipp Haldimann:
A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS 2024
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference FoIKS 2024: 85-103
 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)
  Jonas Haldimann, Christoph Beierle:
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU 2023: 185-223
  Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576
  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
  Jonas Philipp Haldimann, Christoph Beierle:
Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds. KR 2023: 747-751
  Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner:
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds. NMR 2023: 52-63
  Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer:
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS 2023
  Christoph Beierle, Jonas Haldimann, Leon Schwarzer:
Observational Equivalence of Conditional Belief Bases. FLAIRS 2023
  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
 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)
  Jonas Haldimann, Christoph Beierle:
Characterizing Multipreference Closure with System W. SUM 2022: 79-91
  Christoph Beierle, Jonas Haldimann, Daniel Kollar, Kai Sauerwald, Leon Schwarzer:
An Implementation of Nonmonotonic Reasoning with System W. KI 2022: 1-8
  Jonas Haldimann, Christoph Beierle:
Inference with System W Satisfies Syntax Splitting. KR 2022
  Jonas Haldimann, Christoph Beierle:
Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS 2022: 206-225
  Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS 2022
 2021
  Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner:
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods: 82-95
  Jonas Haldimann, Gabriele Kern-Isberner:
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR Workshop at KI 2021: 34-47
  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
  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
  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
  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
 2020
  Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI 2020: 204-218
  Jonas Haldimann, Anna Osiak, Christoph Beierle:
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI 2020: 283-289
  Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle:
Syntax Splitting for Iterated Contractions. KR 2020: KR 2020: 465-475
  Christoph Beierle, Jonas Haldimann:
Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS 2020: 563-568
  Christoph Beierle, Jonas Haldimann:
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS 2020: 22-41
 2019
  Kai Sauerwald, Jonas Haldimann:
WHIWAP: Checking Iterative Belief Changes. DKB/KIK Workshop at KI 2019: 14-23