default search action
Andreas Pieris
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j24]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
The Complexity of Why-Provenance for Datalog Queries. Proc. ACM Manag. Data 2(2): 83 (2024) - [j23]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Combined Approximations for Uniform Operational Consistent Query Answering. Proc. ACM Manag. Data 2(2): 99 (2024) - [j22]Mario Alviano, Andreas Pieris:
Selected Papers from Datalog 2.0 2022. Theory Pract. Log. Program. 24(2): 193-195 (2024) - [c83]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Computing the Why-Provenance for Datalog Queries via SAT Solvers. AAAI 2024: 10459-10466 - [c82]Andreas Pieris:
Rule-Based Ontologies: From Semantics to Syntax (Invited Talk). ICDT 2024: 3:1-3:1 - [c81]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Computing the Why-Provenance for Datalog Queries via SAT Solvers. SEBD 2024: 51-60 - [i18]Phokion G. Kolaitis, Andreas Pieris:
Characterizing Data Dependencies Then and Now. CoRR abs/2408.01109 (2024) - 2023
- [j21]Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial combined first-order rewritings for linear and guarded existential rules. Artif. Intell. 321: 103936 (2023) - [j20]Marco Calautti, Mostafa Milani, Andreas Pieris:
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. Proc. VLDB Endow. 16(11): 2858-2870 (2023) - [j19]Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
Uniform Restricted Chase Termination. SIAM J. Comput. 52(3): 641-683 (2023) - [c80]Andreas Pieris, Jorge Salas:
Absolute Expressiveness of Subgraph-Based Centrality Measures. ICDT 2023: 9:1-9:18 - [c79]Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris:
Generative Datalog with Stable Negation. PODS 2023: 21-32 - [i17]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
The Complexity of Why-Provenance for Datalog Queries. CoRR abs/2303.12773 (2023) - [i16]Marco Calautti, Mostafa Milani, Andreas Pieris:
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study. CoRR abs/2303.12851 (2023) - [i15]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Combined Approximations for Uniform Operational Consistent Query Answering. CoRR abs/2312.08038 (2023) - 2022
- [j18]Thomas Lukasiewicz, Enrico Malizia, Maria Vanina Martinez, Cristian Molinaro, Andreas Pieris, Gerardo I. Simari:
Inconsistency-tolerant query answering for existential rules. Artif. Intell. 307: 103685 (2022) - [j17]Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
The Space-Efficient Core of Vadalog. ACM Trans. Database Syst. 47(1): 1:1-1:46 (2022) - [c78]Marco Calautti, Georg Gottlob, Andreas Pieris:
Non-Uniformly Terminating Chase: Size and Complexity. PODS 2022: 369-378 - [c77]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Uniform Operational Consistent Query Answering. PODS 2022: 393-402 - [c76]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. PODS 2022: 403-412 - [c75]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. SEBD 2022: 159-166 - [e4]Mario Alviano, Andreas Pieris:
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022. CEUR Workshop Proceedings 3203, CEUR-WS.org 2022 [contents] - [e3]Julia Stoyanovich, Jens Teubner, Paolo Guagliardo, Milos Nikolic, Andreas Pieris, Jan Mühlig, Fatma Özcan, Sebastian Schelter, H. V. Jagadish, Meihui Zhang:
Proceedings of the 25th International Conference on Extending Database Technology, EDBT 2022, Edinburgh, UK, March 29 - April 1, 2022. OpenProceedings.org 2022, ISBN 978-3-89318-086-8 [contents] - [i14]Marco Calautti, Georg Gottlob, Andreas Pieris:
Non-Uniformly Terminating Chase: Size and Complexity. CoRR abs/2204.10584 (2022) - [i13]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Uniform Operational Consistent Query Answering. CoRR abs/2204.10592 (2022) - [i12]Andreas Pieris, Jorge Salas:
Absolute Expressiveness of Subgraph Motif Centrality Measures. CoRR abs/2206.06137 (2022) - [i11]Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris:
Generative Datalog with Stable Negation. CoRR abs/2206.12247 (2022) - 2021
- [j16]Marco Calautti, Andreas Pieris:
Semi-Oblivious Chase Termination: The Sticky Case. Theory Comput. Syst. 65(1): 84-121 (2021) - [c74]Marco Console, Phokion G. Kolaitis, Andreas Pieris:
Model-theoretic Characterizations of Rule-based Ontologies. Description Logics 2021 - [c73]Marco Calautti, Marco Console, Andreas Pieris:
Benchmarking Approximate Consistent Query Answering. PODS 2021: 233-246 - [c72]Marco Console, Phokion G. Kolaitis, Andreas Pieris:
Model-theoretic Characterizations of Rule-based Ontologies. PODS 2021: 416-428 - [c71]Marco Calautti, Marco Console, Andreas Pieris:
Benchmarking Approximate Consistent Query Answering (Discussion Paper). SEBD 2021: 209-216 - [i10]Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider:
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies. CoRR abs/2112.09617 (2021) - 2020
- [j15]Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris:
Semantic Optimization of Conjunctive Queries. J. ACM 67(6): 34:1-34:60 (2020) - [j14]Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
All-Instances Restricted Chase Termination for Linear TGDs. Künstliche Intell. 34(4): 465-473 (2020) - [c70]Georg Gottlob, Marco Manna, Andreas Pieris:
Multi-head Guarded Existential Rules Over Fixed Signatures. KR 2020: 445-454 - [c69]Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
All-Instances Restricted Chase Termination. PODS 2020: 245-258 - [c68]Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris:
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. PODS 2020: 259-270 - [p2]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Querying the Semantic Web via Rules. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 194-213 - [e2]Marco Manna, Andreas Pieris:
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures. Lecture Notes in Computer Science 12258, Springer 2020, ISBN 978-3-030-60066-2 [contents] - [i9]Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
When is Ontology-Mediated Querying Efficient? CoRR abs/2003.07800 (2020) - [i8]Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris:
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. CoRR abs/2011.09314 (2020)
2010 – 2019
- 2019
- [c67]Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
PTime Combined Complexity and FPT in Ontology-Mediated Querying. Description Logics 2019 - [c66]Marco Calautti, Andreas Pieris:
Oblivious Chase Termination: The Sticky Case. ICDT 2019: 17:1-17:18 - [c65]Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche:
Additive First-Order Queries. ICDT 2019: 19:1-19:14 - [c64]Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Vadalog: Recent Advances and Applications. JELIA 2019: 21-37 - [c63]Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
When is Ontology-Mediated Querying Efficient? LICS 2019: 1-13 - [c62]Marco Calautti, Marco Console, Andreas Pieris:
Counting Database Repairs under Primary Keys Revisited. PODS 2019: 104-118 - [c61]Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
The Space-Efficient Core of Vadalog. PODS 2019: 270-284 - [c60]Marco Calautti, Marco Console, Andreas Pieris:
Counting Database Repairs under Primary Keys Revisited. SEBD 2019 - [e1]Mario Alviano, Andreas Pieris:
Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019) at the Philadelphia Logic Week 2019, Philadelphia, PA (USA), June 4-5, 2019. CEUR Workshop Proceedings 2368, CEUR-WS.org 2019 [contents] - [i7]Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris:
All-Instances Restricted Chase Termination: The Guarded Case. CoRR abs/1901.03897 (2019) - [i6]Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris:
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. CoRR abs/1912.12442 (2019) - 2018
- [j13]Georg Gottlob, Andreas Pieris, Mantas Simkus:
The Impact of Active Domain Predicates on Guarded Existential Rules. Fundam. Informaticae 159(1-2): 123-146 (2018) - [j12]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Expressive Languages for Querying the Semantic Web. ACM Trans. Database Syst. 43(3): 13:1-13:45 (2018) - [c59]Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris:
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. AMW 2018 - [c58]Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs. AMW 2018 - [c57]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. AMW 2018 - [c56]Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris:
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. IJCAI 2018: 1707-1713 - [c55]Georg Gottlob, Marco Manna, Andreas Pieris:
Finite Model Reasoning in Hybrid Classes of Existential Rules. IJCAI 2018: 1831-1837 - [c54]Marco Calautti, Leonid Libkin, Andreas Pieris:
An Operational Approach to Consistent Query Answering. PODS 2018: 239-251 - [c53]Pablo Barceló, Gerald Berger, Andreas Pieris:
Containment for Rule-Based Ontology-Mediated Queries. PODS 2018: 267-279 - [c52]Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Vadalog: A Language and System for Knowledge Graphs. RuleML+RR 2018: 3-8 - [c51]Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. SOFSEM 2018: 3-16 - [i5]Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
The Space-Efficient Core of Vadalog. CoRR abs/1809.05951 (2018) - 2017
- [j11]Pablo Barceló, Andreas Pieris, Miguel Romero:
Semantic Optimization in Tractable Classes of Conjunctive Queries. SIGMOD Rec. 46(2): 5-17 (2017) - [c50]Pablo Barceló, Gerald Berger, Andreas Pieris:
Guarded Ontology-Mediated Queries Distributing Over Components. AMW 2017 - [c49]Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger:
Swift Logic for Big Data and Knowledge Graphs. IJCAI 2017: 2-10 - [c48]Pierre Bourhis, Michael Morak, Andreas Pieris:
Making Cross Products and Guarded Ontology Languages Compatible. IJCAI 2017: 880-886 - [c47]Georg Gottlob, Christoph Koch, Andreas Pieris:
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. LATA 2017: 27-47 - [c46]Mario Alviano, Michael Morak, Andreas Pieris:
Stable Model Semantics for Tuple-Generating Dependencies Revisited. PODS 2017: 377-388 - [i4]Pablo Barceló, Gerald Berger, Andreas Pieris:
Containment for Rule-Based Ontology-Mediated Queries. CoRR abs/1703.07994 (2017) - 2016
- [j10]Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris:
Guarded-Based Disjunctive Tuple-Generating Dependencies. ACM Trans. Database Syst. 41(4): 27:1-27:45 (2016) - [j9]Georg Gottlob, Marco Manna, Andreas Pieris:
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum. Theory Pract. Log. Program. 16(1): 139 (2016) - [c45]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
A Datalog-Based Language for Querying RDF Graphs. AMW 2016 - [c44]Pablo Barceló, Georg Gottlob, Andreas Pieris:
Semantic Acyclicity Under Constraints. AMW 2016 - [c43]Gerald Berger, Andreas Pieris:
Ontology-Mediated Queries Distributing over Components. IJCAI 2016: 943-949 - [c42]Pablo Barceló, Georg Gottlob, Andreas Pieris:
Semantic Acyclicity Under Constraints. PODS 2016: 343-354 - [c41]Georg Gottlob, Andreas Pieris, Mantas Simkus:
The Impact of Active Domain Predicates on Guarded Existential Rules. RR 2016: 94-110 - [i3]Pablo Barceló, Georg Gottlob, Andreas Pieris:
Semantic Acyclicity Under Constraints. CoRR abs/1602.01366 (2016) - 2015
- [c40]Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari:
From Classical to Consistent Query Answering under Existential Rules. AAAI 2015: 1546-1552 - [c39]Marco Calautti, Georg Gottlob, Andreas Pieris:
Chase Termination for Guarded Existential Rules. AMW 2015 - [c38]Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari:
From Classical to Consistent Query Answering under Existential Rules. AMW 2015 - [c37]Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. Description Logics 2015 - [c36]Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial Rewritings for Linear Existential Rules. IJCAI 2015: 2992-2998 - [c35]Georg Gottlob, Andreas Pieris:
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. IJCAI 2015: 2999-3007 - [c34]Andreas Pieris:
From Classical to Consistent Query Answering under Existential Rules. JOWO@IJCAI 2015 - [c33]Mario Alviano, Andreas Pieris:
Default Negation for Non-Guarded Existential Rules. PODS 2015: 79-90 - [c32]Marco Calautti, Georg Gottlob, Andreas Pieris:
Chase Termination for Guarded Existential Rules. PODS 2015: 91-103 - [c31]Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. RuleML 2015: 35-53 - [c30]Georg Gottlob, Michael Morak, Andreas Pieris:
Recent Advances in Datalog ^\pm. Reasoning Web 2015: 193-217 - 2014
- [j8]Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Query Rewriting and Optimization for Ontological Databases. ACM Trans. Database Syst. 39(3): 25:1-25:46 (2014) - [c29]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Expressive Languages for Querying the Semantic Web. AMW 2014 - [c28]Pierre Bourhis, Michael Morak, Andreas Pieris:
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs. Description Logics 2014: 100-111 - [c27]Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris:
Datalog+/-: Questions and Answers. KR 2014 - [c26]Georg Gottlob, Marco Manna, Andreas Pieris:
Polynomial Combined Rewritings for Existential Rules. KR 2014 - [c25]Pierre Bourhis, Michael Morak, Andreas Pieris:
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules. MFCS (1) 2014: 99-110 - [c24]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Expressive languages for querying the semantic web. PODS 2014: 14-26 - [i2]Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Query Rewriting and Optimization for Ontological Databases. CoRR abs/1405.2848 (2014) - 2013
- [j7]Georg Gottlob, Marco Manna, Andreas Pieris:
Combining decidability paradigms for existential rules. Theory Pract. Log. Program. 13(4-5): 877-892 (2013) - [c23]Andrea Calì, Georg Gottlob, Andreas Pieris:
Tractable Reasoning in Description Logics with Functionality Constraints. In Search of Elegance in the Theory and Practice of Computation 2013: 174-192 - [c22]Pierre Bourhis, Michael Morak, Andreas Pieris:
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. Description Logics 2013: 539-551 - [c21]Georg Gottlob, Andreas Pieris, Lidia Tendera:
Querying the Guarded Fragment with Transitivity. ICALP (2) 2013: 287-298 - [c20]Pierre Bourhis, Michael Morak, Andreas Pieris:
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules. IJCAI 2013: 796-802 - 2012
- [j6]Andrea Calì, Georg Gottlob, Andreas Pieris:
Towards more expressive ontology languages: The query answering problem. Artif. Intell. 193: 87-128 (2012) - [j5]Andrea Calì, Georg Gottlob, Andreas Pieris:
Ontological query answering under expressive Entity-Relationship schemata. Inf. Syst. 37(4): 320-335 (2012) - [c19]Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris:
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. Correct Reasoning 2012: 117-133 - [c18]Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Querying UML Class Diagrams. FoSSaCS 2012: 1-25 - [c17]Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris:
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. MFCS 2012: 1-18 - [c16]Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus:
Datalog and Its Extensions for Semantic Web Databases. Reasoning Web 2012: 54-77 - [p1]Andrea Calì, Georg Gottlob, Andreas Pieris:
The Return of the Entity-Relationship Model: Ontological Query Answering. Semantic Search over the Web 2012: 255-281 - 2011
- [b1]Andreas Pieris:
Ontological query answering : new languages, algorithms and complexity. University of Oxford, UK, 2011 - [j4]Giorgio Orsi, Andreas Pieris:
Optimizing Query Answering under Ontological Constraints. Proc. VLDB Endow. 4(11): 1004-1015 (2011) - [j3]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris:
A logical toolbox for ontological reasoning. SIGMOD Rec. 40(3): 5-14 (2011) - [c15]Andrea Calì, Georg Gottlob, Andreas Pieris:
New Expressive Languages for Ontological Query Answering. AAAI 2011: 1541-1546 - [c14]Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Ontological Query Answering via Rewriting. ADBIS 2011: 1-18 - [c13]Andrea Calì, Andreas Pieris:
On Equality-Generating Dependencies in Ontology Querying - Preliminary Report. AMW 2011 - [c12]Andrea Calì, Georg Gottlob, Andreas Pieris:
Querying Conceptual Schemata with Expressive Equality Constraints. ER 2011: 161-174 - [c11]Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Ontological queries: Rewriting and optimization. ICDE 2011: 2-13 - [c10]Andrea Calì, Andreas Pieris:
On Equality-Generating Dependencies in Ontology Querying (Extended Abstract). SEBD 2011: 95-102 - [i1]Georg Gottlob, Giorgio Orsi, Andreas Pieris:
Ontological Queries: Rewriting and Optimization (Extended Version). CoRR abs/1112.0343 (2011) - 2010
- [j2]