Login / Signup

Forcing Axioms, Finite Conditions and Some More.

Mirna Dzamonja
Published in: ICLA (2013)
Keyphrases
  • sufficient conditions
  • knowledge base
  • first order logic
  • decision making
  • reinforcement learning
  • unit length
  • complete axiomatization