First-Order Atom Definitions Extended.

Bijan Afshordel Thomas Hillenbrand Christoph Weidenbach

Published in: LPAR (2001)

Keyphrases

higher order
first order logic
data sets
real world
mobile robot
real time
data mining
genetic algorithm
computer vision
knowledge base
relational databases
quantifier elimination