Formal Modelling for Cooking Assistance

Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam

In: Rocco De Nicola, Rolf Hennicker (editor). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Pages 355-376 Lecture Notes in Computer Science (LNCS) 8950 Springer International Publishing Switzerland 2015.


Structured ontologies, with various facets of abstraction, are used to model food, ingredients, recipes, cookware and workflows. They form the uniform knowledge base for modular software assistants. Processes and monitors supervise the cooking process and advise the user.


WirsingFestschrift-BKB.pdf (pdf, 667 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz