Sign in

Logic Bonbon: Exploring Food as Computational Artifact.

Jialin DengPatrick OlivierJosh AndresKirsten EllisRyan WeeFlorian '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