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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
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

2018
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

2017
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

2016
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

2015
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

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

2013
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

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

2009
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

2007
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

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


  Loading...