Follow
Kai Sauerwald
Kai Sauerwald
FernUniversität in Hagen
Verified email at tu-dortmund.de
Title
Cited by
Cited by
Year
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 (1), 57-68, 2019
182019
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
172017
A conditional perspective for iterated belief contraction
K Sauerwald, G Kern-Isberner, C Beierle
arXiv preprint arXiv:1911.08833, 2019
112019
Descriptor revision for conditionals: literal descriptors and conditional preservation
K Sauerwald, J Haldimann, M Berg, C Beierle
German Conference on Artificial Intelligence (Künstliche Intelligenz), 204-218, 2020
72020
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
72019
Intentional forgetting in artificial intelligence systems: Perspectives and challenges
IJ Timm, S Staab, M Siebers, C Schon, U Schmid, K Sauerwald, L Reuter, ...
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2018
62018
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
62018
Towards a Formal Foundation of Cognitive Architectures.
M Ragni, K Sauerwald, T Bock, G Kern-Isberner, P Friemann, C Beierle
CogSci, 2018
52018
Kinds and aspects of forgetting in common-sense knowledge and belief management
C Beierle, T Bock, G Kern-Isberner, M Ragni, K Sauerwald
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2018
42018
WHIWAP: Checking Iterative Belief Changes.
K Sauerwald, J Haldimann
DKB/KIK@ KI, 14-23, 2019
32019
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
22021
Forgetting Formulas and Signature Elements in Epistemic States
A Becker, G Kern-Isberner, K Sauerwald, C Beierle
arXiv preprint arXiv:2108.08603, 2021
22021
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
22021
Belief change properties of forgetting operations over ranking functions
G Kern-Isberner, T Bock, K Sauerwald, C Beierle
Pacific Rim International Conference on Artificial Intelligence, 459-472, 2019
22019
Axiomatic evaluation of epistemic forgetting operators
G Kern-Isberner, T Bock, C Beierle, K Sauerwald
The Thirty-Second International Flairs Conference, 2019
22019
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
12022
Semantic Characterizations of General Belief Base Revision
FM Falakh, S Rudolph, K Sauerwald
arXiv preprint arXiv:2112.13557, 2021
12021
Conditional Inference and Activation of Knowledge Entities in ACT-R
M Wilhelm, D Howey, G Kern-Isberner, K Sauerwald, C Beierle
arXiv preprint arXiv:2110.15214, 2021
12021
On Using Model Checking for the Certification of Iterated Belief Changes.
K Sauerwald, P Heltweg
FCR@ KI, 23-33, 2021
12021
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
K Sauerwald, G Kern-Isberner, C Beierle
arXiv preprint arXiv:2108.07769, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20