Formal Modelling for Cooking Assistance
From MaRDI portal
Publication:5256360
DOI10.1007/978-3-319-15545-6_22zbMath1454.68141MaRDI QIDQ5256360
Serge Autexier, Sidoine Ghomsi Nokam, Bernd Krieg-Brückner, Martin Rink
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_22
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
Uses Software
Cites Work