Logic Bonbon: Exploring Food as Computational Artifact.

Jialin Deng Patrick Olivier Josh Andres Kirsten Ellis Ryan Wee Florian 'Floyd' Mueller

Published in: CHI (2022)

Keyphrases

logic programming
ctl model update
knowledge base
information retrieval
decision making
mathematical programming
defeasible logic
predicate logic
deontic logic
proof theory
propositional dynamic logic