Showing 1 - 1 results of 1 for search 'Sophie Siebert', query time: 0.03s Refine Results
  1. 1
    Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

    Using ConceptNet to Teach Common Sense to an Automated Theorem Prover by Claudia Schon, Sophie Siebert, Frieder Stolzenburg

    Published 2019-12-01
    Get full text
    Article

Search Tools: