Login / Signup
Methods of Automated Reasoning.
Wolfgang Bibel
Published in:
Advanced Course: Fundamentals of Artificial Intelligence (1985)
Keyphrases
</>
automated reasoning
knowledge representation
machine learning
data mining
bayesian networks
objective function
pairwise
probabilistic model
theorem prover