The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes.

Louis Mahon Carl Vogel

Published in: CoRR (2022)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
first order logic
inference rules
real time
data sets
machine learning
genetic algorithm
artificial intelligence
image processing
incomplete information