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