Claudia Schon
Identifiers
- name variant Claudia Schon 0.60 · backfill
Papers (7)
- Type Checking Program Code using SHACL (Extended Version) cs.PL · 2019 · author #3
- The RatioLog Project: Rational Extensions of Logical Reasoning cs.AI · 2015 · author #2
- Automated Reasoning for Robot Ethics cs.AI · 2015 · author #2
- Cognitive Systems and Question Answering cs.AI · 2014 · author #2
- Automated Reasoning in Deontic Logic cs.AI · 2014 · author #2
- Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes cs.LO · 2014 · author #2
- Deontic Logic for Human Reasoning cs.AI · 2014 · author #2
Mentions
- 1503.06087 #2 · backfill · confidence 0.70 Claudia Schon
- 1502.05838 #2 · backfill · confidence 0.70 Claudia Schon
- 1411.4825 #2 · backfill · confidence 0.70 Claudia Schon
- 1411.4823 #2 · backfill · confidence 0.70 Claudia Schon
- 1405.1192 #2 · backfill · confidence 0.70 Claudia Schon
- 1404.6974 #2 · backfill · confidence 0.70 Claudia Schon
Frequent Coauthors
- Ulrich Furbach 6 shared papers
- Frieder Stolzenburg 4 shared papers
- Claus-Peter Wirth 1 shared papers
- Karl-Heinz Weis 1 shared papers
- Martin Leinberger 1 shared papers
- Philipp Seifer 1 shared papers
- Ralf L\"ammel 1 shared papers
- Steffen Staab 1 shared papers