4 citations · 4 across the 2 of their papers we have counts for
5 papers
Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers
Stefanie Krause, Oliver Otto, Frieder Stolzenburg
Recurrent neural networks are a powerful means in diverse applications. We show that, together with so-called conceptors, they also allow fast learning, in contrast to other deep l…
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…
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…
Neural Networks and Continuous Time
Frieder Stolzenburg, Florian Ruh
The fields of neural computation and artificial neural networks have developed much in the last decades. Most of the works in these fields focus on implementing and/or learning dis…
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…