Pairs, sets and sequences in first-order theories.
Albert VisserPublished in: Arch. Math. Log. (2008)
Keyphrases
- theory revision
- hidden markov models
- higher order
- disjoint sets
- pairwise
- reference set
- theoretical framework
- horn clauses
- variable length
- stochastic dominance
- global alignment
- long sequences
- highly correlated
- first order logic
- data mining
- databases
- real numbers
- logic programs
- action theories
- machine learning
- neural network
- data sets