Sign in
Universal (meta-)logical reasoning: Recent successes.
Christoph Benzmüller
Published in:
Sci. Comput. Program. (2019)
Keyphrases
</>
logical reasoning
formal semantics
multi agent systems
database
artificial intelligence
computer vision
mobile robot
meta level
multi valued
algorithmic information theory