Login / Signup
Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools.
Jesse Alama
Published in:
CoRR (2014)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
decision procedures
theorem proving
probabilistic reasoning
theorem prover
automated verification
reasoning tasks
data dependent
neural network
bayesian networks
expert systems
active learning
probabilistic inference
risk bounds