( en | de | ru )

 

Disambiguation of "Sauerwald, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
An Implementation of Nonmonotonic Reasoning with System W.

, , , , and . KI, volume 13404 of Lecture Notes in Computer Science, page 1-8. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Käthe Sauerwald

Angela Sauerwald

Manfred Sauerwald

Regina Sauerwald

Jan Sauerwald

 

Other publications of authors with the same name

Belief Change Properties of Forgetting Operations over Ranking Functions., , , and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 459-472. Springer, (2019)Semantic Characterizations of AGM Revision for Tarskian Logics., , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 95-110. Springer, (2022)Axiomatic Evaluation of Epistemic Forgetting Operators., , , and . FLAIRS, page 470-475. AAAI Press, (2019)Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management., , , , and . Künstliche Intell., 33 (1): 57-68 (2019)A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)., , and . FCR@KI, volume 2961 of CEUR Workshop Proceedings, page 48-59. CEUR-WS.org, (2021)An Implementation of Nonmonotonic Reasoning with System W., , , , and . KI, volume 13404 of Lecture Notes in Computer Science, page 1-8. Springer, (2022)From Forgetting Signature Elements to Forgetting Formulas in Epistemic States., , , and . SUM, volume 13562 of Lecture Notes in Computer Science, page 92-106. Springer, (2022)Towards a framework of hansson's descriptor revision for conditionals., , , , and . SAC, page 889-891. ACM, (2021)On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions., , , , and . ECSQARU, volume 14294 of Lecture Notes in Computer Science, page 224-238. Springer, (2023)Towards a Formal Foundation of Cognitive Architectures., , , , , and . CogSci, cognitivesciencesociety.org, (2018)