Login / Signup

Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo.

David DelahayeDamien DoligezFrédéric GilbertPierre HalmagrandOlivier Hermant
Published in: LPAR (2013)
Keyphrases
  • inference rules
  • database
  • data mining
  • artificial intelligence
  • decision trees
  • reinforcement learning
  • dynamic programming
  • scheduling problem
  • computer algebra