On the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions.
Stepan L. KuznetsovPublished in: ICTAC (2023)
Keyphrases
- knowledge base
- knowledge representation
- sufficient conditions
- relational algebra
- meta level
- polynomial hierarchy
- computational complexity
- computational cost
- neural network
- space complexity
- memory requirements
- algebraic geometry
- model based reasoning
- uncertain information
- automated reasoning
- query language
- database systems
- artificial intelligence