| Conditional syntax splitting for non-monotonic inference operators J Heyninck, G Kern-Isberner, T Meyer, JP Haldimann, C Beierle Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6416-6424, 2023 | 21 | 2023 |
| Inference with system W satisfies syntax splitting J Haldimann, C Beierle arXiv preprint arXiv:2202.05511, 2022 | 16 | 2022 |
| Descriptor revision for conditionals: literal descriptors and conditional preservation K Sauerwald, J Haldimann, M von Berg, C Beierle KI 2020: Advances in Artificial Intelligence: 43rd German Conference on AI …, 2020 | 12 | 2020 |
| Conditionals, infeasible worlds, and reasoning with system W J Haldimann, C Beierle, G Kern-Isberner, T Meyer The International FLAIRS Conference Proceedings 36, 2023 | 10 | 2023 |
| Properties of system W and its relationships to other inductive inference operators J Haldimann, C Beierle International Symposium on Foundations of Information and Knowledge Systems …, 2022 | 10 | 2022 |
| Syntax splitting for iterated contractions JP Haldimann, G Kern-Isberner, C Beierle Proceedings of the International Conference on Principles of Knowledge …, 2020 | 10 | 2020 |
| Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings C Beierle, J Haldimann International Symposium on Foundations of Information and Knowledge Systems …, 2020 | 10 | 2020 |
| Semantic splitting of conditional belief bases C Beierle, J Haldimann, G Kern-Isberner Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on …, 2021 | 8 | 2021 |
| Towards a framework of hansson's descriptor revision for conditionals J Haldimann, K Sauerwald, M von Berg, G Kern-Isberner, C Beierle Proceedings of the 36th Annual ACM Symposium on Applied Computing, 889-891, 2021 | 8 | 2021 |
| Characterizing multipreference closure with system W J Haldimann, C Beierle International Conference on Scalable Uncertainty Management, 79-91, 2022 | 6 | 2022 |
| An implementation of nonmonotonic reasoning with system W C Beierle, J Haldimann, D Kollar, K Sauerwald, L Schwarzer German Conference on Artificial Intelligence (Künstliche Intelligenz), 1-8, 2022 | 6 | 2022 |
| Normal forms of conditional belief bases respecting inductive inference C Beierle, J Haldimann The international FLAIRS conference proceedings 35, 2022 | 6 | 2022 |
| Conditional descriptor revision and its modelling by a CSP J Haldimann, K Sauerwald, M von Berg, G Kern-Isberner, C Beierle European Conference on Logics in Artificial Intelligence, 35-49, 2021 | 6 | 2021 |
| Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies J Haldimann, C Beierle, G Kern-Isberner European Conference on Logics in Artificial Intelligence, 85-100, 2021 | 6 | 2021 |
| Modelling and reasoning in biomedical applications with qualitative conditional logic JP Haldimann, A Osiak, C Beierle KI 2020: Advances in Artificial Intelligence: 43rd German Conference on AI …, 2020 | 6 | 2020 |
| WHIWAP: Checking Iterative Belief Changes. K Sauerwald, J Haldimann DKB/KIK@ KI, 14-23, 2019 | 6 | 2019 |
| Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference J Haldimann, C Beierle, G Kern-Isberner International Symposium on Foundations of Information and Knowledge Systems …, 2024 | 5 | 2024 |
| Approximations of system W between c-inference, system Z, and lexicographic inference J Haldimann, C Beierle European Conference on Symbolic and Quantitative Approaches with Uncertainty …, 2023 | 5 | 2023 |
| Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings C Beierle, J Haldimann Annals of Mathematics and Artificial Intelligence 90 (2), 149-179, 2022 | 5 | 2022 |
| A complete map of conditional knowledge bases in different normal forms and their induced system P inference relations over small signatures C Beierle, J Haldimann, S Kutsch The international FLAIRS conference proceedings 34, 2021 | 5 | 2021 |
