37 citations
- University of Koblenz and LandauDE4 papers
- Western Sydney UniversityAU3 papers
- California State University, Long BeachUS1 paper
- Chalmers University of TechnologySE1 paper
- Maastricht UniversityNL1 paper
- Merseburg University of Applied SciencesDE1 paper
- University of BayreuthDE1 paper
- University of GothenburgSE1 paper
- UNSW SydneyAU1 paper
16 papers
From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
Cedric Haufe, Frieder Stolzenburg
We present a neurosymbolic approach, i.e. combine symbolic and subsymbolic artificial intelligence, to validating offer documents in regulated public institutions. We employ a lang…
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…
Periodicity Pitch Detection in Complex Harmonies on EEG Timeline Data
Maria Heinze, Lars Hausfeld, Rainer Goebel +1
An acoustic stimulus, e.g., a musical harmony, is transformed in a highly non-linear way during the hearing process in ear and brain. We study this by comparing the frequency spect…
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…
On Using Blockchains for Safety-Critical Systems
Christian Berger, Birgit Penzenstadler, Olaf Drögehorn
Innovation in the world of today is mainly driven by software. Companies need to continuously rejuvenate their product portfolios with new features to stay ahead of their competito…