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, 57-68, 2019
282019
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
212017
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
172019
A conditional perspective for iterated belief contraction
K Sauerwald, G Kern-Isberner, C Beierle
arXiv preprint arXiv:1911.08833, 2019
162019
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
142018
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
112020
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
92018
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
82019
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
72021
Cognitive logics–features, formalisms, and challenges
M Ragni, G Kern-Isberner, C Beierle, K Sauerwald
ECAI 2020, 2931-2932, 2020
72020
WHIWAP: Checking Iterative Belief Changes.
K Sauerwald, J Haldimann
DKB/KIK@ KI, 14-23, 2019
72019
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
72018
Axiomatic evaluation of epistemic forgetting operators
G Kern-Isberner, T Bock, C Beierle, K Sauerwald
The Thirty-Second International Flairs Conference, 2019
62019
Towards a Formal Foundation of Cognitive Architectures.
M Ragni, K Sauerwald, T Bock, G Kern-Isberner, P Friemann, C Beierle
CogSci, 2018
62018
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
52021
Iterated belief change, computationally
K Sauerwald, C Beierle
arXiv preprint arXiv:2202.08856, 2022
42022
On limited non-prioritised belief revision operators with dynamic scope
K Sauerwald, G Kern-Isberner, C Beierle
arXiv preprint arXiv:2108.07769, 2021
42021
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
32021
Forgetting formulas and signature elements in epistemic states
A Becker, G Kern-Isberner, K Sauerwald, C Beierle
arXiv preprint arXiv:2108.08603, 2021
32021
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States
K Sauerwald, G Kern-Isberner, A Becker, C Beierle
International Conference on Scalable Uncertainty Management, 92-106, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20