Semi-Unification and Generalizations of a Particularly Simple Form.

Matthias Baaz Gernot Salzer

Published in: CSL (1994)

Keyphrases

artificial intelligence
highly reliable
mobile robot
theorem proving
database
data sets
decision making
data structure
data streams
artificial neural networks
special case
higher order
logic programming
black box