Kai Sauerwald - RankMe

66 papers A* 4A 2B 3C 3Misc 9Journal 24Unranked 16

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Mutual Irreducibility ofRevision and Multiple Revision. FoIKS Sebastian Rudolph, Kai Sauerwald
2026	J	`jnl`	Representation Theorems for Cumulative Propositional Dependence Logics. CoRR Juha Kontinen, Arne Meier, Kai Sauerwald
2026	C	`ed.`	Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings ECSQARU Kai Sauerwald, Matthias Thimm
2025	A*	`conf`	A Framework for Inconsistency-tolerant Reasoning with Sets of Models. KR Yehia Hatab, Kai Sauerwald, Matthias Thimm
2025	J	`jnl`	A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions. CoRR Christoph Beierle, Alexander Hahn, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald
2025	J	`jnl`	AGM Belief Revision, Semantically. ACM Trans. Comput. Log. Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2025	—	`conf`	Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. JELIA (2) Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, Thomas Meyer
2025	J	`jnl`	Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. CoRR Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, Thomas Meyer
2025	A*	`conf`	On the Complexity and Properties of Preferential Propositional Dependence Logic. KR Kai Sauerwald, Arne Meier, Juha Kontinen
2025	J	`jnl`	On the Complexity and Properties of Preferential Propositional Dependence Logic. CoRR Kai Sauerwald, Arne Meier, Juha Kontinen
2025	J	`jnl`	Sequential merging and construction of rankings as cognitive logic. Int. J. Approx. Reason. Kai Sauerwald, Eda Ismail-Tsaous, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
2025	—	`conf`	The KLM Representation Theorem for System C, Formally. NMR Jonathan Walther, Kai Sauerwald, Jesse Heyninck
2024	—	`conf`	A First Peek into Preferential Logics with Team Semantics. NMR Kai Sauerwald, Juha Kontinen
2024	—	`conf`	A Hitting Set Approach to Inconsistent-Tolerant Reasoning. NMR Yehia Hatab, Kai Sauerwald, Matthias Thimm
2024	J	`jnl`	A Primer for Preferential Non-Monotonic Propositional Team Logics. CoRR Kai Sauerwald, Juha Kontinen
2024	—	`conf`	A Report on Sequential KR-Approaches as Cognitive Logic. KoDis+CAKR+SYNERGY@KR Kai Sauerwald, Eda Ismail-Tsaous, Nina Thorwart
2024	—	`conf`	Credibility-Limited Revision for Epistemic Spaces. SUM Kai Sauerwald
2024	J	`jnl`	Credibility-Limited Revision for Epistemic Spaces. CoRR Kai Sauerwald
2024	J	`jnl`	Formal and cognitive reasoning. Int. J. Approx. Reason. Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm
2024	—	`ed.`	Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), Würzburg, Germany, September 23, 2024. FCR Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald, Diedrich Wolter
2024	—	`conf`	Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
2024	J	`jnl`	Semantics of Belief Change Operators for Intelligent Agents. Künstliche Intell. Kai Sauerwald
2024	A*	`conf`	The Realizability of Revision and Contraction Operators in Epistemic Spaces. KR Kai Sauerwald, Matthias Thimm
2024	J	`jnl`	The Realizability of Revision and Contraction Operators in Epistemic Spaces. CoRR Kai Sauerwald, Matthias Thimm
2023	J	`jnl`	Activation-based Conditional Inference. FLAP Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2023	Misc	`ed.`	Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings ICCS Manuel Ojeda-Aciego, Kai Sauerwald, Robert Jäschke
2023	C	`conf`	On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
2023	—	`ed.`	Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023. NMR Kai Sauerwald, Matthias Thimm
2023	—	`ed.`	Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023. FCR@KI Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg
2022	J	`jnl`	A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2022	Misc	`conf`	An Implementation of Nonmonotonic Reasoning with System W. KI Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer
2022	—	`conf`	From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle
2022	Misc	`conf`	Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2022	A*	`conf`	Iterated Belief Change, Computationally. KR Kai Sauerwald, Christoph Beierle
2022	J	`jnl`	Iterated Belief Change, Computationally. CoRR Kai Sauerwald, Christoph Beierle
2022	—	`ed.`	Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022. FCR@KI Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm
2022	B	`conf`	Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2022	—	`book`	Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability Semantics of Belief Change Operators for Intelligent Agents Kai Sauerwald
2021	—	`conf`	A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	J	`jnl`	A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021	—	`conf`	A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021	B	`conf`	Conditional Descriptor Revision and Its Modelling by a CSP. JELIA Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2021	J	`jnl`	Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	J	`jnl`	Forgetting Formulas and Signature Elements in Epistemic States. CoRR Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
2021	J	`jnl`	On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2021	—	`conf`	On Using Model Checking for the Certification of Iterated Belief Changes. FCR@KI Kai Sauerwald, Philip Heltweg
2021	J	`jnl`	Semantic Characterizations of General Belief Base Revision. CoRR Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
2021	Misc	`conf`	Towards a framework of hansson's descriptor revision for conditionals. SAC Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
2020	A	`conf`	A Conditional Perspective for Iterated Belief Contraction. ECAI Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2020	A	`conf`	Cognitive Logics - Features, Formalisms, and Challenges. ECAI Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald
2020	Misc	`conf`	Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
2020	J	`jnl`	Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
2019	J	`jnl`	A Conditional Perspective for Iterated Belief Contraction. CoRR Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
2019	Misc	`conf`	Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald
2019	—	`conf`	Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
2019	J	`jnl`	Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. Christoph Beierle, Steven Kutsch, Kai Sauerwald
2019	C	`conf`	Decrement Operators in Belief Change. ECSQARU Kai Sauerwald, Christoph Beierle
2019	J	`jnl`	Decrement Operators in Belief Change. CoRR Kai Sauerwald, Christoph Beierle
2019	Misc	`conf`	Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. SAC Kai Sauerwald
2019	J	`jnl`	Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni
2019	—	`conf`	WHIWAP: Checking Iterative Belief Changes. DKB/KIK@KI Kai Sauerwald, Jonas Haldimann
2018	—	`conf`	Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS Christoph Beierle, Steven Kutsch, Kai Sauerwald
2018	Misc	`conf`	Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle
2018	Misc	`conf`	Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald
2018	B	`conf`	Towards a Formal Foundation of Cognitive Architectures. CogSci Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle
2017	—	`conf`	Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle