On model-theoretic connected components in some group extensions.
Jakub GismatullinKrzysztof KrupinskiPublished in: J. Math. Log. (2015)
Keyphrases
- connected components
- model theoretic
- binary images
- presburger arithmetic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- fixpoint
- quantifier elimination
- default reasoning
- logic programs
- level set
- default logic
- connected component labeling
- artificial intelligence
- databases
- itemsets
- bayesian networks