Combining Generic Judgments with Recursive Definitions.

Andrew Gacek Dale Miller Gopalan Nadathur

Published in: LICS (2008)

Keyphrases

data sets
multi agent
search algorithm
domain specific
neural network
data model