( en | de | ru )

 

Disambiguation of "Sauerwald, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
Graph-Based Representation and Reasoning

, , and (Eds.) volume 14133 of Lecture Notes in Computer Science, Cham, Springer, (2023)
DOI: 10.1007/978-3-031-40960-8

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.

Angela Sauerwald

Manfred Sauerwald

Käthe Sauerwald

Regina Sauerwald

Doris 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)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)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)A Brief Introduction Into Activation-Based Conditional Inference., , , , and . FCR@KI, volume 2961 of CEUR Workshop Proceedings, page 4-8. CEUR-WS.org, (2021)WHIWAP: Checking Iterative Belief Changes., and . DKB/KIK@KI, volume 2445 of CEUR Workshop Proceedings, page 14-23. CEUR-WS.org, (2019)Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations., , and . Ann. Math. Artif. Intell., 87 (1-2): 5-41 (2019)