13 citations · 42 across the 12 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CL2020★ 6 cited
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.AI2020★ 1 cited
Consciousness and Automated Reasoning
Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For th…