Jonas Philipp Haldimann

According to our database, Jonas Philipp Haldimann authored at least 31 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference.

Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Epistemic State Mappings among Ranking Functions and Total Preorders.

Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner

FLAP, 2023

Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds.

Jonas Philipp Haldimann, Christoph Beierle, Gabriele Kern-Isberner

Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds.

Jonas Philipp Haldimann, Christoph Beierle

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.

Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Rational Closure Extension in SPO-Representable Inductive Inference Operators.

Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Conditionals, Infeasible Worlds, and Reasoning with System W.

Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner, Thomas Meyer

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Observational Equivalence of Conditional Belief Bases.

Christoph Beierle, Jonas Haldimann, Leon Schwarzer

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Approximations of System W Between c-Inference, System Z, and Lexicographic Inference.

Jonas Haldimann, Christoph Beierle

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

Conditional Syntax Splitting for Non-monotonic Inference Operators.

Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Model Transformations for Ranking Functions and Total Preorders.

Jonas Haldimann, Christoph Beierle

CoRR, 2022

Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings.

Christoph Beierle, Jonas Haldimann

Ann. Math. Artif. Intell., 2022

Characterizing Multipreference Closure with System W.

Jonas Haldimann, Christoph Beierle

Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Inference with System W Satisfies Syntax Splitting.

Jonas Haldimann, Christoph Beierle

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

An Implementation of Nonmonotonic Reasoning with System W.

Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer

Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022

Properties of System W and Its Relationships to Other Inductive Inference Operators.

Jonas Haldimann, Christoph Beierle

Proceedings of the Foundations of Information and Knowledge Systems, 2022

Normal Forms of Conditional Belief Bases Respecting Inductive Inference.

Christoph Beierle, Jonas Haldimann

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Towards a framework of hansson's descriptor revision for conditionals.

Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

On Properties of Epistemic State Mappings among Ranking Functions and Total Preorders.

Jonas Haldimann, Gabriele Kern-Isberner

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Conditional Descriptor Revision and Its Modelling by a CSP.

Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies.

Jonas Haldimann, Christoph Beierle, Gabriele Kern-Isberner

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures.

Christoph Beierle, Jonas Haldimann, Steven Kutsch

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Semantic Splitting of Conditional Belief Bases.

Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020

Syntax Splitting for Iterated Contractions.

Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.

Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic.

Jonas Haldimann, Anna Osiak, Christoph Beierle

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings.

Christoph Beierle, Jonas Haldimann

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Transforming Conditional Knowledge Bases into Renaming Normal Form.

Christoph Beierle, Jonas Haldimann

Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020

2019

WHIWAP: Checking Iterative Belief Changes.

Kai Sauerwald, Jonas Haldimann

Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), 2019

Teaching Logic with Iltis: an Interactive, Web-Based System.

Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

2018

Wissensrevision in der reaktiven Antwortmengenprogrammierung.

Jonas Philipp Haldimann

Proceedings of the Studierendenkonferenz Informatik, 2018