Applications of Automated Reasoning. - Ulrich Furbach; Claudia Obermaier (KI, 2006)

Knowledge Compilation for Description Logics. - Ulrich Furbach; Claudia Obermaier (KESE, 2007)

Towards an evolved lower bound for the most circular partition of a square. - Claudia Obermaier; Markus Wagner 007 (IEEE Congress on Evolutionary Computation, 2009)

A Knowledge Compilation Technique for ALC Tboxes. - Ulrich Furbach; Heiko Günther; Claudia Obermaier (FLAIRS, 2009)

Linkless Normal Form for ALC Concepts and TBoxes. - Claudia Schon (KI, 2011)

System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. - Markus Bender; Björn Pelzer; Claudia Schon (CADE, 2013)

Semantically Guided Evolution of ABoxes. - Ulrich Furbach; Claudia Schon (TABLEAUX, 2013)

Automated Reasoning in Deontic Logic. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg (MIWAI, 2014)

Semantically Guided Evolution of SHI ABoxes. - Ulrich Furbach; Claudia Schon (CoRR, 2014)

Cognitive Systems and Question Answering. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg (CoRR, 2014)

Deontic Logic for Human Reasoning. - Ulrich Furbach; Claudia Schon (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Tackling Benchmark Problems of Commonsense Reasoning. - Ulrich Furbach; Andrew S. Gordon; Claudia Schon (Bridging@CADE, 2015)

Automated Reasoning in the Wild. - Ulrich Furbach; Björn Pelzer; Claudia Schon (CADE, 2015)

Automated Reasoning for Robot Ethics. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg (CoRR, 2015)

The RatioLog Project: Rational Extensions of Logical Reasoning. - Ulrich Furbach; Claudia Schon; Frieder Stolzenburg; Karl-Heinz Weis; Claus-Peter Wirth (Künstliche Intell., 2015)

Commonsense Reasoning Meets Theorem Proving. - Ulrich Furbach; Claudia Schon (Bridging@IJCAI, 2016)

Techniques for optimized reasoning in description logic knowledge bases. - Claudia Schon (2016)

Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? - Ulrich Furbach; Steffen Hölldobler; Marco Ragni; Claudia Schon (CogSci, 2017)

Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. - Claudia Schon; Steffen Staab (JOWO, 2017)

Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base. - Claudia Schon; Steffen Staab; Patricia Kügler; Philipp Kestel; Benjamin Schleich; Sandro Wartzack (EKAW, 2018)

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. - Ingo J. Timm; Steffen Staab; Michael Siebers; Claudia Schon; Ute Schmid; Kai Sauerwald; Lukas Reuter 001; Marco Ragni; Claudia Niederée; Heiko Maus; Gabriele Kern-Isberner; Christian Jilek; et al. (KI, 2018)

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. - Ulrich Furbach; Teresa Krämer; Claudia Schon (CADE, 2019)

Commonsense Reasoning Using Theorem Proving and Machine Learning. - Sophie Siebert; Claudia Schon; Frieder Stolzenburg (CD-MAKE, 2019)

Type Checking Program Code Using SHACL. - Martin Leinberger; Philipp Seifer; Claudia Schon; Ralf Lämmel; Steffen Staab (ISWC (1), 2019)

Type Checking Program Code using SHACL (Extended Version). - Martin Leinberger; Philipp Seifer; Claudia Schon; Ralf Lämmel; Steffen Staab (CoRR, 2019)

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. - Claudia Schon; Sophie Siebert; Frieder Stolzenburg (ARCADE@CADE, 2019)

Cognitive Reasoning: A Personal View. - Ulrich Furbach; Steffen Hölldobler; Marco Ragni; Claudia Schon; Frieder Stolzenburg (Künstliche Intell., 2019)

The CoRg Project: Cognitive Reasoning. - Claudia Schon; Sophie Siebert; Frieder Stolzenburg (Künstliche Intell., 2019)

Consciousness and Automated Reasoning. - Ulrike Barthelmeß; Claudia Schon; Ulrich Furbach (FCR@KI, 2020)

Concept Contraction in the Description Logic EL. - Tjitze Rienstra; Claudia Schon; Steffen Staab (KR, 2020)

Negation in Cognitive Reasoning. - Claudia Schon; Sophie Siebert; Frieder Stolzenburg (KI, 2021)

Modeling Associative Reasoning Processes. - Claudia Schon; Ulrich Furbach; Marco Ragni (CoRR, 2022)

Selection Strategies for Commonsense Knowledge. - Claudia Schon (CoRR, 2022)

Associative Reasoning for Commonsense Knowledge. - Claudia Schon (KI, 2023)

The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). - Maria Paola Bonacina; Pascal Fontaine; Cláudia Nalon; Claudia Schon; Martin Desharnais (Dagstuhl Reports, 2023)

Schließen im Alltag und unter Unsicherheit. - Claudia Schon (Künstliche Intelligenz für Lehrkräfte, 2024)

Context-Specific Selection of Commonsense Knowledge Using Large Language Models. - Oliver Jakobs; Claudia Schon (KI, 2024)

Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning. - Claudia Schon (FCR@KI, 2024)