Decidable Weighted Expressions with Presburger Combinators.

Emmanuel Filiot Nicolas Mazzocchi Jean-François Raskin

Published in: CoRR (2017)

Keyphrases

first order logic
facial expressions
weighted graph
weighted distance
database
real time
learning algorithm
knowledge base
natural language
programming language
transitive closure