A Computable Solution to Partee's Temperature Puzzle.

Kristina Liefke Sam Sanders

Published in: LACL (2016)

Keyphrases

closed form
genetic algorithm
optimal solution
mathematical model
database
solution quality