Login / Signup
Visualising Reasoning: What ATP Can Learn From CP.
John K. Slaney
Published in:
Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
</>
constraint programming
data mining
knowledge base
automated reasoning
reasoning tasks
reasoning systems
formal models
model based reasoning
automated theorem proving
information retrieval
multi agent
probabilistic model
theorem prover
theorem proving
reasoning process