|
[2]
|
Kai Sauerwald, Christoph Beierle, and Gabriele Kern-Isberner.
Propositional variable forgetting and marginalization: Semantically,
two sides of the same coin.
In Arne Meier and Magdalena Ortiz, editors, Proceedings of the
13th International Symposium on Foundations of Information and Knowledge
Systems (FoIKS 2024), volume 14589 of LNCS, pages 144--162. Springer,
2024.
|
|
[3]
|
Kai Sauerwald.
Credibility-limited revision for epistemic spaces.
In Sébastien Destercke, Maria Vanina Martinez, and Giuseppe
Sanfilippo, editors, Proceedings of the 16th International Conference on
Scalable Uncertainty Management (SUM 2024), volume 15350 of LNCS,
pages 429--444. Springer, 2024.
|
|
[4]
|
Kai Sauerwald, Eda Ismail-Tsaous, and Nina Thorwart.
A report on sequential kr-approaches as cognitive logic.
In Lucía Gómez Álvarez, Jonas Haldimann, Jesse Heyninck, Srdjan
Vesic, Francesco Fabiano, and Marcello Balduccini, editors, Joint
Proceedings of the Joint Workshop on Knowledge Diversity and Cognitive
Aspects of KR and the Workshop on Symbolic and Neuro-Symbolic Architectures
for Intelligent Robotics Technology (KoDis-CAKR-SYNERGY 2024) co-located with
the 21st International Conference on Principles of Knowledge Representation
and Reasoning (KR 2024), 2024.
|
|
[5]
|
Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg,
and Matthias Thimm.
Formal and cognitive reasoning.
International Journal of Approximate Reasoning, 174:109270,
2024.
|
|
[6]
|
Kai Sauerwald.
Semantics of belief change operators for intelligent agents.
Künstliche Intell., 38(1):89--93, 2024.
|
|
[7]
|
Özgür Lütfü Özçep, Nele Rußwinkel,
Kai Sauerwald, and Diedrich Wolter, editors.
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,
volume 3763 of CEUR Workshop Proceedings. CEUR-WS.org, 2024.
|
|
[8]
|
Yehia Hatab, Kai Sauerwald, and Matthias Thimm.
A hitting set approach to inconsistent-tolerant reasoning.
In Nina Gierasimczuk and Jesse Heyninck, editors, Proceedings of
the 22th International Workshop on Non-Monotonic Reasoning (NMR 2024)
co-located with 21st International Conference on Principles of Knowledge
Representation and Reasoning (KR 2024), CEUR Workshop Proceedings, pages
152--161, 2024.
|
|
[9]
|
Kai Sauerwald and Juha Kontinen.
A first peek into preferential logics with team semantics.
In Nina Gierasimczuk and Jesse Heyninck, editors, Proceedings of
the 22th International Workshop on Non-Monotonic Reasoning (NMR 2024)
co-located with 21st International Conference on Principles of Knowledge
Representation and Reasoning (KR 2024), CEUR Workshop Proceedings, pages
94--100, 2024.
|
|
[10]
|
Kai Sauerwald and Matthias Thimm.
The Realizability of Revision and Contraction Operators in Epistemic
Spaces.
In Proceedings of the 21st International Conference on
Principles of Knowledge Representation and Reasoning (KR 2024), pages
665--670, 8 2024.
|
|
[11]
|
Manuel Ojeda-Aciego, Kai Sauerwald, and Robert Jäschke,
editors.
Graph-Based Representation and Reasoning - 28th International
Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September
11-13, 2023, Proceedings, volume 14133 of LNCS. Springer, 2023.
|
|
[12]
|
Kai Sauerwald and Matthias Thimm, editors.
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, volume 3464 of CEUR Workshop
Proceedings. CEUR-WS.org, 2023.
|
|
[13]
|
Christoph Beierle, Kai Sauerwald, François Schwarzentruber, and
Frieder Stolzenburg, editors.
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, volume 3500
of CEUR Workshop Proceedings. CEUR-WS.org, 2023.
|
|
[14]
|
Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele
Kern-Isberner, and Christoph Beierle.
On the cognitive logic of human propositional reasoning: Merging
ranking functions.
In Zied Bouraoui and Srdjan Vesic, editors, Proceedings of the
17th European Conferenc on Symbolic and Quantitative Approaches to Reasoning
with Uncertainty (ECSQARU 2023), volume 14294 of LNCS, pages
224--238. Springer, 2023.
|
|
[15]
|
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald,
and Christoph Beierle.
Activation-based conditional inference.
Journal of Applied Logics, 10(2):221--247, 2023.
|
|
[16]
|
Faiq Miftakhul Falakh, Sebastian Rudolph, and Kai Sauerwald.
Semantic characterizations of AGM revision for tarskian logics.
In Guido Governatori and Anni-Yasmin Turhan, editors,
Proceedings of the 6th International Joint Conference on Rules and Reasoning
(RuleML+RR 2022), volume 13752 of LNCS, pages 95--110. Springer, 2022.
|
|
[17]
|
Kai Sauerwald and Christoph Beierle.
Iterated Belief Change, Computationally.
In Gabriele Kern-Isberner, Gerhard Lakemeyer, and Thomas Meyer,
editors, Proceedings of the 19th International Conference on Principles
of Knowledge Representation and Reasoning (KR 2022), pages 410--414, 2022.
|
|
[18]
|
Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai
Sauerwald, and Leon Schwarzer.
An implementation of nonmonotonic reasoning with system W.
In Ralph Bergmann, Lukas Malburg, Stephanie C. Rodermund, and Ingo J.
Timm, editors, Proceedings of the 45th German Conference Advances in
Artificial Intelligence (KI 2022), volume 13404 of LNCS, pages 1--8.
Springer, 2022.
|
|
[19]
|
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald,
and Christoph Beierle.
Integrating cognitive principles from ACT-R into probabilistic
conditional reasoning by taking the example of maximum entropy reasoning.
In Roman Bartak, Fazel Keshtkar, and Michael Franklin, editors,
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence
Research Society Conference (FLAIRS 2022), 2022.
|
|
[20]
|
Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, and
Christoph Beierle.
From forgetting signature elements to forgetting formulas in
epistemic states.
In Florence Dupin de Saint-Cyr, Meltem Öztürk-Escoffier, and
Nico Potyka, editors, Proceedings of the 15th International Conference
on Scalable Uncertainty Management (SUM 2022), volume 13562 of LNCS,
pages 92--106. Springer, 2022.
|
|
[21]
|
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald,
and Matthias Thimm, editors.
Proceedings of the 8th Workshop on Formal and Cognitive
Reasoning co-located with the 45th German Conference on Artificial
Intelligence (KI 2022), volume 3242 of CEUR Workshop Proceedings.
CEUR-WS.org, 2022.
|
|
[22]
|
Kai Sauerwald.
Semantics of Belief Change Operators for Intelligent Agents:
Iteration, Postulates, and Realizability, volume 352 of Dissertations
in Artificial Intelligence.
IOS Press, 2022.
|
|
[23]
|
Faiq Miftakhul Falakh, Sebastian Rudolph, and Kai Sauerwald.
A katsuno-mendelzon-style characterization of AGM belief base
revision for arbitrary monotonic logics (preliminary report).
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias
Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive
Reasoning (FCR-2021) co-located with the 44th German Conference on
Artificial Intelligence (KI 2021), volume 2961 of CEUR Workshop
Proceedings, pages 48--59. CEUR-WS.org, 2021.
|
|
[24]
|
Kai Sauerwald and Philip Heltweg.
On using model checking for the certification of iterated belief
changes.
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias
Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive
Reasoning (FCR-2021) co-located with the 44th German Conference on
Artificial Intelligence (KI 2021), volume 2961 of CEUR Workshop
Proceedings, pages 23--33. CEUR-WS.org, 2021.
|
|
[25]
|
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald,
and Christoph Beierle.
A brief introduction into activation-based conditional inference.
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias
Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive
Reasoning (FCR-2021) co-located with the 44th German Conference on
Artificial Intelligence (KI 2021), volume 2961 of CEUR Workshop
Proceedings, pages 4--8. CEUR-WS.org, 2021.
|
|
[26]
|
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele
Kern-Isberner, and Christoph Beierle.
Conditional descriptor revision and its modelling by a CSP.
In Wolfgang Faber, Gerhard Friedrich, Martin Gebser, and Michael
Morak, editors, Logics in Artificial Intelligence - 17th European
Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings,
volume 12678 of LNCS, pages 35--49. Springer, 2021.
|
|
[27]
|
Joans Haldimann, Kai Sauerwald, Martin von Berg, Gabriele
Kern-Isberner, and Beierle.
Towards a framework of Hansson’s descriptor revision for
conditionals.
In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, and Eunjee Song,
editors, Proceedings of the 36th ACM/SIGAPP Symposium on Applied
Computing (SAC '21), pages 889--891. ACM, 2021.
|
|
[28]
|
Kai Sauerwald, Philip Heltweg, and Christoph Beierle.
Certification of iterated belief changes via model checking and its
implementation.
In Leila Amgoud and Richard Booth, editors, Proceedings of the
19th International Workshop on Non-Monotonic Reasoning (NMR 2021)
co-located with the 18th International Conference on Principles of Knowledge
Representation and Reasoning (KR 2021), volume 2961 of CEUR
Workshop Proceedings, pages 23--33. CEUR-WS.org, 2021.
|
|
[29]
|
Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph
Beierle.
Forgetting formulas and signature elements in epistemic states.
In Leila Amgoud and Richard Booth, editors, Proceedings of the
19th International Workshop on Non-Monotonic Reasoning (NMR 2021), pages
233--242, 2021.
|
|
[30]
|
Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, and Kai
Sauerwald.
Cognitive logics - features, formalisms, and challenges.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina,
Michela Milano, Senén Barro, Alberto Bugarin, and Jérome Lang, editors,
Proceedings of the 24th European Conference on Artificial Intelligence
(ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and
Applications, pages 2931--2932. IOS Press, 2020.
|
|
[31]
|
Kai Sauerwald, Gabriele Kern-Isberner, and Christoph Beierle.
A conditional perspective for iterated belief contraction.
In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela
Milano, Senén Barro, Alberto Bugarin, and Jerome Lang, editors,
Proceedings of the 24th European Conference on Artificial Intelligence
(ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and
Applications, pages 889--896. IOS Press, 2020.
|
|
[32]
|
Kai Sauerwald, Jonas Haldimann, Martin von Berg, and Christoph
Beierle.
Descriptor revision for conditionals: Literal descriptors and
conditional preservation.
In Ute Schmid, Franziska Klügl, and Diedrich Wolter, editors,
Proceedings of the 43rd German Conference on AI (KI 2020), volume
12325 of LNCS, pages 204--218. Springer, 2020.
|
|
[33]
|
Christoph Beierle, Steven Kutsch, and Kai Sauerwald.
Compilation of static and evolving conditional knowledge bases for
computing induced nonmonotonic inference relations.
Ann. Math. Artif. Intell., 87(1-2):5--41, 2019.
|
|
[34]
|
Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja
Bock, and Marco Ragni.
Towards a general framework for kinds of forgetting in common-sense
belief management.
Künstliche Intelligenz, 33(1):57--68, 2019.
|
|
[35]
|
Kai Sauerwald and Christoph Beierle.
Decrement operators in belief change.
In Gabriele Kern-Isberner and Zoran Ognjanovic, editors,
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU
2019), Proceedings, volume 11726 of LNCS, pages 251--262. Springer,
2019.
|
|
[36]
|
Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, and Kai
Sauerwald.
Axiomatic evaluation of epistemic forgetting operators.
In Roman Barták and Keith W. Brawner, editors, Proceedings
of the Thirty-Second International Florida Artificial Intelligence Research
Society Conference (FLAIRS 32), pages 470--475. AAAI Press, 2019.
|
|
[37]
|
Kai Sauerwald and Jonas Haldimann.
WHIWAP: checking iterative belief changes.
In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias
Thimm, editors, Proceedings of the 8th Workshop on Dynamics of Knowledge
and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019)
co-located with 44nd German Conference on Artificial Intelligence (KI
2019), volume 2445 of CEUR Workshop Proceedings, pages 14--23.
CEUR-WS.org, 2019.
|
|
[38]
|
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, and Christoph
Beierle.
Belief change properties of forgetting operations over ranking
functions.
In Abhaya C. Nayak and Alok Sharma, editors, Proceedings of the
16th Pacific Rim International Conference on Artificial Intelligence
(PRICAI 2019), volume 11670 of LNCS, pages 459--472. Springer, 2019.
|
|
[39]
|
Kai Sauerwald.
Modelling the dynamics of forgetting and remembering by a system of
belief changes: student research abstract.
In Chih-Cheng Hung and George A. Papadopoulos, editors,
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC
2019), pages 1168--1171. ACM, 2019.
|
|
[40]
|
Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner,
Paulina Friemann, and Christoph Beierle.
Towards a formal foundation of cognitive architectures.
In Chuck Kalish, Martina A. Rau, Xiaojin (Jerry) Zhu, and Timothy T.
Rogers, editors, Proceedings of the 40th Annual Meeting of the Cognitive
Science Society (CogSci 2018). cognitivesciencesociety.org, 2018.
|
|
[41]
|
Christoph Beierle, Steven Kutsch, and Kai Sauerwald.
Compilation of conditional knowledge bases for computing c-inference
relations.
In Flavio Ferrarotti and Stefan Woltran, editors, Proceedings of
the Foundations of Information and Knowledge Systems (FoIKS 2018), volume
10833 of LNCS, pages 34--54. Springer, 2018.
|
|
[42]
|
Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, and
Kai Sauerwald.
Kinds and aspects of forgetting in common-sense knowledge and belief
management.
In Frank Trollmann and Anni-Yasmin Turhan, editors,
Proceedings of the 41st German Conference on AI (KI 2018), volume 11117 of
LNCS, pages 366--373. Springer, 2018.
|
|
[43]
|
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, and
Christoph Beierle.
Intentional forgetting in artificial intelligence systems:
Perspectives and challenges.
In Frank Trollmann and Anni-Yasmin Turhan, editors,
Proceedings of the 41st German Conference on AI (KI 2018), volume 11117 of
LNCS, pages 357--365. Springer, 2018.
|
|
[44]
|
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, and Christoph
Beierle.
Iterated contraction of propositions and conditionals under the
principle of conditional preservation.
In Christoph Benzmüller, Christine L. Lisetti, and Martin
Theobald, editors, Proceedings of the 3rd Global Conference on
Artificial Intelligence (GCAI 2017), volume 50 of EPiC Series in
Computing, pages 78--92. EasyChair, 2017.
|
0000-0002-1551-7016
Profiles: dblp scholar researchgate