Recurrent neural networks are a powerful means in diverse applications. ...
Negation is both an operation in formal logic and in natural language by...
An acoustic stimulus, e.g., a musical harmony, is transformed in a highl...
The CoRg system is a system to solve commonsense reasoning problems. The...
Recurrent neural networks are a powerful means to cope with time series....
RoboCup is an international scientific robot competition in which teams ...
The fields of neural computation and artificial neural networks have
dev...
Higher-level cognition includes logical reasoning and the ability of que...
Deontic logic is a very well researched branch of mathematical logic and...
This paper briefly characterizes the field of cognitive computing. As an...
Deontic logic is a very well researched branch of mathematical logic and...
In the middle of the 1980s, David Poole introduced a semantical,
model-t...