Claudia Schon

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 24

Top Venues

CoRR

Künstliche Intell.

CADE

University of Koblenz and Landau, Germany (PHD)

Education History

University of Koblenz and Landau, Germany

PHD

Publications

Claudia Schon
Associative Reasoning for Commonsense Knowledge. KI (2023)
Maria Paola Bonacina, Pascal Fontaine, Cláudia Nalon, Claudia Schon, Martin Desharnais
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471). Dagstuhl Reports 13 (11) (2023)
Claudia Schon
Associative Reasoning for Commonsense Knowledge. CAKR@IJCAI (2022)
Claudia Schon, Ulrich Furbach, Marco Ragni
Modeling Associative Reasoning Processes. CoRR (2022)
Claudia Schon
Selection Strategies for Commonsense Knowledge. CoRR (2022)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Negation in Cognitive Reasoning. KI (2021)
Tjitze Rienstra, Claudia Schon, Steffen Staab
Concept Contraction in the Description Logic EL. KR (2020)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Negation in Cognitive Reasoning. CoRR (2020)
Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach
Consciousness and Automated Reasoning. FCR@KI (2020)
Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon
Consciousness and Automated Reasoning. CoRR (2020)
Sophie Siebert, Claudia Schon, Frieder Stolzenburg
Commonsense Reasoning Using Theorem Proving and Machine Learning. CD-MAKE (2019)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
The CoRg Project: Cognitive Reasoning. Künstliche Intell. 33 (3) (2019)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
Type Checking Program Code Using SHACL. ISWC (1) (2019)
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
Cognitive Reasoning: A Personal View. Künstliche Intell. 33 (3) (2019)
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover. ARCADE@CADE (2019)
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab
Type Checking Program Code using SHACL (Extended Version). CoRR (2019)
Ulrich Furbach, Teresa Krämer, Claudia Schon
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. CADE (2019)
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
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI (2018)
Claudia Schon, Steffen Staab, Patricia Kügler, Philipp Kestel, Benjamin Schleich, Sandro Wartzack
Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base. EKAW (2018)
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci (2017)
Claudia Schon, Steffen Staab
Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. JOWO (2017)
Ulrich Furbach, Claudia Schon
Commonsense Reasoning Meets Theorem Proving. MATES (2016)
Ulrich Furbach, Claudia Schon
Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA (2016)
Ulrich Furbach, Claudia Schon
Commonsense Reasoning Meets Theorem Proving. Bridging@IJCAI (2016)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning for Robot Ethics. CoRR (2015)
Ulrich Furbach, Björn Pelzer, Claudia Schon
Automated Reasoning in the Wild. CADE (2015)
Ulrich Furbach, Claudia Schon
Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. 29 (3) (2015)
Ulrich Furbach, Andrew S. Gordon, Claudia Schon
Tackling Benchmark Problems of Commonsense Reasoning. Bridging@CADE (2015)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning in Deontic Logic. MIWAI (2014)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Cognitive Systems and Question Answering. CoRR (2014)
Ulrich Furbach, Claudia Schon
Deontic Logic for Human Reasoning. CoRR (2014)
Ulrich Furbach, Claudia Schon
Semantically Guided Evolution of SHI ABoxes. CoRR (2014)
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Automated Reasoning in Deontic Logic. CoRR (2014)
Ulrich Furbach, Claudia Schon
Semantically Guided Evolution of ABoxes. TABLEAUX (2013)
Markus Bender, Björn Pelzer, Claudia Schon
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. CADE (2013)
Claudia Schon
Concepts and TBoxes. KI (2011)

Claudia Schon.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claudia Schon