sy s A / MIT Press / D. M. Neural-Symbolic Learning Systems / /
Country
United Kingdom / Scotland / / /
Facility
United Kingdom Alan Bundy University of Edinburgh / United Kingdom Ekaterina Komendantskaya University of Dundee / Gudmund Grov University of Edinburgh / University of Edinburgh / /
IndustryTerm
large systems / industrial sized software / hardware systems / statistical tools / actual proof search / akin neural networks / ggrov@staffmail.ed.ac.uk katya@computing.dundee.ac.uk bundy@staffmail.ed.ac.uk / multi-layer neural networks / back-propagation algorithm / search control knowledge / machine learning tools / interactive proof-search / tactic applications / computing / described tools / machine-learning tools / proof search / pre-processing / done using multi-layer neural networks / /
NaturalFeature
Dale Miller / /
Organization
Technische Universitat Munich / United Kingdom Ekaterina Komendantskaya University of Dundee / MIT / University of Edinburgh / /