Jonas Philipp Haldimann
Orcid: 0000-0002-2618-8721
According to our database1,
Jonas Philipp Haldimann
authored at least 39 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
9
10
2
1
2
6
8
5
6
5
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Künstliche Intell., August, 2024
Approximations of system W for inference from strongly and weakly consistent belief bases.
Int. J. Approx. Reason., 2024
Proceedings of the Scalable Uncertainty Management - 16th International Conference, 2024
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), 2024
Total Preorders vs Ranking Functions under Belief Revision - the Dynamics of Empty Layers.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Syntax Splitting and Reasoning from Weakly Consistent Conditional Belief Bases with c-Inference.
Proceedings of the Foundations of Information and Knowledge Systems, 2024
Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024
Nonmonotonic Reasoning with Defeasible Rules on Feasible and Infeasible Worlds - Exploring a Landscape of Inductive Inference Operators
Diss. Artif. Intell. 355, IOS Press, ISBN: 978-1-64368-530-4, 2024
2023
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
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.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023
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.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings.
Ann. Math. Artif. Intell., 2022
Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the KI 2022: Advances in Artificial Intelligence, 2022
Proceedings of the Foundations of Information and Knowledge Systems, 2022
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022
2021
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.
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
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.
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.
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic.
Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020
Proceedings of the Foundations of Information and Knowledge Systems, 2020
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
2019
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
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019
2018
Proceedings of the Studierendenkonferenz Informatik, 2018