The following pages link to Cristina Feier (Q2900520):
Displaying 10 items.
- Simulating Production Rules Using ACTHEX (Q2900521) (← links)
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). (Q3174890) (← links)
- $\mathcal{EL}$ -ifying Ontologies (Q3192212) (← links)
- Reasoning with Forest Logic Programs Using Fully Enriched Automata (Q3449217) (← links)
- Guarded hybrid knowledge bases (Q3506442) (← links)
- Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799) (← links)
- (Q5377468) (← links)
- Answer Counting under Guarded TGDs (Q6076172) (← links)
- Characterising fixed parameter tractability for query evaluation over guarded TGDs (Q6491022) (← links)
- Characterising fixed parameter tractability for query evaluation over guarded TGDs (Q6492718) (← links)
