The "Logic Bonbon": A Computable Food, Or an Eatable Computer?

Jialin Deng Florian 'Floyd' Mueller

Published in: Conference on Designing Interactive Systems (Companion Volume) (2023)

Keyphrases

computer systems
data mining
modal logic
logic programming
real world
nonmonotonic logics
multi valued
data processing
data sets
logic programs
bayesian networks
decision trees
computer technology
probability theory
website
logical framework
classical logic
abductive reasoning
finite sets
proof theory