formulas.

Zofia Adamowicz Pawel Zbierski

Published in: Arch. Math. Log. (2003)

Keyphrases

machine learning
artificial intelligence
real time
data sets
databases
neural network
information systems
hidden markov models
logical formulas
tree decompositions