( en | de | ru )

 

Disambiguation of "Sauerwald, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Manfred Sauerwald

Angela Sauerwald

Käthe Sauerwald

Regina Sauerwald

Doris Sauerwald

 

Other publications of authors with the same name

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management., , , , and . Künstliche Intell., 33 (1): 57-68 (2019)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)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)Semantic Characterizations of AGM Revision for Tarskian Logics., , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 95-110. 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)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)