Andreas Pieris : Publications

A Logical Toolbox for Ontological Reasoning

Andrea Calì‚ Georg Gottlob‚ Thomas Lukasiewicz and Andreas Pieris

In SIGMOD Record. Vol. 40. No. 3. Pages 5–14. 2011.

Details about A Logical Toolbox for Ontological Reasoning | BibTeX data for A Logical Toolbox for Ontological Reasoning | Link to A Logical Toolbox for Ontological Reasoning

Advanced Processing for Ontological Queries

Andrea Calì‚ Georg Gottlob and Andreas Pieris

In PVLDB. Vol. 3. No. 1. Pages 554−565. 2010.

Details about Advanced Processing for Ontological Queries | BibTeX data for Advanced Processing for Ontological Queries

Datalog+⁄−: A Family of Languages for Ontology Querying

Andrea Calì‚ Georg Gottlob‚ Thomas Lukasiewicz and Andreas Pieris

In Oege de Moor‚ Georg Gottlob‚ Tim Furche and Andrew Jon Sellers, editors, Datalog Reloaded − 1st International Workshop‚ Datalog 2010‚ Oxford‚ UK‚ March 16−19‚ 2010. Revised Selected Papers. Vol. 6702 of Lecture Notes in Computer Science. Pages 351−368. Springer. 2011.

Details about Datalog+⁄−: A Family of Languages for Ontology Querying | BibTeX data for Datalog+⁄−: A Family of Languages for Ontology Querying | Link to Datalog+⁄−: A Family of Languages for Ontology Querying

Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications

Andrea Calì‚ Georg Gottlob‚ Thomas Lukasiewicz‚ Bruno Marnette and Andreas Pieris

In Proceedings of the 25th IEEE Symposium on Logic in Computer Science‚ LICS 2010‚ Edinburgh‚ UK‚ July 2010. Pages 228–242. IEEE Computer Society. 2010.

Details about Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications | BibTeX data for Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications | Link to Datalog+⁄−: A Family of Logical Knowledge Representation and Query Languages for New Applications

Datalog+⁄−: Questions and Answers

Georg Gottlob‚ Thomas Lukasiewicz and Andreas Pieris

In Chitta Baral and Giuseppe De Giacomo, editors, Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria‚ July 20−24‚ 2014. Pages 682−685. AAAI Press. 2014.

Details about Datalog+⁄−: Questions and Answers | BibTeX data for Datalog+⁄−: Questions and Answers | Link to Datalog+⁄−: Questions and Answers

Expressive Languages for Querying the Semantic Web

Marcelo Arenas‚ Georg Gottlob and Andreas Pieris

In Georg Gottlob and Jorge Pérez, editors, Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management‚ Cartagena de Indias‚ Colombia‚ June 4−6‚ 2014. Vol. 1189 of CEUR Workshop Proceedings. CEUR−WS.org. 2014.

Details about Expressive Languages for Querying the Semantic Web | BibTeX data for Expressive Languages for Querying the Semantic Web | Link to Expressive Languages for Querying the Semantic Web

Facets of the Fully Mixed Nash Equilibrium Conjecture

Rainer Feldmann‚ Marios Mavronicolas and Andreas Pieris

In Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Pages 145−157. 2008.

Details about Facets of the Fully Mixed Nash Equilibrium Conjecture | BibTeX data for Facets of the Fully Mixed Nash Equilibrium Conjecture

Facets of the Fully Mixed Nash Equilibrium Conjecture

Rainer Feldmann‚ Marios Mavronicolas and Andreas Pieris

In Theory of Computing Systems. Vol. 47. No. 1. Pages 60−112. 2010.

Details about Facets of the Fully Mixed Nash Equilibrium Conjecture | BibTeX data for Facets of the Fully Mixed Nash Equilibrium Conjecture

From Classical to Consistent Query Answering under Existential Rules

Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Andreas Pieris and Gerardo I. Simari

In Andrea Calì and Maria−Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management‚ AMW 2015‚ Lima‚ Peru‚ May 6−8‚ 2015.. Vol. 1378 of CEUR Workshop Proceedings. Pages 40−45. CEUR−WS.org. 2015.

