13 citations · 42 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 2 cited
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…
cs.AI2022★ 1 cited
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…