The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Claudia Schon Claudia Obermaier ( http://dblp.L3S.de/Authors/Claudia_Schon )

Publication years (Num. hits)
2006-2015 (19) 2016-2019 (16)
Publication types (Num. hits)
article(10) inproceedings(20) phdthesis(1) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 36 publication records. Showing 35 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg Cognitive Reasoning: A Personal View. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Claudia Schon, Sophie Siebert, Frieder Stolzenburg The CoRg Project: Cognitive Reasoning. Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab Type Checking Program Code using SHACL (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sophie Siebert, Claudia Schon, Frieder Stolzenburg Commonsense Reasoning Using Theorem Proving and Machine Learning. Search on Bibsonomy CD-MAKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Teresa Krämer, Claudia Schon Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter 0001, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel 0001, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudia Schon, Steffen Staab, Patricia Kügler, Philipp Kestel, Benjamin Schleich, Sandro Wartzack Metaproperty-Guided Deletion from the Instance-Level of a Knowledge Base. Search on Bibsonomy EKAW The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Claudia Schon (eds.) 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. Search on Bibsonomy Bridging@IJCAI/ECAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Claudia Schon, Steffen Staab Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. Search on Bibsonomy JOWO The full citation details ... 2017 DBLP  BibTeX  RDF
1Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? Search on Bibsonomy CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
1Claudia Schon, Ulrich Furbach (eds.) 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. Search on Bibsonomy Bridging@CogSci The full citation details ... 2017 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Commonsense Reasoning Meets Theorem Proving. Search on Bibsonomy MATES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Commonsense Reasoning meets Theorem Proving. Search on Bibsonomy URANIA@AI*IA The full citation details ... 2016 DBLP  BibTeX  RDF
1Claudia Schon, Ulrich Furbach (eds.) 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. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Commonsense Reasoning Meets Theorem Proving. Search on Bibsonomy Bridging@IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Claudia Schon Techniques for optimized reasoning in description logic knowledge bases. Search on Bibsonomy 2016   RDF
1Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth The RatioLog Project: Rational Extensions of Logical Reasoning. Search on Bibsonomy KI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Claudia Schon, Frieder Stolzenburg Automated Reasoning for Robot Ethics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth The RatioLog Project - Rational Extensions of Logical Reasoning. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Deontic Logic for Human Reasoning. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Claudia Schon (eds.) 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. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulrich Furbach, Andrew S. Gordon, Claudia Schon Tackling Benchmark Problems of Commonsense Reasoning. Search on Bibsonomy Bridging@CADE The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulrich Furbach, Björn Pelzer, Claudia Schon Automated Reasoning in the Wild. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Claudia Schon, Frieder Stolzenburg Automated Reasoning in Deontic Logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon, Frieder Stolzenburg Cognitive Systems and Question Answering. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Semantically Guided Evolution of SHI ABoxes. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Deontic Logic for Human Reasoning. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Schon, Frieder Stolzenburg Automated Reasoning in Deontic Logic. Search on Bibsonomy MIWAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Markus Bender, Björn Pelzer, Claudia Schon System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic. Search on Bibsonomy CADE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Claudia Schon Semantically Guided Evolution of ABoxes. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Claudia Schon Linkless Normal Form for ALC Concepts and TBoxes. Search on Bibsonomy KI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Claudia Obermaier, Markus Wagner 0007 Towards an evolved lower bound for the most circular partition of a square. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ulrich Furbach, Heiko Günther, Claudia Obermaier A Knowledge Compilation Technique for ALC Tboxes. Search on Bibsonomy FLAIRS Conference The full citation details ... 2009 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Obermaier Knowledge Compilation for Description Logics. Search on Bibsonomy KESE The full citation details ... 2007 DBLP  BibTeX  RDF
1Ulrich Furbach, Claudia Obermaier Applications of Automated Reasoning. Search on Bibsonomy KI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #35 of 35 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license