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
262019
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
202019
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
202017
A conditional perspective for iterated belief contraction
K Sauerwald, G Kern-Isberner, C Beierle
ECAI 2020, 889-896, 2020
172020
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
152018
Cognitive logics–features, formalisms, and challenges
M Ragni, G Kern-Isberner, C Beierle, K Sauerwald
ECAI 2020, 2931-2932, 2020
132020
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
122020
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
122018
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
92019
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
82021
Axiomatic evaluation of epistemic forgetting operators
G Kern-Isberner, T Bock, C Beierle, K Sauerwald
The Thirty-Second International Flairs Conference, 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
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
62022
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
62021
WHIWAP: Checking Iterative Belief Changes.
K Sauerwald, J Haldimann
DKB/KIK@ KI, 14-23, 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
Semantic characterizations of AGM revision for tarskian logics
FM Falakh, S Rudolph, K Sauerwald
International Joint Conference on Rules and Reasoning, 95-110, 2022
52022
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
The system can't perform the operation now. Try again later.
Articles 1–20