First Order Stålmarck.

Published in: J. Autom. Reason. (2009)

Keyphrases

first order logic
higher order
stochastic dominance
multi agent
quantifier elimination
databases
neural network
information systems
three dimensional
data structure
background knowledge
relational learning
horn clauses
term rewriting