Bender, Markus; Pelzer, Björn; Schon, Claudia
System Description: E-KRHyper 1.4: Extensions for Unique Names and Description LogicMaria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 126 - 134
Schon, Claudia
Linkless Normal Form for ALC Concepts and TBoxesKI 2011: Advances in Artificial Intelligence. Berlin / Heidelberg: Springer 2011 S. 301 - 312
Furbach, Ulrich; Günther, Heiko; Obermaier, Claudia
A Knowledge Compilation Technique for ALC TboxesProceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS). Washington: AAAI 2009
Obermaier, Claudia; Wagner, Markus
Towards an evolved lower bound for the most circular partition of a squareCongress on Evolutionary Computation. Trondheim: IEEE 2009
Furbach, Ulrich; Obermaier, Claudia
Applications of Automated ReasoningChristian Freksa; Michael Kohlhase; Kerstin Schill (Hrsg). KI 2006: Advances in Artificial Intelligence; 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings. Berlin: Springer 2007 S. 174 - 187
Furbach, Ulrich; Obermaier, Claudia
Knowledge compilation for description logicsArbeitsberichte, FB Informatik. Bd. 17. 2007 S. 3 - 14
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot EthicsCoRR. S. 1 - 5
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question AnsweringCoRR. S. 1 - 7
Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI AboxesCoRR. S. 1 - 15
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder et al.
The RatioLog Project: Rational Extensions of Logical ReasoningCoRR. S. 1 - 7