pith. sign in

Claudia Schon

Identifiers

  • name variant Claudia Schon 0.60 · backfill

Papers (7)

  1. Type Checking Program Code using SHACL (Extended Version) cs.PL · 2019 · author #3
  2. The RatioLog Project: Rational Extensions of Logical Reasoning cs.AI · 2015 · author #2
  3. Automated Reasoning for Robot Ethics cs.AI · 2015 · author #2
  4. Cognitive Systems and Question Answering cs.AI · 2014 · author #2
  5. Automated Reasoning in Deontic Logic cs.AI · 2014 · author #2
  6. Semantically Guided Evolution of $\mathcal{SHI}$ ABoxes cs.LO · 2014 · author #2
  7. 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