4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.CL2020
Negation in Cognitive Reasoning
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
Negation is both an operation in formal logic and in natural language by which a proposition is replaced by one stating the opposite, as by the addition of "not" or another negatio…
cs.AI2019★ 4 cited
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
Claudia Schon, Sophie Siebert, Frieder Stolzenburg
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background…