Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
Negation in Cognitive ReasoningEdelkamp, 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 ELProceedings 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 EvaluationProceedings of the Design Society: International Conference on Engineering Design. Bd. 1. H. 1. Cambridge University Press 2019 S. 2527 - 2536
Furbach, Ulrich; Hölldobler, Steffen; Ragni, Marco et al.
Cognitive Reasoning: A Personal ViewKI: Künstliche Intelligenz. Bd. 33. H. 3. Springer 2019 S. 209 - 217
Siebert, Sophie; Schon, Claudia; Stolzenburg, Frieder
Commonsense Reasoning Using Theorem Proving and Machine LearningLecture Notes in Computer Science. Cham: Springer 2019 S. 395 - 413
Furbach, Ulrich; Krämer, Teresa; Schon, Claudia
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom SelectionAutomated Deduction: CADE 27. Cham: Springer 2019 S. 250 - 268 (Lecture Notes in Computer Science, Bd. 11716)
Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
The CoRg Project: Cognitive ReasoningKI: Künstliche Intelligenz. Bd. 33. H. 3. Springer 2019 S. 293 - 299
Leinberger, Martin; Seifer, Philipp; Schon, Claudia et al.
Type Checking Program Code Using SHACLISWC (Hrsg). The Semantic Web. Cham: Springer 2019 S. 399 - 417 (Lecture Notes in Computer Science)
Schon, Claudia; Siebert, Sophie; Stolzenburg, Frieder
Using ConceptNet to Teach Common Sense to an Automated Theorem ProverElectronic 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 ChallengesTrollmann, Frank (Hrsg). KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings. 1. ed. Aufl. Cham: Springer 2018 S. 357 - 365 (Lecture Notes in Computer Science ; 11117)
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
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