Formal Modelling for Cooking Assistance

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

In: Rocco De Nicola, Rolf Hennicker (Hrsg.). Software, Services and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation. Seiten 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)

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