Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning in Deontic LogicMulti-disciplinary Trends in Artificial Intelligence. Cham: Springer 2014 S. 57 - 68 (Lecture Notes in Computer Science, Bd. 8875)
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question Answering.CoRR. Bd. abs/1411.4825. 2014
Furbach, Ulrich; Schon, Claudia
Deontic Logic for Human Reasoning.Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. 2014 S. 63 - 80
Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI ABoxes.CoRR. Bd. abs/1405.1192. 2014
Bender, Markus; Pelzer, Björn; Schon, Claudia
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic.CADE. 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. USA: AAAI Press 2009
Obermaier, Claudia; Wagner, Markus
Towards an evolved lower bound for the most circular partition of a square2009 IEEE Congress on Evolutionary Computation. Onlinepublikation: IEEE 2009
Furbach, Ulrich; Obermaier, Claudia
Knowledge compilation for description logicsArbeitsberichte, FB Informatik. Bd. 2007. H. 17. 2007 S. 3 - 14
Furbach, Ulrich; Obermaier, Claudia
Applications of Automated Reasoning.KI. 2006 S. 174 - 187