Towards a general framework for kinds of forgetting in common-sense belief management C Beierle, G Kern-Isberner, K Sauerwald, T Bock, M Ragni KI-Künstliche Intelligenz 33, 57-68, 2019 | 26 | 2019 |
Iterated contraction of propositions and conditionals under the principle of conditional preservation. G Kern-Isberner, T Bock, K Sauerwald, C Beierle GCAI, 78-92, 2017 | 20 | 2017 |
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations C Beierle, S Kutsch, K Sauerwald Annals of Mathematics and Artificial Intelligence 87 (1), 5-41, 2019 | 19 | 2019 |
A conditional perspective for iterated belief contraction K Sauerwald, G Kern-Isberner, C Beierle ECAI 2020, 889-896, 2020 | 17 | 2020 |
Compilation of conditional knowledge bases for computing C-inference relations C Beierle, S Kutsch, K Sauerwald International Symposium on Foundations of Information and Knowledge Systems …, 2018 | 15 | 2018 |
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 |
Cognitive logics–features, formalisms, and challenges M Ragni, G Kern-Isberner, C Beierle, K Sauerwald ECAI 2020, 2931-2932, 2020 | 11 | 2020 |
Intentional forgetting in artificial intelligence systems: Perspectives and challenges IJ Timm, S Staab, M Siebers, C Schon, U Schmid, K Sauerwald, L Reuter, ... KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI …, 2018 | 10 | 2018 |
Belief change properties of forgetting operations over ranking functions G Kern-Isberner, T Bock, K Sauerwald, C Beierle PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim …, 2019 | 9 | 2019 |
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 |
Kinds and aspects of forgetting in common-sense knowledge and belief management C Beierle, T Bock, G Kern-Isberner, M Ragni, K Sauerwald KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI …, 2018 | 7 | 2018 |
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 |
WHIWAP: Checking Iterative Belief Changes. K Sauerwald, J Haldimann DKB/KIK@ KI, 14-23, 2019 | 6 | 2019 |
Axiomatic evaluation of epistemic forgetting operators G Kern-Isberner, T Bock, C Beierle, K Sauerwald The Thirty-Second International Flairs Conference, 2019 | 6 | 2019 |
Towards a Formal Foundation of Cognitive Architectures. M Ragni, K Sauerwald, T Bock, G Kern-Isberner, P Friemann, C Beierle CogSci, 2018 | 6 | 2018 |
Semantic characterizations of AGM revision for tarskian logics FM Falakh, S Rudolph, K Sauerwald International Joint Conference on Rules and Reasoning, 95-110, 2022 | 5 | 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 | 4 | 2022 |
On limited non-prioritised belief revision operators with dynamic scope K Sauerwald, G Kern-Isberner, C Beierle arXiv preprint arXiv:2108.07769, 2021 | 4 | 2021 |
Iterated belief change, computationally K Sauerwald, C Beierle arXiv preprint arXiv:2202.08856, 2022 | 3 | 2022 |
Certification of iterated belief changes via model checking and its implementation K Sauerwald, P Heltweg, C Beierle 19 th International Workshop on Non-Monotonic Reasoning, 250, 2021 | 3 | 2021 |