Jonas Haldimann

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 28

Top Topics

Merging Operators

Prime Implicates

Ranking Functions

Top Venues

Publications

Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference. FoIKS (2024)
Christoph Beierle, Aron Spang, Jonas Haldimann
A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. FLAIRS (2024)
Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA (2023)
Jonas Haldimann, Christoph Beierle
Approximations of System W Between c-Inference, System Z, and Lexicographic Inference. ECSQARU (2023)
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)
Christoph Beierle, Jonas Haldimann, Leon Schwarzer
Observational Equivalence of Conditional Belief Bases. FLAIRS (2023)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer
Conditionals, Infeasible Worlds, and Reasoning with System W. FLAIRS (2023)
Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer
An Implementation of Nonmonotonic Reasoning with System W. KI (2022)
Jonas Haldimann, Christoph Beierle
Inference with System W Satisfies Syntax Splitting. KR (2022)
Jonas Haldimann, Christoph Beierle
Characterizing Multipreference Closure with System W. SUM (2022)
Jonas Haldimann, Christoph Beierle
Inference with System W Satisfies Syntax Splitting. CoRR (2022)
Christoph Beierle, Jonas Haldimann
Normal Forms of Conditional Belief Bases Respecting Inductive Inference. FLAIRS (2022)
Christoph Beierle, Jonas Haldimann
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Ann. Math. Artif. Intell. 90 (2) (2022)
Jonas Haldimann, Christoph Beierle
Model Transformations for Ranking Functions and Total Preorders. CoRR (2022)
Jonas Haldimann, Christoph Beierle
Properties of System W and Its Relationships to Other Inductive Inference Operators. FoIKS (2022)
Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner
Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies. JELIA (2021)
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 Conference (2021)
Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
Semantic Splitting of Conditional Belief Bases. Logic, Computation and Rigorous Methods (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)
Jonas Haldimann, Gabriele Kern-Isberner
On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders. FCR@KI (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA (2021)
Christoph Beierle, Jonas Haldimann
Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. FoIKS (2020)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR (2020)
Christoph Beierle, Jonas Haldimann
Transforming Conditional Knowledge Bases into Renaming Normal Form. FLAIRS Conference (2020)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI (2020)
Jonas Haldimann, Anna Osiak, Christoph Beierle
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic. KI (2020)
Kai Sauerwald, Jonas Haldimann
WHIWAP: Checking Iterative Belief Changes. DKB/KIK@KI (2019)
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Teaching Logic with Iltis: an Interactive, Web-Based System. ITiCSE (2019)