Picture for Sophie Siebert

Sophie Siebert

Negation in Cognitive Reasoning

Add code
Dec 23, 2020
Figure 1 for Negation in Cognitive Reasoning
Figure 2 for Negation in Cognitive Reasoning
Figure 3 for Negation in Cognitive Reasoning
Figure 4 for Negation in Cognitive Reasoning
Viaarxiv icon

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

Add code
Dec 30, 2019
Figure 1 for Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Figure 2 for Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Viaarxiv icon