13 citations · 42 across the 12 of their papers we have counts for
12 papers
Selection Strategies for Commonsense Knowledge
Claudia Schon
Selection strategies are broadly used in first-order logic theorem proving to select those parts of a large knowledge base that are necessary to proof a theorem at hand. Usually, t…
Modeling Associative Reasoning Processes
Claudia Schon, Ulrich Furbach, Marco Ragni
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cogni…
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…
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…
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…
Type Checking Program Code using SHACL (Extended Version)
Martin Leinberger, Philipp Seifer, Claudia Schon +2
It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible da…