research
∙
02/18/2022
Selection Strategies for Commonsense Knowledge
Selection strategies are broadly used in first-order logic theorem provi...
share
research
∙
01/03/2022
Modeling Associative Reasoning Processes
The human capability to reason about one domain by using knowledge of ot...
research
∙
12/23/2020
Negation in Cognitive Reasoning
Negation is both an operation in formal logic and in natural language by...
research
∙
12/30/2019
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
The CoRg system is a system to solve commonsense reasoning problems. The...
research
∙
07/01/2019
Type Checking Program Code using SHACL (Extended Version)
It is a strength of graph-based data formats, like RDF, that they are ve...
research
∙
03/20/2015
The RatioLog Project: Rational Extensions of Logical Reasoning
Higher-level cognition includes logical reasoning and the ability of que...
research
∙
02/20/2015
Automated Reasoning for Robot Ethics
Deontic logic is a very well researched branch of mathematical logic and...
research
∙
11/18/2014
Cognitive Systems and Question Answering
This paper briefly characterizes the field of cognitive computing. As an...
research
∙
11/18/2014
Automated Reasoning in Deontic Logic
Deontic logic is a very well researched branch of mathematical logic and...
research
∙
04/28/2014