( en | de | ru )

 

Disambiguation of "Sauerwald, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Characterizations of AGM Revision for Tarskian Logics.

, , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 95-110. 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

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)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)Axiomatic Evaluation of Epistemic Forgetting Operators., , , and . FLAIRS, page 470-475. AAAI Press, (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)A First Peek into Preferential Logics with Team Semantics., and . NMR, volume 3835 of CEUR Workshop Proceedings, page 94-100. CEUR-WS.org, (2024)Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management., , , , and . Künstliche Intell., 33 (1): 57-68 (2019)Semantics of Belief Change Operators for Intelligent Agents.. Künstliche Intell., 38 (1-2): 89-93 (August 2024)Sequential merging and construction of rankings as cognitive logic., , , , and . Int. J. Approx. Reason., (2025)