Schon, Claudia; Staab, Steffen; Kügler, Patricia et al.
Metaproperty-guided Deletion from the Instance-Level of a Knowledge BaseCatherine Faron Zucker;Chiara Ghidini;Amedeo Napoli;Yannick Toussaint (Hrsg). Knowledge Engineering and Knowledge Management: 21st International Conference, EKAW 2018, Nancy, France, November 12-16, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 407 - 423
Kügler, Patricia; Kestel, Philipp; Schon, Claudia et al.
Ontology-based approach for the use of Intentional Forgetting in product developmentDorian Marjanovic;Mario Storga;Stanko Skec;Nenad Bojcetic;Neven Pavkovic (Hrsg). Proceedings of the DESIGN 2018 15th International Design Conference: May 21-24, 2018; Dubrovnik, Croatia. Zagreb: University of Zagreb, Faculty of Mechanical Engineering and Naval Architecture 2018 S. 1595 - 1606
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 WildAmy P. Felty; Aart Middeldorp (Hrsg). Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 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 LogicM. Narasimha Murty; Xiangjian He; Chillarige Raghavendra Rao; Paul Weng (Hrsg). Multi-disciplinary Trends in Artificial Intelligence: 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2014 S. 57 - 68