Login / Signup
The Functions Provable by First Order Abstraction.
Daniel Leivant
Published in:
LPAR (2001)
Keyphrases
</>
high level
real world
data mining
artificial intelligence
computer vision
artificial neural networks
basis functions
database
information systems
knowledge base
higher order