An automated theorem proving (ATP) system's capacity for reasoning is significantly
influenced by the inference rules it uses. The recently introduced standard contradiction …

Commonsense reasoning has long been considered one of the holy grails of artificial
intelligence. Our goal is to develop a logic-based component for hybrid–machine learning …

We describe an experimental implementation of a logic-based end-to-end pipeline of
performing inference and giving explained answers to questions posed in natural language …

First-order logic is an important part of mathematical logic, and automated theorem proving
is an interdisciplinary field of mathematics and computer science. The paper presents an …

In the field of automated reasoning, practical applications often face a significant challenge:
knowledge bases are typically too large to be fully processed by theorem provers. To still be …

Associative reasoning refers to the human ability to focus on knowledge that is relevant to a
particular problem. In this process, the meaning of symbol names plays an important role …

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 …

Wir leben in einer Wissensgesellschaft. Diese Aussage wird häufig angeführt, um die
Bedeutung von Wissen für die moderne Gesellschaft hervorzuheben. Etwas konkre ter …

When humans evaluate the validity of a logical conclusion, they typically consider the
meaning of the conclusion, taking into account the context, leading to a naturally targeted …

Selection strategies are broadly used in first-order logic theorem proving to select those
parts of a large knowledge base that are necessary to proof a theorem at hand. Usually …