Pages that link to "Item:Q3174890"
From MaRDI portal
The following pages link to Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). (Q3174890):
Displaying 9 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Emptiness problems for distributed automata (Q2182732) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- Rewriting guarded existential rules into small Datalog programs (Q3305347) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- (Q4643959) (← links)
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
- (Q5232905) (← links)
- (Q5377468) (← links)