The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains (Extended Version).
Stefan BorgwardtFilippo De BortoliPatrick KoopmannPublished in: CoRR (2024)
Keyphrases
- fuzzy description logics
- application domains
- data sets
- reasoning systems
- automated reasoning
- state space
- model based reasoning
- real time
- computational cost
- computational complexity
- databases
- knowledge representation
- search algorithm
- heuristic search
- transfer learning
- multi agent
- knowledge base
- analogical reasoning
- learning algorithm
- structured representations
- derivation rules