Login / Signup

Fol'Amor.

Luce Grosjean
Published in: SIGGRAPH Computer Animation Festival (2014)
Keyphrases
  • theorem prover
  • first order logic
  • theorem proving
  • inference rules
  • formal semantics
  • knowledge representation
  • horn clauses
  • database
  • machine learning
  • information retrieval
  • knowledge base
  • information extraction