Formal Modelling for Cooking Assistance

DOI10.1007/978-3-319-15545-6_22zbMath1454.68141OpenAlexW2205578771MaRDI 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

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Uses Software

• CASL

Cites Work

• CASL: the Common Algebraic Specification Language.
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Semantics of the Distributed Ontology Language: Institutes and Institutions

This page was built for publication: Formal Modelling for Cooking Assistance