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 ProvingMatthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokahr; Sebastian Ahrndt (Hrsg). Multiagent System Technologies: 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2016 S. 3 - 17
Schon, Claudia; Furbach, Ulrich
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: New York, USA, July 9, 2016Aachen: CEUR/RWTH 2016
Schon, Claudia
Techniques for optimized reasoning in description logic knowledge basesKoblenz: Universität Koblenz-Landau 2016
Furbach, Ulrich; Pelzer, Björn; Schon, Claudia
Automated Reasoning in the WildAutomated Deduction: CADE-25. Cham: Springer 2015 S. 55 - 72
Furbach, Ulrich; Schon, Claudia
Deontic Logic for Human ReasoningThomas Eiter; Hannes Strass; Miroslaw Truszczynski; Stefan Woltran (Hrsg). Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 63 - 80
Furbach, Ulrich; Schon, Claudia
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, August 1, 2015Aachen: CEUR/RWTH 2015
Furbach, Ulrich; Gordon, Andrew S.; Schon, Claudia
Tackling Benchmark Problems of Commonsense ReasoningUlrich Furbach; Claudia Schon (Hrsg). 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, August 1, 2015. Aachen: CEUR/RWTH 2015 S. 47 - 59
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)