Sophie Siebert | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Frieder Stolzenburg
12 publications
Claudia Schon
10 publications

research

∙ 12/23/2020

Negation in Cognitive Reasoning

Negation is both an operation in formal logic and in natural language by...

0 Claudia Schon, et al. ∙

research

∙ 12/30/2019

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

The CoRg system is a system to solve commonsense reasoning problems. The...

0 Claudia Schon, et al. ∙