Claudia Schon

49 papers A* 1A 3B 3C 1Misc 5Journal 15Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Context-Aware Clause Selection Using Symbol Name Meanings in Theorem Proving.
FroCoS
Claudia Schon
2024 Misc conf
Context-Specific Selection of Commonsense Knowledge Using Large Language Models.
KI
Oliver Jakobs, Claudia Schon
2024 — ch.
Schließen im Alltag und unter Unsicherheit.
Künstliche Intelligenz für Lehrkräfte
Claudia Schon
2024 — conf
Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning.
FCR@KI
Claudia Schon
2023 Misc conf
Associative Reasoning for Commonsense Knowledge.
KI
Claudia Schon
2023 J jnl
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471).
Dagstuhl Reports
Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais
2022 — conf
Associative Reasoning for Commonsense Knowledge.
CAKR@IJCAI
Claudia Schon
2022 J jnl
Modeling Associative Reasoning Processes.
CoRR
Claudia Schon, Ulrich Furbach, Marco Ragni
2022 — ed.
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022.
PAAR
Boris Konev, Claudia Schon, Alexander Steen
2022 J jnl
Selection Strategies for Commonsense Knowledge.
CoRR
Claudia Schon
2021 Misc conf
Negation in Cognitive Reasoning.
KI
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2020 A* conf
Concept Contraction in the Description Logic EL.
KR
Tjitze Rienstra, Claudia Schon, Steffen Staab
2020 — conf
Consciousness and Automated Reasoning.
FCR@KI
Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach
2020 J jnl
Consciousness and Automated Reasoning.
CoRR
Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon
2020 J jnl
Negation in Cognitive Reasoning.
CoRR
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2019 J jnl
Cognitive Reasoning: A Personal View.
Künstliche Intell.
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
2019 C conf
Commonsense Reasoning Using Theorem Proving and Machine Learning.
CD-MAKE
Sophie Siebert, Claudia Schon, Frieder Stolzenburg
2019 — ed.
Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019.
LaCATODA/BtG@IJCAI
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk
2019 A conf
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.
CADE
Ulrich Furbach, Teresa Krämer, Claudia Schon
2019 J jnl
The CoRg Project: Cognitive Reasoning.
Künstliche Intell.
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
2019 — conf
Type Checking Program Code Using SHACL.
ISWC (1)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
2019 J jnl
Type Checking Program Code using SHACL (Extended Version).
CoRR
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
2019 — conf
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover.
ARCADE@CADE
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
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 B conf
Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base.
EKAW
Claudia Schon, Steffen Staab, Patricia Kügler, Philipp Kestel, Benjamin Schleich, Sandro Wartzack
2018 — ed.
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018.
Bridging@IJCAI/ECAI
Claudia Schon
2017 — ed.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017.
Bridging@CogSci
Claudia Schon, Ulrich Furbach
2017 — conf
Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes.
JOWO
Claudia Schon, Steffen Staab
2017 B conf
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning?
CogSci
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon
2016 — conf
Commonsense Reasoning Meets Theorem Proving.
Bridging@IJCAI
Ulrich Furbach, Claudia Schon
2016 — conf
Commonsense Reasoning Meets Theorem Proving.
MATES
Ulrich Furbach, Claudia Schon
2016 — conf
Commonsense Reasoning meets Theorem Proving.
URANIA@AI*IA
Ulrich Furbach, Claudia Schon
2016 — ed.
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), New York, USA, July 9, 2016.
Bridging@IJCAI
Claudia Schon, Ulrich Furbach
2016 — —
Techniques for optimized reasoning in description logic knowledge bases.
Claudia Schon
2015 J jnl
Automated Reasoning for Robot Ethics.
CoRR
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2015 A conf
Automated Reasoning in the Wild.
CADE
Ulrich Furbach, Björn Pelzer, Claudia Schon
2015 — conf
Deontic Logic for Human Reasoning.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Ulrich Furbach, Claudia Schon
2015 — ed.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015.
Bridging@CADE
Ulrich Furbach, Claudia Schon
2015 — conf
Tackling Benchmark Problems of Commonsense Reasoning.
Bridging@CADE
Ulrich Furbach, Andrew S. Gordon, Claudia Schon
2015 J jnl
The RatioLog Project - Rational Extensions of Logical Reasoning.
CoRR
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015 J jnl
The RatioLog Project: Rational Extensions of Logical Reasoning.
Künstliche Intell.
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2014 — conf
Automated Reasoning in Deontic Logic.
MIWAI
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014 J jnl
Automated Reasoning in Deontic Logic.
CoRR
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014 J jnl
Cognitive Systems and Question Answering.
CoRR
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014 J jnl
Deontic Logic for Human Reasoning.
CoRR
Ulrich Furbach, Claudia Schon
2014 J jnl
Semantically Guided Evolution of SHI ABoxes.
CoRR
Ulrich Furbach, Claudia Schon
2013 B conf
Semantically Guided Evolution of ABoxes.
TABLEAUX
Ulrich Furbach, Claudia Schon
2013 A conf
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.
CADE
Markus Bender, Björn Pelzer, Claudia Schon
2011 Misc conf
Linkless Normal Form for
KI
Claudia Schon