Claudia Schon
Claudia Obermaier
Person information
- affiliation: Universität Koblenz-Landau, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c18]Claudia Schon, Steffen Staab, Patricia Kügler, Philipp Kestel, Benjamin Schleich, Sandro Wartzack:
Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base. EKAW 2018: 407-423 - [c17]Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle:
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: 357-365 - [e4]Claudia Schon:
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. CEUR Workshop Proceedings 2261, CEUR-WS.org 2018 [contents] - 2017
- [c16]Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon:
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci 2017 - [c15]Claudia Schon, Steffen Staab:
Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. JOWO 2017 - [e3]Claudia Schon, Ulrich Furbach:
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017. CEUR Workshop Proceedings 1994, CEUR-WS.org 2017 [contents] - 2016
- [b1]Claudia Schon:
Techniques for optimized reasoning in description logic knowledge bases. University of Koblenz and Landau, Germany 2016 - [c14]
- [c13]Ulrich Furbach, Claudia Schon:
Commonsense Reasoning Meets Theorem Proving. Bridging@IJCAI 2016: 74-85 - [c12]
- [e2]Claudia Schon, Ulrich Furbach:
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. CEUR Workshop Proceedings 1651, CEUR-WS.org 2016 [contents] - 2015
- [j1]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
The RatioLog Project: Rational Extensions of Logical Reasoning. KI 29(3): 271-277 (2015) - [c11]Ulrich Furbach, Claudia Schon:
Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 63-80 - [c10]Ulrich Furbach, Andrew S. Gordon, Claudia Schon:
Tackling Benchmark Problems of Commonsense Reasoning. Bridging@CADE 2015: 47-59 - [c9]
- [e1]Ulrich Furbach, Claudia Schon:
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. CEUR Workshop Proceedings 1412, CEUR-WS.org 2015 [contents] - [i6]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning for Robot Ethics. CoRR abs/1502.05838 (2015) - [i5]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR abs/1503.06087 (2015) - 2014
- [c8]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. MIWAI 2014: 57-68 - [i4]
- [i3]Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of SHI ABoxes. CoRR abs/1405.1192 (2014) - [i2]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. CoRR abs/1411.4823 (2014) - [i1]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Cognitive Systems and Question Answering. CoRR abs/1411.4825 (2014) - 2013
- [c7]Markus Bender, Björn Pelzer, Claudia Schon:
System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. CADE 2013: 126-134 - [c6]
- 2011
- [c5]
2000 – 2009
- 2009
- [c4]Claudia Obermaier, Markus Wagner:
Towards an evolved lower bound for the most circular partition of a square. IEEE Congress on Evolutionary Computation 2009: 1463-1469 - [c3]Ulrich Furbach, Heiko Günther, Claudia Obermaier:
A Knowledge Compilation Technique for ALC Tboxes. FLAIRS Conference 2009 - 2007
- [c2]
- 2006
- [c1]
Coauthor Index
last updated on 2019-01-17 21:06 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint