37 citations · 105 across the 14 of their papers we have counts for
7 papers · 1 filter
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…
RoboCupSimData: A RoboCup soccer research dataset
Olivia Michael, Oliver Obst, Falk Schmidsberger +1
RoboCup is an international scientific robot competition in which teams of multiple robots compete against each other. Its different leagues provide many sources of robotics data,…
The RatioLog Project: Rational Extensions of Logical Reasoning
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg +2
Higher-level cognition includes logical reasoning and the ability of question answering with common sense. The RatioLog project addresses the problem of rational reasoning in deep…
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…
Cognitive Systems and Question Answering
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
This paper briefly characterizes the field of cognitive computing. As an exemplification, the field of natural language question answering is introduced together with its specific…
Automated Reasoning in Deontic Logic
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 discussed for different application domains like argumentat…
David Poole's Specificity Revised
Claus-Peter Wirth, Frieder Stolzenburg
In the middle of the 1980s, David Poole introduced a semantical, model-theoretic notion of specificity to the artificial-intelligence community. Since then it has found further app…