Details about From Classical to Consistent Query Answering under Existential Rules | BibTeX data for From Classical to Consistent Query Answering under Existential Rules | Link to From Classical to Consistent Query Answering under Existential Rules

From Classical to Consistent Query Answering under Existential Rules

Thomas Lukasiewicz‚ Maria Vanina Martinez‚ Andreas Pieris and Gerardo I. Simari

In Blai Bonet and Sven Koenig, editors, Proceedings of the 29th National Conference on Artificial Intelligence‚ AAAI 2015‚ Austin‚ Texas‚ USA‚ January 25−29‚ 2015. Pages 1546−1552. AAAI Press. January, 2015.

Details about From Classical to Consistent Query Answering under Existential Rules | BibTeX data for From Classical to Consistent Query Answering under Existential Rules | Link to From Classical to Consistent Query Answering under Existential Rules

Inconsistency−Tolerant Query Answering for Existential Rules

Thomas Lukasiewicz‚ Enrico Malizia‚ Maria Vanina Martinez‚ Cristian Molinaro‚ Andreas Pieris and Gerardo I. Simari

In Artificial Intelligence. Vol. 307. Pages 103685. June, 2022.

Details about Inconsistency−Tolerant Query Answering for Existential Rules | BibTeX data for Inconsistency−Tolerant Query Answering for Existential Rules | Link to Inconsistency−Tolerant Query Answering for Existential Rules

Ontological Queries: Rewriting and optimization

Georg Gottlob‚ Giorgio Orsi and Andreas Pieris

In Proceedings of the 27th International Conference on Data Engineering (ICDE). 2011.

to appear

Details about Ontological Queries: Rewriting and optimization | BibTeX data for Ontological Queries: Rewriting and optimization

Ontological Reasoning with F−Logic Lite and its Extensions

Andrea Calì‚ Georg Gottlob‚ Michael Kifer‚ Thomas Lukasiewicz and Andreas Pieris

In Maria Fox and David Poole, editors, Proceedings of the 24th AAAI Conference on Artificial Intelligence‚ AAAI 2010‚ Atlanta‚ Georgia‚ USA‚ July 11−15‚ 2010. AAAI Press. 2010.

Details about Ontological Reasoning with F−Logic Lite and its Extensions | BibTeX data for Ontological Reasoning with F−Logic Lite and its Extensions | Link to Ontological Reasoning with F−Logic Lite and its Extensions

Query Answering under Expressive Entity−Relationship Schemata

Andrea Calì‚ Georg Gottlob and Andreas Pieris

In Proceeding of the 29th International Conference on Conceptual Modeling (ER). Pages 347–361. 2010.

Details about Query Answering under Expressive Entity−Relationship Schemata | BibTeX data for Query Answering under Expressive Entity−Relationship Schemata

Query Answering under Non−guarded Rules in Datalog+/−

Andrea Calì‚ Georg Gottlob and Andreas Pieris

In Proceeding of the 4th International Conference on Web Reasoning and Rule Systems (RR). Pages 1–17. 2010.

Details about Query Answering under Non−guarded Rules in Datalog+/− | BibTeX data for Query Answering under Non−guarded Rules in Datalog+/−

Query Rewriting under Non−Guarded Rules

Andrea Calì‚ Georg Gottlob and Andreas Pieris

In Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW). 2010.

Details about Query Rewriting under Non−Guarded Rules | BibTeX data for Query Rewriting under Non−Guarded Rules

Tractable Query Answering over Conceptual Schemata

Andrea Calì‚ Georg Gottlob and Andreas Pieris

In Proceeding of the 28th International Conference on Conceptual Modeling (ER). Pages 175–190. 2009.

Details about Tractable Query Answering over Conceptual Schemata | BibTeX data for Tractable Query Answering over Conceptual Schemata

Tractable Query Answering over Conceptual Schemata (Extended Abstract)

Andrea Calì‚ Georg Gottlob and Andreas Pieris

In Proceedings of the 18th Italian Symposium on Advanced Database Systems (SEBD). 2010.

Details about Tractable Query Answering over Conceptual Schemata (Extended Abstract) | BibTeX data for Tractable Query Answering over Conceptual Schemata (Extended Abstract)