( en | de | ru )

 

Disambiguierung von "Sauerwald, Kai"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantic Characterizations of AGM Revision for Tarskian Logics.

, , und . RuleML+RR, Volume 13752 von Lecture Notes in Computer Science, Seite 95-110. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Käthe Sauerwald

Manfred Sauerwald

Angela Sauerwald

Regina Sauerwald

Doris Sauerwald

 

Weitere Publikationen von Autoren mit dem selben Namen

Belief Change Properties of Forgetting Operations over Ranking Functions., , , und . PRICAI (1), Volume 11670 von Lecture Notes in Computer Science, Seite 459-472. Springer, (2019)From Forgetting Signature Elements to Forgetting Formulas in Epistemic States., , , und . SUM, Volume 13562 von Lecture Notes in Computer Science, Seite 92-106. Springer, (2022)A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report)., , und . FCR@KI, Volume 2961 von CEUR Workshop Proceedings, Seite 48-59. CEUR-WS.org, (2021)An Implementation of Nonmonotonic Reasoning with System W., , , , und . KI, Volume 13404 von Lecture Notes in Computer Science, Seite 1-8. Springer, (2022)Axiomatic Evaluation of Epistemic Forgetting Operators., , , und . FLAIRS, Seite 470-475. AAAI Press, (2019)Semantic Characterizations of AGM Revision for Tarskian Logics., , und . RuleML+RR, Volume 13752 von Lecture Notes in Computer Science, Seite 95-110. Springer, (2022)A First Peek into Preferential Logics with Team Semantics., und . NMR, Volume 3835 von CEUR Workshop Proceedings, Seite 94-100. CEUR-WS.org, (2024)Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management., , , , und . Künstliche Intell., 33 (1): 57-68 (2019)Sequential merging and construction of rankings as cognitive logic., , , , und . Int. J. Approx. Reason., (2025)Semantics of Belief Change Operators for Intelligent Agents.. Künstliche Intell., 38 (1-2): 89-93 (August 2024)