Model theoretic connected components of finitely generated nilpotent groups.
Nathan J. BowlerCong ChenJakub GismatullinPublished in: J. Symb. Log. (2013)
Keyphrases
- connected components
- model theoretic
- binary images
- deductive databases
- description logics
- decision procedures
- operational semantics
- proof theoretic
- level set
- connected component labeling
- computer vision
- itemsets
- logic programs
- default reasoning
- fixpoint
- connected component analysis
- logic programming
- integrity constraints
- theorem proving
- probabilistic reasoning
- association rules
- knowledge base
- data mining