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
6 papers · 1 filter
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…
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 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…