Creation of machine-usable, high-quality knowledge-bases is a critical prerequisite for many
important applications that rely on availability of high-level of autonomous decision-making …

We present a computer-supported approach for the logical analysis and conceptual
explicitation of argumentative discourse. Computational hermeneutics harnesses recent …

First-order theorem proving with large knowledge bases makes it necessary to select those
parts of the knowledge base, that are necessary to prove the theorem at hand. We extend …

Commonsense reasoning is a difficult task for a computer to handle. Current algorithms
score around 80% on benchmarks. Usually these approaches use machine learning which …

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 negation cue …

Commonsense reasoning in artificial intelligence is the problem of inferring decisions and
answers regarding mundane situations. Several research groups have built large …

The term cognitive computing refers to new hardware and/or software that mimics the
functioning of the human brain. In the context of question answering and commonsense …

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 …

Commonsense reasoning (CSR) is the ability to reason about everyday situations. In
artificial intelligence systems, such reasoning requires extensive background knowledge …

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 …