ask others

Claudia Schon

Claudia Obermaier

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ki/FurbachHRSS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ki/FurbachHRSS19
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg:
Cognitive Reasoning: A Personal View. KI 33(3): 209-217 (2019)
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ki/SchonSS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ki/SchonSS19
Claudia Schon, Sophie Siebert, Frieder Stolzenburg:
The CoRg Project: Cognitive Reasoning. KI 33(3): 293-299 (2019)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/FurbachKS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/FurbachKS19
Ulrich Furbach, Teresa Krämer, Claudia Schon:
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. CADE 2019: 250-268
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cdmake/SiebertSS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cdmake/SiebertSS19
Sophie Siebert, Claudia Schon, Frieder Stolzenburg:
Commonsense Reasoning Using Theorem Proving and Machine Learning. CD-MAKE 2019: 395-413
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/semweb/LeinbergerSSLS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/semweb/LeinbergerSSLS19
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab:
Type Checking Program Code Using SHACL. ISWC (1) 2019: 399-417
[e5]
- view
- export record
  dblp key:
  - conf/ijcai/2019lacatoda
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/2019lacatoda
Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk:
Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019. CEUR Workshop Proceedings 2452, CEUR-WS.org 2019 [contents]
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1907-00855
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00855
Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab:
Type Checking Program Code using SHACL (Extended Version). CoRR abs/1907.00855 (2019)
2018
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ekaw/SchonSKKSW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ekaw/SchonSKKSW18
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/TimmSSSSS0RNMKJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/TimmSSSSS0RNMKJ18
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]
- view
- export record
  dblp key:
  - conf/ijcai/2018bridging
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/2018bridging
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]
- view
  - electronic edition @ mindmodeling.org
- export record
  dblp key:
  - conf/cogsci/FurbachHRS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cogsci/FurbachHRS17
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]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/jowo/SchonS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jowo/SchonS17
Claudia Schon, Steffen Staab:
Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. JOWO 2017
[e3]
- view
- export record
  dblp key:
  - conf/cogsci/2017bridging
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cogsci/2017bridging
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]
- view
  - electronic edition @ hbz-nrw.de
  - electronic edition @ nbn-resolving.de
  authority control:
- export record
  dblp key:
  - phd/dnb/Schon16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/dnb/Schon16
Claudia Schon:
Techniques for optimized reasoning in description logic knowledge bases. University of Koblenz and Landau, Germany 2016
[c14]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/aiia/FurbachS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aiia/FurbachS16
Ulrich Furbach, Claudia Schon:
Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA 2016: 1-12
[c13]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ijcai/FurbachS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/FurbachS16
Ulrich Furbach, Claudia Schon:
Commonsense Reasoning Meets Theorem Proving. Bridging@IJCAI 2016: 74-85
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mates/FurbachS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mates/FurbachS16
Ulrich Furbach, Claudia Schon:
Commonsense Reasoning Meets Theorem Proving. MATES 2016: 3-17
[e2]
- view
- export record
  dblp key:
  - conf/ijcai/2016bridging
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ijcai/2016bridging
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ki/FurbachSSWW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ki/FurbachSSWW15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/FurbachS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/FurbachS14
Ulrich Furbach, Claudia Schon:
Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 63-80
[c10]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/FurbachGS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/FurbachGS15
Ulrich Furbach, Andrew S. Gordon, Claudia Schon:
Tackling Benchmark Problems of Commonsense Reasoning. Bridging@CADE 2015: 47-59
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/FurbachPS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/FurbachPS15
Ulrich Furbach, Björn Pelzer, Claudia Schon:
Automated Reasoning in the Wild. CADE 2015: 55-72
[e1]
- view
- export record
  dblp key:
  - conf/cade/2015bridging
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/2015bridging
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]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FurbachSS15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FurbachSS15
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning for Robot Ethics. CoRR abs/1502.05838 (2015)
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FurbachSSWW15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FurbachSSWW15
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/miwai/FurbachSS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/miwai/FurbachSS14
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. MIWAI 2014: 57-68
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FurbachS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FurbachS14
Ulrich Furbach, Claudia Schon:
Deontic Logic for Human Reasoning. CoRR abs/1404.6974 (2014)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FurbachS14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FurbachS14a
Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of SHI ABoxes. CoRR abs/1405.1192 (2014)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FurbachSS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FurbachSS14
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. CoRR abs/1411.4823 (2014)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/FurbachSS14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/FurbachSS14a
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Cognitive Systems and Question Answering. CoRR abs/1411.4825 (2014)
2013
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cade/BenderPS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/BenderPS13
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/FurbachS13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/FurbachS13
Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of ABoxes. TABLEAUX 2013: 134-148
2011
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/Schon11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/Schon11
Claudia Schon:
Linkless Normal Form for ALC Concepts and TBoxes. KI 2011: 301-312

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cec/ObermaierW09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cec/ObermaierW09
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]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/flairs/FurbachGO09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/flairs/FurbachGO09
Ulrich Furbach, Heiko Günther, Claudia Obermaier:
A Knowledge Compilation Technique for ALC Tboxes. FLAIRS Conference 2009
2007
[c2]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ki/FurbachO07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/FurbachO07
Ulrich Furbach, Claudia Obermaier:
Knowledge Compilation for Description Logics. KESE 2007
2006
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ki/FurbachO06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ki/FurbachO06
Ulrich Furbach, Claudia Obermaier:
Applications of Automated Reasoning. KI 2006: 174-187

Coauthor Index

see FAQ