Schon, Claudia; Staab, Steffen; Kügler, Patricia et al.
Metaproperty-Guided Deletion from the Instance-Level of a Knowledge BaseKnowledge Engineering and Knowledge Management. Cham: Springer 2018 S. 407 - 423 (Lecture Notes in Computer Science, Bd.11313)
Kügler, Patricia; Kestel, Philipp; Schon, Claudia et al.
Ontology-Based Approach for the Use of Intentional Forgetting in Product DevelopmentDS 92: Proceedings of the DESIGN 2018. 15th International Design Conference. Zagreb / Glasgow: Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb / The Design Society 2018
Furbach, Ulrich; Schon, Claudia
Commonsense Reasoning Meets Theorem Proving.MATES. 2016 S. 3 - 17
Schon, Claudia
Techniques for optimized reasoning in description logic knowledge bases.2016
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot Ethics.CoRR. Bd. abs/1502.05838. 2015
Furbach, Ulrich; Pelzer, Björn; Schon, Claudia
Automated Reasoning in the WildAutomated Deduction: CADE-25. Cham: Springer 2015 S. 55 - 72
Furbach, Ulrich; S. Gordon, Andrew; Schon, Claudia
Tackling Benchmark Problems of Commonsense Reasoning.Bridging@CADE. 2015 S. 47 - 59
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder et al.
The RatioLog Project - Rational Extensions of Logical Reasoning.CoRR. Bd. abs/1503.06087. 2015