Claudia Schon

According to our database1, Claudia Schon authored at least 24 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





The CoRg Project: Cognitive Reasoning.
KI, 2019

Cognitive Reasoning: A Personal View.
KI, 2019

Commonsense Reasoning Using Theorem Proving and Machine Learning.
Proceedings of the Machine Learning and Knowledge Extraction, 2019

Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection.
Proceedings of the Automated Deduction - CADE 27, 2019

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes.
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?
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

Techniques for optimized reasoning in description logic knowledge bases.
PhD thesis, 2016

Commonsense Reasoning Meets Theorem Proving.
Proceedings of the Multiagent System Technologies - 14th German Conference, 2016

Commonsense Reasoning Meets Theorem Proving.
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

Commonsense Reasoning meets Theorem Proving.
Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

The RatioLog Project: Rational Extensions of Logical Reasoning.
KI, 2015

Automated Reasoning in the Wild.
Proceedings of the Automated Deduction - CADE-25, 2015

Tackling Benchmark Problems of Commonsense Reasoning.
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning, 2015

Deontic Logic for Human Reasoning.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Automated Reasoning in Deontic Logic.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2014

Semantically Guided Evolution of ABoxes.
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.
Proceedings of the Automated Deduction - CADE-24, 2013

Linkless Normal Form for ALC Concepts and TBoxes.
Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

A Knowledge Compilation Technique for ALC Tboxes.
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.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

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

Applications of Automated Reasoning.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006