| 2024 | KI | Context-Specific Selection of Commonsense Knowledge Using Large Language Models. | Oliver Jakobs, Claudia Schon |
| 2024 | KI | Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning. | Claudia Schon |
| 2023 | KI | Associative Reasoning for Commonsense Knowledge. | Claudia Schon |
| 2022 | IJCAI | Associative Reasoning for Commonsense Knowledge. | Claudia Schon |
| 2021 | KI | Negation in Cognitive Reasoning. | Claudia Schon, Sophie Siebert, Frieder Stolzenburg |
| 2020 | KI | Consciousness and Automated Reasoning. | Ulrike Barthelme, Claudia Schon, Ulrich Furbach |
| 2020 | KR | Concept Contraction in the Description Logic EL. | Tjitze Rienstra, Claudia Schon, Steffen Staab |
| 2019 | CADE | Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. | Ulrich Furbach, Teresa Krmer, Claudia Schon |
| 2018 | EKAW | Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base. | Claudia Schon, Steffen Staab, Patricia Kgler, Philipp Kestel, Benjamin Schleich, Sandro Wartzack |
| 2018 | KI | Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. | Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niedere, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle |
| 2017 | CogSci | Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? | Ulrich Furbach, Steffen Hlldobler, Marco Ragni, Claudia Schon |
| 2016 | IJCAI | Commonsense Reasoning Meets Theorem Proving. | Ulrich Furbach, Claudia Schon |
| 2015 | CADE | Tackling Benchmark Problems of Commonsense Reasoning. | Ulrich Furbach, Andrew S. Gordon, Claudia Schon |
| 2015 | CADE | Automated Reasoning in the Wild. | Ulrich Furbach, Bjrn Pelzer, Claudia Schon |
| 2013 | CADE | System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. | Markus Bender, Bjrn Pelzer, Claudia Schon |
| 2013 | TABLEAUX | Semantically Guided Evolution of ABoxes. | Ulrich Furbach, Claudia Schon |
| 2011 | KI | Linkless Normal Form for | Claudia Schon |