Fol'amor.

Published in: SIGGRAPH ASIA Computer Animation Festival (2014)

Keyphrases

first order logic
knowledge representation
theorem proving
inference rules
highly expressive
timed automata
machine learning
representation language
formal semantics
theorem prover
real time
case based reasoning
dynamic environments
low level
np hard
data analysis
computational complexity
knowledge base
data mining