Krümelmonsters Kochbuch.

Norbert Luttenberger Jesper Zedlitz Torsten Knauf

Published in: GI-Jahrestagung (2017)

Keyphrases

knowledge representation and reasoning
artificial intelligence
machine learning
knowledge representation
description logics
mobile robot
domain specific
model checking
domain independent
reasoning systems
general purpose
orders of magnitude
constraint programming