The following pages link to Andreas Pieris (Q359986):
Displayed 28 items.
- Towards more expressive ontology languages: the query answering problem (Q359987) (← links)
- Facets of the fully mixed Nash equilibrium conjecture (Q987401) (← links)
- Tractable reasoning in description logics with functionality constraints (Q1799301) (← links)
- Semi-oblivious chase termination: the sticky case (Q2035470) (← links)
- Inconsistency-tolerant query answering for existential rules (Q2124462) (← links)
- Vadalog: recent advances and applications (Q2296692) (← links)
- Querying UML Class Diagrams (Q2892755) (← links)
- On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (Q2900513) (← links)
- On the Complexity of Ontological Reasoning under Disjunctive Existential Rules (Q2912705) (← links)
- Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules (Q2922006) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM (Q4593021) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q4637882) (← links)
- Datalog and Its Extensions for Semantic Web Databases (Q4647813) (← links)
- Query Rewriting and Optimization for Ontological Databases (Q5012503) (← links)
- Guarded-Based Disjunctive Tuple-Generating Dependencies (Q5012571) (← links)
- Guarded Ontology-Mediated Queries (Q5015964) (← links)
- Semantic Optimization of Conjunctive Queries (Q5056448) (← links)
- (Q5091130) (← links)
- (Q5091133) (← links)
- The Impact of Active Domain Predicates on Guarded Existential Rules (Q5268437) (← links)
- Querying the Guarded Fragment with Transitivity (Q5327441) (← links)
- Combining decidability paradigms for existential rules (Q5398317) (← links)
- Facets of the Fully Mixed Nash Equilibrium Conjecture (Q5459980) (← links)
- Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
- Polynomial combined first-order rewritings for linear and guarded existential rules (Q6108762) (← links)
- Uniform Restricted Chase Termination (Q6156026) (← links)
- Absolute Expressiveness of Subgraph-based Centrality Measures (Q6401908) (← links)