Claudia Schon

According to our database, Claudia Schon authored at least 38 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning.

Claudia Schon

Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), 2024

Context-Specific Selection of Commonsense Knowledge Using Large Language Models.

Oliver Jakobs, Claudia Schon

Proceedings of the KI 2024: Advances in Artificial Intelligence, 2024

Schließen im Alltag und unter Unsicherheit.

Claudia Schon

Proceedings of the Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen, 2024

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

Associative Reasoning for Commonsense Knowledge.

Claudia Schon

Proceedings of the KI 2023: Advances in Artificial Intelligence, 2023

2022

Selection Strategies for Commonsense Knowledge.

Claudia Schon

CoRR, 2022

Modeling Associative Reasoning Processes.

Claudia Schon, Ulrich Furbach, Marco Ragni

CoRR, 2022

2021

Negation in Cognitive Reasoning.

Claudia Schon, Sophie Siebert, Frieder Stolzenburg

Proceedings of the KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, Virtual Event, September 27, 2021

2020

Concept Contraction in the Description Logic EL.

Tjitze Rienstra, Claudia Schon, Steffen Staab

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Consciousness and Automated Reasoning.

Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

2019

The CoRg Project: Cognitive Reasoning.

Claudia Schon, Sophie Siebert, Frieder Stolzenburg

Künstliche Intell., 2019

Cognitive Reasoning: A Personal View.

Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg

Künstliche Intell., 2019

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover.

Claudia Schon, Sophie Siebert, Frieder Stolzenburg

Proceedings of the Second International Workshop on Automated Reasoning: Challenges, 2019

Type Checking Program Code using SHACL (Extended Version).

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

CoRR, 2019

Type Checking Program Code Using SHACL.

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

Proceedings of the Semantic Web - ISWC 2019, 2019

Commonsense Reasoning Using Theorem Proving and Machine Learning.

Sophie Siebert, Claudia Schon, Frieder Stolzenburg

Proceedings of the Machine Learning and Knowledge Extraction, 2019

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.

Ulrich Furbach, Teresa Krämer, Claudia Schon

Proceedings of the Automated Deduction - CADE 27, 2019

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, 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

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base.

Claudia Schon, Steffen Staab, Patricia Kügler, Philipp Kestel, Benjamin Schleich, Sandro Wartzack

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

2017

Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes.

Claudia Schon, Steffen Staab

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?

Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon

Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

2016

Techniques for optimized reasoning in description logic knowledge bases.

Claudia Schon

PhD thesis, 2016

Commonsense Reasoning Meets Theorem Proving.

Ulrich Furbach, Claudia Schon

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

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

Automated Reasoning for Robot Ethics.

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg

CoRR, 2015

Automated Reasoning in the Wild.

Ulrich Furbach, Björn Pelzer, Claudia Schon

Proceedings of the Automated Deduction - CADE-25, 2015

Tackling Benchmark Problems of Commonsense Reasoning.

Ulrich Furbach, Andrew S. Gordon, Claudia Schon

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

Deontic Logic for Human Reasoning.

Ulrich Furbach, Claudia Schon

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Cognitive Systems and Question Answering.

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg

CoRR, 2014

Semantically Guided Evolution of SHI ABoxes.

Ulrich Furbach, Claudia Schon

CoRR, 2014

Automated Reasoning in Deontic Logic.

Ulrich Furbach, Claudia Schon, Frieder Stolzenburg

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

2013

Semantically Guided Evolution of ABoxes.

Ulrich Furbach, Claudia Schon

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.

Markus Bender, Björn Pelzer, Claudia Schon

Proceedings of the Automated Deduction - CADE-24, 2013

2011

Linkless Normal Form for <i>ALC</i> Concepts and TBoxes.

Claudia Schon

Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

2009

A Knowledge Compilation Technique for ALC Tboxes.

Ulrich Furbach, Heiko Günther, Claudia Obermaier

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

Towards an evolved lower bound for the most circular partition of a square.

Claudia Obermaier, Markus Wagner

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

2007

Knowledge Compilation for Description Logics.

Ulrich Furbach, Claudia Obermaier

Proceedings of the 3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th German Conference on Artificial Intelligence (KI-2007), 2007

2006

Applications of Automated Reasoning.

Ulrich Furbach, Claudia Obermaier

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006