Sie sind hier

Dr. Claudia Schon

B 114
+49 261 287-2773
schon@uni-koblenz.de
Bibsonomy-ID: 
cschon

Publications:
2016
Commonsense Reasoning Meets Theorem Proving
Ulrich Furbach, Claudia Schon. Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings
Techniques for Optimized Reasoning in Description Logic Knowledge Bases
Claudia Schon.
Commonsense Reasoning meets Theorem Proving
Ulrich Furbach, Claudia Schon. Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving AITP'16, Obergurgl, Austria
2015
The RatioLog Project: Rational Extensions of Logical Reasoning
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth.
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 - A workshop of the 25th International Conference on Automated Deduction - CADE-25, Berlin, Germany, 2015
Deontic Logic for Human Reasoning
Ulrich Furbach, Claudia Schon. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Cognitive Systems and Question Answering
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg.
Automated Reasoning in the Wild
Ulrich Furbach, Björn Pelzer, Claudia Schon. Automated Deduction - CADE-25
2014
Automated Reasoning in Deontic Logic
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg. Multi-disciplinary Trends in Artificial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings
2013
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic
Markus Bender, Björn Pelzer, Claudia Schon. Automated Deduction - CADE-24, 24th International Conference on Automated Deduction, Lake Placid, NY, USA, 2013, Proceedings
Semantically Guided Evolution of SHI ABoxes
Ulrich Furbach, Claudia Schon. Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings
2011
Linkless Normal Form for ALC Concepts and TBoxes
Claudia Schon. KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI, Berlin, Germany, 2011. Proceedings
2009
A Knowledge Compilation Technique for ALC TBoxes
Ulrich Furbach, Heiko Günther, Claudia Obermaier. Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, 2009, Sanibel Island, Florida, USA
Towards an evolved lower bound for the most circular partition of a square
Claudia Obermaier, Markus Wagner. Proceedings of the Eleventh conference on Congress on Evolutionary Computation
2007
Knowledge Compilation for Description Logics
Ulrich Furbach, Claudia Obermaier. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings
Applications of Automated Reasoning
Ulrich Furbach, Claudia Obermaier. KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, 2006, Proceedings