SPASS Version 3.5.

Christoph Weidenbach Dilyana Dimova Arnaud Fietzke Rohit Kumar Martin Suda Patrick Wischnewski

Published in: CADE (2009)

Keyphrases

theorem prover
neural network
information retrieval
machine learning
knowledge base
high quality
objective function
data analysis
mobile robot