On relationships between algebraic properties of groups and rings in some model-theoretic contexts.
Krzysztof KrupinskiPublished in: J. Symb. Log. (2011)
Keyphrases
- model theoretic
- algebraic properties
- deductive databases
- description logics
- proof theoretic
- decision procedures
- operational semantics
- logic programs
- fixpoint
- fuzzy rough sets
- default reasoning
- probabilistic reasoning
- security properties
- vector space
- expert systems
- query evaluation
- knowledge discovery
- knowledge representation
- query processing