Andreas Pieris

140 papers A* 36A 8B 7C 2Journal 47Unranked 34
YearRankTypeTitle / Venue / Authors
2026 A conf
First-Order Rewritability of Rule-Based Ontology Mediated Queries with Negation.
ICDT
Georg Gottlob, Marco Manna, Andreas Pieris, Aldo Ricioppo
2026 J jnl
Semi-Oblivious Chase Termination for Linear Existential Rules and Beyond: An Experimental Analysis.
ACM Trans. Database Syst.
Amirhossein Alizad, Marco Calautti, Mostafa Milani, Andreas Pieris
2026 J jnl
Uniform Operational Consistent Query Answering.
ACM Trans. Database Syst.
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2025 J jnl
Combined Approximations for Uniform Operational Consistent Query Answering.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2025 A* conf
Finite Axiomatizability by Disjunctive Existential Rules.
KR
Marco Calautti, Marco Console, Andreas Pieris
2025 J jnl
Finite Axiomatizability by Disjunctive Existential Rules.
CoRR
Marco Calautti, Marco Console, Andreas Pieris
2024 J jnl
Below and Above Why-Provenance for Datalog Queries.
Proc. ACM Manag. Data
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 J jnl
Characterizing Data Dependencies Then and Now.
CoRR
Phokion G. Kolaitis, Andreas Pieris
2024 J jnl
Combined Approximations for Uniform Operational Consistent Query Answering.
Proc. ACM Manag. Data
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 A* conf
Computing the Why-Provenance for Datalog Queries via SAT Solvers.
AAAI
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 — conf
Computing the Why-Provenance for Datalog Queries via SAT Solvers.
SEBD
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2024 — conf
Explaining Answers to Datalog Queries (Invited Talk).
Datalog
Andreas Pieris
2024 A conf
Rule-Based Ontologies: From Semantics to Syntax (Invited Talk).
ICDT
Andreas Pieris
2024 J jnl
Selected Papers from Datalog 2.0 2022.
Theory Pract. Log. Program.
Mario Alviano, Andreas Pieris
2024 J jnl
The Complexity of Why-Provenance for Datalog Queries.
Proc. ACM Manag. Data
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2023 A conf
Absolute Expressiveness of Subgraph-Based Centrality Measures.
ICDT
Andreas Pieris, Jorge Salas
2023 J jnl
Combined Approximations for Uniform Operational Consistent Query Answering.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2023 A* conf
Generative Datalog with Stable Negation.
PODS
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
2023 J jnl
Polynomial combined first-order rewritings for linear and guarded existential rules.
Artif. Intell.
Georg Gottlob, Marco Manna, Andreas Pieris
2023 J jnl
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.
CoRR
Marco Calautti, Mostafa Milani, Andreas Pieris
2023 J jnl
Semi-Oblivious Chase Termination for Linear Existential Rules: An Experimental Study.
Proc. VLDB Endow.
Marco Calautti, Mostafa Milani, Andreas Pieris
2023 J jnl
The Complexity of Why-Provenance for Datalog Queries.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2023 J jnl
Uniform Restricted Chase Termination.
SIAM J. Comput.
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2022 J jnl
Absolute Expressiveness of Subgraph Motif Centrality Measures.
CoRR
Andreas Pieris, Jorge Salas
2022 A* conf
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.
PODS
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 — conf
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.
SEBD
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 J jnl
Generative Datalog with Stable Negation.
CoRR
Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris
2022 J jnl
Inconsistency-tolerant query answering for existential rules.
Artif. Intell.
Thomas Lukasiewicz, Enrico Malizia, Maria Vanina Martinez, Cristian Molinaro, Andreas Pieris, Gerardo I. Simari
2022 A* conf
Non-Uniformly Terminating Chase: Size and Complexity.
PODS
Marco Calautti, Georg Gottlob, Andreas Pieris
2022 J jnl
Non-Uniformly Terminating Chase: Size and Complexity.
CoRR
Marco Calautti, Georg Gottlob, Andreas Pieris
2022 B ed.
Proceedings of the 25th International Conference on Extending Database Technology, EDBT 2022, Edinburgh, UK, March 29 - April 1, 2022.
EDBT
Julia Stoyanovich, Jens Teubner, Paolo Guagliardo, Milos Nikolic, Andreas Pieris, Jan Mühlig, Fatma Özcan, Sebastian Schelter, H. V. Jagadish, Meihui Zhang
2022 — ed.
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.
Datalog
Mario Alviano, Andreas Pieris
2022 J jnl
The Space-Efficient Core of Vadalog.
ACM Trans. Database Syst.
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2022 A* conf
Uniform Operational Consistent Query Answering.
PODS
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2022 J jnl
Uniform Operational Consistent Query Answering.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2021 — conf
Benchmarking Approximate Consistent Query Answering (Discussion Paper).
SEBD
Marco Calautti, Marco Console, Andreas Pieris
2021 A* conf
Benchmarking Approximate Consistent Query Answering.
PODS
Marco Calautti, Marco Console, Andreas Pieris
2021 J jnl
Counting Database Repairs Entailing a Query: The Case of Functional Dependencies.
CoRR
Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider
2021 — conf
Model-theoretic Characterizations of Rule-based Ontologies.
Description Logics
Marco Console, Phokion G. Kolaitis, Andreas Pieris
2021 A* conf
Model-theoretic Characterizations of Rule-based Ontologies.
PODS
Marco Console, Phokion G. Kolaitis, Andreas Pieris
2021 J jnl
Semi-Oblivious Chase Termination: The Sticky Case.
Theory Comput. Syst.
Marco Calautti, Andreas Pieris
2020 J jnl
All-Instances Restricted Chase Termination for Linear TGDs.
Künstliche Intell.
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2020 A* conf
All-Instances Restricted Chase Termination.
PODS
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2020 J jnl
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2020 A* conf
Multi-head Guarded Existential Rules Over Fixed Signatures.
KR
Georg Gottlob, Marco Manna, Andreas Pieris
2020 — ch.
Querying the Semantic Web via Rules.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2020 — ed.
Reasoning Web. Declarative Artificial Intelligence - 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures
RW
Marco Manna, Andreas Pieris
2020 J jnl
Semantic Optimization of Conjunctive Queries.
J. ACM
Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris
2020 A* conf
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
PODS
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2020 J jnl
When is Ontology-Mediated Querying Efficient?
CoRR
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 A conf
Additive First-Order Queries.
ICDT
Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
2019 J jnl
All-Instances Restricted Chase Termination: The Guarded Case.
CoRR
Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris
2019 A* conf
Counting Database Repairs under Primary Keys Revisited.
PODS
Marco Calautti, Marco Console, Andreas Pieris
2019 — conf
Counting Database Repairs under Primary Keys Revisited.
SEBD
Marco Calautti, Marco Console, Andreas Pieris
2019 — ed.
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.
Datalog
Mario Alviano, Andreas Pieris
2019 A conf
Oblivious Chase Termination: The Sticky Case.
ICDT
Marco Calautti, Andreas Pieris
2019 — conf
PTime Combined Complexity and FPT in Ontology-Mediated Querying.
Description Logics
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 J jnl
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
CoRR
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 A* conf
The Space-Efficient Core of Vadalog.
PODS
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2019 B conf
Vadalog: Recent Advances and Applications.
JELIA
Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2019 A* conf
When is Ontology-Mediated Querying Efficient?
LICS
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2018 — conf
An Operational Approach to Consistent Query Answering.
AMW
Marco Calautti, Leonid Libkin, Andreas Pieris
2018 A* conf
An Operational Approach to Consistent Query Answering.
PODS
Marco Calautti, Leonid Libkin, Andreas Pieris
2018 A* conf
Containment for Rule-Based Ontology-Mediated Queries.
PODS
Pablo Barceló, Gerald Berger, Andreas Pieris
2018 J jnl
Expressive Languages for Querying the Semantic Web.
ACM Trans. Database Syst.
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2018 A* conf
Finite Model Reasoning in Hybrid Classes of Existential Rules.
IJCAI
Georg Gottlob, Marco Manna, Andreas Pieris
2018 — conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
AMW
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 A* conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
IJCAI
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 B conf
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System.
SOFSEM
Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018 J jnl
The Impact of Active Domain Predicates on Guarded Existential Rules.
Fundam. Informaticae
Georg Gottlob, Andreas Pieris, Mantas Simkus
2018 J jnl
The Space-Efficient Core of Vadalog.
CoRR
Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018 — conf
The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs.
AMW
Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018 B conf
Vadalog: A Language and System for Knowledge Graphs.
RuleML+RR
Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2017 J jnl
Containment for Rule-Based Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Andreas Pieris
2017 — conf
Guarded Ontology-Mediated Queries Distributing Over Components.
AMW
Pablo Barceló, Gerald Berger, Andreas Pieris
2017 C conf
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data.
LATA
Georg Gottlob, Christoph Koch, Andreas Pieris
2017 A* conf
Making Cross Products and Guarded Ontology Languages Compatible.
IJCAI
Pierre Bourhis, Michael Morak, Andreas Pieris
2017 J jnl
Semantic Optimization in Tractable Classes of Conjunctive Queries.
SIGMOD Rec.
Pablo Barceló, Andreas Pieris, Miguel Romero
2017 A* conf
Stable Model Semantics for Tuple-Generating Dependencies Revisited.
PODS
Mario Alviano, Michael Morak, Andreas Pieris
2017 A* conf
Swift Logic for Big Data and Knowledge Graphs.
IJCAI
Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2016 — conf
A Datalog-Based Language for Querying RDF Graphs.
AMW
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2016 J jnl
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum.
Theory Pract. Log. Program.
Georg Gottlob, Marco Manna, Andreas Pieris
2016 J jnl
Guarded-Based Disjunctive Tuple-Generating Dependencies.
ACM Trans. Database Syst.
Pierre Bourhis, Marco Manna, Michael Morak, Andreas Pieris
2016 A* conf
Ontology-Mediated Queries Distributing over Components.
IJCAI
Gerald Berger, Andreas Pieris
2016 — conf
Semantic Acyclicity Under Constraints.
AMW
Pablo Barceló, Georg Gottlob, Andreas Pieris
2016 A* conf
Semantic Acyclicity Under Constraints.
PODS
Pablo Barceló, Georg Gottlob, Andreas Pieris
2016 J jnl
Semantic Acyclicity Under Constraints.
CoRR
Pablo Barceló, Georg Gottlob, Andreas Pieris
2016 — conf
The Impact of Active Domain Predicates on Guarded Existential Rules.
RR
Georg Gottlob, Andreas Pieris, Mantas Simkus
2015 A* conf
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue.
IJCAI
Georg Gottlob, Andreas Pieris
2015 — conf
Chase Termination for Guarded Existential Rules.
AMW
Marco Calautti, Georg Gottlob, Andreas Pieris
2015 A* conf
Chase Termination for Guarded Existential Rules.
PODS
Marco Calautti, Georg Gottlob, Andreas Pieris
2015 — conf
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-.
RuleML
Georg Gottlob, Giorgio Orsi, Andreas Pieris
2015 A* conf
Default Negation for Non-Guarded Existential Rules.
PODS
Mario Alviano, Andreas Pieris
2015 A* conf
From Classical to Consistent Query Answering under Existential Rules.
AAAI
Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari
2015 — conf
From Classical to Consistent Query Answering under Existential Rules.
AMW
Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I. Simari
2015 — conf
From Classical to Consistent Query Answering under Existential Rules.
JOWO@IJCAI
Andreas Pieris
2015 — conf
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.
Description Logics
Georg Gottlob, Marco Manna, Andreas Pieris
2015 A* conf
Polynomial Rewritings for Linear Existential Rules.
IJCAI
Georg Gottlob, Marco Manna, Andreas Pieris
2015 — conf
Recent Advances in Datalog ^\pm.
Reasoning Web
Georg Gottlob, Michael Morak, Andreas Pieris
2014 — conf
Acyclic Query Answering under Guarded Disjunctive Existential Rules and Consequences to DLs.
Description Logics
Pierre Bourhis, Michael Morak, Andreas Pieris
2014 A* conf
Datalog+/-: Questions and Answers.
KR
Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
2014 — conf
Expressive Languages for Querying the Semantic Web.
AMW
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2014 A* conf
Expressive languages for querying the semantic web.
PODS
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2014 A* conf
Polynomial Combined Rewritings for Existential Rules.
KR
Georg Gottlob, Marco Manna, Andreas Pieris
2014 J jnl
Query Rewriting and Optimization for Ontological Databases.
CoRR
Georg Gottlob, Giorgio Orsi, Andreas Pieris
2014 J jnl
Query Rewriting and Optimization for Ontological Databases.
ACM Trans. Database Syst.
Georg Gottlob, Giorgio Orsi, Andreas Pieris
2014 — conf
Towards Efficient Reasoning Under Guarded-Based Disjunctive Existential Rules.
MFCS (1)
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 J jnl
Combining decidability paradigms for existential rules.
Theory Pract. Log. Program.
Georg Gottlob, Marco Manna, Andreas Pieris
2013 — conf
Querying the Guarded Fragment with Transitivity.
ICALP (2)
Georg Gottlob, Andreas Pieris, Lidia Tendera
2013 — conf
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
Description Logics
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 A* conf
The Impact of Disjunction on Query Answering Under Guarded-Based Existential Rules.
IJCAI
Pierre Bourhis, Michael Morak, Andreas Pieris
2013 — conf
Tractable Reasoning in Description Logics with Functionality Constraints.
In Search of Elegance in the Theory and Practice of Computation
Andrea Calì, Georg Gottlob, Andreas Pieris
2012 — conf
Datalog and Its Extensions for Semantic Web Databases.
Reasoning Web
Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus
2012 B conf
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules.
MFCS
Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris
2012 — conf
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying.
Correct Reasoning
Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
2012 J jnl
Ontological query answering under expressive Entity-Relationship schemata.
Inf. Syst.
Andrea Calì, Georg Gottlob, Andreas Pieris
2012 B conf
Querying UML Class Diagrams.
FoSSaCS
Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
2012 — ch.
The Return of the Entity-Relationship Model: Ontological Query Answering.
Semantic Search over the Web
Andrea Calì, Georg Gottlob, Andreas Pieris
2012 J jnl
Towards more expressive ontology languages: The query answering problem.
Artif. Intell.
Andrea Calì, Georg Gottlob, Andreas Pieris
2011 J jnl
A logical toolbox for ontological reasoning.
SIGMOD Rec.
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
2011 A* conf
New Expressive Languages for Ontological Query Answering.
AAAI
Andrea Calì, Georg Gottlob, Andreas Pieris
2011 — conf
On Equality-Generating Dependencies in Ontology Querying (Extended Abstract).
SEBD
Andrea Calì, Andreas Pieris
2011 — conf
On Equality-Generating Dependencies in Ontology Querying - Preliminary Report.
AMW
Andrea Calì, Andreas Pieris
2011 J jnl
Ontological Queries: Rewriting and Optimization (Extended Version)
CoRR
Georg Gottlob, Giorgio Orsi, Andreas Pieris
2011 C conf
Ontological Query Answering via Rewriting.
ADBIS
Georg Gottlob, Giorgio Orsi, Andreas Pieris
2011 A* conf
Ontological queries: Rewriting and optimization.
ICDE
Georg Gottlob, Giorgio Orsi, Andreas Pieris
2011 — —
Ontological query answering : new languages, algorithms and complexity.
Andreas Pieris
2011 J jnl
Optimizing Query Answering under Ontological Constraints.
Proc. VLDB Endow.
Giorgio Orsi, Andreas Pieris
2011 A conf
Querying Conceptual Schemata with Expressive Equality Constraints.
ER
Andrea Calì, Georg Gottlob, Andreas Pieris
2010 J jnl
Advanced Processing for Ontological Queries.
Proc. VLDB Endow.
Andrea Calì, Georg Gottlob, Andreas Pieris
2010 — conf
Datalog+/-: A Family of Languages for Ontology Querying.
Datalog
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
2010 A* conf
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
LICS
Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris
2010 J jnl
Facets of the Fully Mixed Nash Equilibrium Conjecture.
Theory Comput. Syst.
Rainer Feldmann, Marios Mavronicolas, Andreas Pieris
2010 A* conf
Ontological Reasoning with F-logic Lite and its Extensions.
AAAI
Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris
2010 A conf
Query Answering under Expressive Entity-Relationship Schemata.
ER
Andrea Calì, Georg Gottlob, Andreas Pieris
2010 — conf
Query Answering under Non-guarded Rules in Datalog+/-.
RR
Andrea Calì, Georg Gottlob, Andreas Pieris
2010 — conf
Query Rewriting under Non-Guarded Rules.
AMW
Andrea Calì, Georg Gottlob, Andreas Pieris
2010 — conf
Tractable Query Answering over Conceptual Schemata (Extended Abstract).
SEBD
Andrea Calì, Georg Gottlob, Andreas Pieris
2009 A conf
Tractable Query Answering over Conceptual Schemata.
ER
Andrea Calì, Georg Gottlob, Andreas Pieris
2008 B conf
Facets of the Fully Mixed Nash Equilibrium Conjecture.
SAGT
Rainer Feldmann, Marios Mavronicolas, Andreas Pieris