Login / Signup
Reasoned modelling critics: Turning failed proofs into modelling guidance.
Andrew Ireland
Gudmund Grov
Maria Teresa Llano
Michael J. Butler
Published in:
Sci. Comput. Program. (2013)
Keyphrases
</>
neural network
real world
machine learning
information retrieval
artificial intelligence
knowledge base
image segmentation
user interface
evolutionary algorithm
theorem proving