LEO-II and Satallax on the Sledgehammer test bench.

Nik Sultana Jasmin Christian Blanchette Lawrence C. Paulson

Published in: J. Appl. Log. (2013)

Keyphrases

object recognition
relational databases
computational intelligence
machine learning
computer vision
website
cooperative
multi agent systems
viewpoint
programming language