The Precise Complexity of Reasoning in 𝒜ℒ𝒞 with ω-Admissible Concrete Domains.
Stefan BorgwardtFilippo De BortoliPatrick KoopmannPublished in: Description Logics (2024)
Keyphrases
- application domains
- knowledge base
- real world
- polynomial hierarchy
- worst case
- state space
- decision problems
- reasoning process
- real time
- bayesian networks
- search algorithm
- domain knowledge
- dynamic programming
- case study
- information retrieval
- data mining
- meta level
- probabilistic logic
- analogical reasoning
- reinforced concrete