First order in Ludics.

Marie-Renée Fleury Myriam Quatrini

Published in: Math. Struct. Comput. Sci. (2004)

Keyphrases

higher order
first order logic
stochastic dominance
quantifier elimination
data mining
information retrieval
computer vision
bayesian networks
search algorithm
logic programming
relational learning
conditional logic