Search Results for author:
Found 2 papers, 1 papers with code
Negation in Cognitive Reasoning
In this paper, we describe an effective procedure to determine the negated event or property in order to replace it by its inverse.
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
The CoRg system is a system to solve commonsense reasoning problems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
