Prof. Dr. Claudia Schon - Publikationen

Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
Negation in Cognitive Reasoning
Edelkamp, Stefan; Möller, Ralf; Rueckert, Elmar (Hrsg). KI 2021: Advances in Artificial Intelligence. Cham: Springer 2021 S. 217 - 232 (44th German Conference on Artificial Intelligence)

Rienstra, Tjitze; Schon, Claudia; Staab, Steffen
Concept Contraction in the Description Logic EL
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning: Main Track. online: International Joint Conferences on Artificial Intelligence Organization 2020 S. 723 - 732

Kügler, Patricia; Schon, Claudia; Schleich, Benjamin et al.
Cascading Forgetting in Product Development Challenges and Evaluation
Proceedings of the Design Society : International Conference on Engineering Design. Bd. 1. H. 1. Cambridge: Cambridge University Press 2019 S. 2527 - 2536

Furbach, Ulrich; Hölldobler, Steffen; Ragni, Marco et al.
Cognitive Reasoning: A Personal View
Künstliche Intelligenz. Bd. 33. H. 3. Berlin: Springer 2019 S. 209 - 2017

Siebert, Sophie; Schon, Claudia; Stolzenburg, Frieder
Commonsense Reasoning using Theorem Proving and Machine Learning
Andreas Holzinger;Peter Kieseberg;A Min Tjoa;Edgar Weippl (Hrsg). Machine Learning and Knowledge Extraction: Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 395 - 413

Furbach, Ulrich; Krämer, Teresa; Schon, Claudia
Names are not just Sound and Smoke: Word Embeddings for Axiom Selection
Pascal Fontaine (Hrsg). Automated Deduction - CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 250 - 268

Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
The CoRg Project: Cognitive Reasoning
Künstliche Intelligenz. Bd. 33. H. 3. Berlin: Springer 2019 S. 293 - 299

Leinberger, Martin; Seifer, Philipp; Schon, Claudia et al.
Type Checking Program Code Using SHACL
Chiara Ghidini; Olaf Hartig; Maria Maleshkova; Vojtech Svátek; Isabel Cruz; Aidan Hogan; Jie Song; Maxime Lefrançois; Fabien Gandon (Hrsg). The Semantic Web – ISWC 201918th International Semantic Web Conference; Auckland, New Zealand; October 26–30, 2019, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2019 S. 399 - 417

Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Electronic Proceedings in Theoretical Computer Science. Bd. 311. Open Publishing Association 2019 S. 19 - 24

Timm, Ingo J.; Staab, Steffen; Siebers, Michael et al.
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges
Frank Trollmann;Anni-Yasmin Turhan (Hrsg). KI 2018: Advances in Artificial Intelligence: 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2018 S. 357 - 365

Schon, Claudia; Staab, Steffen; Kügler, Patricia et al.
Metaproperty-guided Deletion from the Instance-Level of a Knowledge Base
Catherine 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 development
Dorian 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 Proving
Matthias 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, 2016
Aachen: CEUR/RWTH 2016

Schon, Claudia
Techniques for optimized reasoning in description logic knowledge bases
Koblenz: Universität Koblenz-Landau 2016

Furbach, Ulrich; Pelzer, Björn; Schon, Claudia
Automated Reasoning in the Wild
Amy 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 Reasoning
Thomas 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, 2015
Aachen: CEUR/RWTH 2015

Furbach, Ulrich; Gordon, Andrew S.; Schon, Claudia
Tackling Benchmark Problems of Commonsense Reasoning
Ulrich 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 Logic
M. 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

Bender, Markus; Pelzer, Björn; Schon, Claudia
System Description: E-KRHyper 1.4: Extensions for Unique Names and Description Logic
Maria 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 TBoxes
Joscha Bach;Stefan Edelkamp (Hrsg). KI 2011 Advances in Artificial Intelligence: 34th Annual German Conference on AI, Berlin, Germany, October 4 -7,2011, Proceedings. Berlin: Springer 2011 S. 301 - 312

Furbach, Ulrich; Günther, Heiko; Obermaier, Claudia
A Knowledge Compilation Technique for ALC Tboxes
Proceedings 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 square
Congress on Evolutionary Computation. Trondheim: IEEE 2009

Furbach, Ulrich; Obermaier, Claudia
Applications of Automated Reasoning
Christian 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 logics
Arbeitsberichte, FB Informatik. Bd. 17. 2007 S. 3 - 14

Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot Ethics
CoRR.  S. 1 - 5

Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question Answering
CoRR.  S. 1 - 7

Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI Aboxes
CoRR.  S. 1 - 15

Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder et al.
The RatioLog Project: Rational Extensions of Logical Reasoning
CoRR.  S. 1 - 7