Pages that link to "Item:Q5705930"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705930):
Displaying 12 items.
- Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- A decision procedure for von Wright's OBS-calculus (Q2735787) (← links)
- AN ALGORITHM FOR SOLVING RULE SETS-BASED BILEVEL DECISION PROBLEMS (Q3224878) (← links)
- (Q3425586) (← links)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ (Q3613440) (← links)
- Query Answering in Description Logics: The Knots Approach (Q3638272) (← links)
- Reasoning and Query Answering in Description Logics (Q4647812) (← links)