1 citations · 1 across the 2 of their papers we have counts for
4 papers
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…
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…
Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example
Ulrich Furbach, Florian Furbach, Christian Freksa
In this note, we discuss and analyse a shortest path finding approach using strong spatial cognition. It is compared with a symbolic graph-based algorithm and it is shown that both…
Automated Reasoning for Robot Ethics
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
Deontic logic is a very well researched branch of mathematical logic and philosophy. Various kinds of deontic logics are considered for different application domains like argumenta…