Cristina Feier

Orcid: 0000-0003-0180-5356

According to our database1, Cristina Feier authored at least 34 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Evaluating Graph Queries Using Semantic Treewidth.
Proceedings of the 27th International Conference on Database Theory, 2024

2023
Answer Counting under Guarded TGDs.
Log. Methods Comput. Sci., 2023

Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022
Characterising Fixed Parameter Tractability for Query Evaluation over Guarded TGDs.
Proceedings of the 25th International Conference on Database Theory, 2022

2021
Efficiency of Query Evaluation Under Guarded TGDs: The Unbounded Arity Case.
CoRR, 2021

Characterising Fixed Parameter Tractability of Query Evaluation Over Guarded TGDs (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

The Complexity of Answer Counting for Ontology-Mediated Queries Based on Guarded TGDs (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.
Log. Methods Comput. Sci., 2019

When is Ontology-Mediated Querying Efficient?
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

PTime Combined Complexity and FPT in Ontology-Mediated Querying.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies.
CoRR, 2018

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
Proceedings of the 20th International Conference on Database Theory, 2017

2016
A Practical Acyclicity Notion for Query Answering Over Horn- <i>SRIQ</i> Ontologies.
Proceedings of the Semantic Web - ISWC 2016, 2016

FO-Rewritability of Expressive Ontology-Mediated Queries.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
Reasoning with Forest Logic Programs Using Fully Enriched Automata.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending the Combined Approach Beyond Lightweight Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Pushing the Boundaries of Tractable Ontology Reasoning.
Proceedings of the Semantic Web - ISWC 2014, 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

<i>EL</i>-ifying Ontologies.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013
Reasoning with Forest Logic Programs and f-hybrid knowledge bases.
Theory Pract. Log. Program., 2013

2012
Worst-Case Optimal Reasoning with Forest Logic Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Simulating Production Rules Using ACTHEX.
Proceedings of the Correct Reasoning, 2012

2010
An Optimization for Reasoning with Forest Logic Programs
CoRR, 2010

2009
A Reasoner for Simple Conceptual Logic Programs.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Hybrid Reasoning with Forest Logic Programs.
Proceedings of the Semantic Web: Research and Applications, 2009

2008
Guarded hybrid knowledge bases.
Theory Pract. Log. Program., 2008


2007
A Framework for Distributed Reasoning on the Semantic Web Based on Open Answer Set Programming.
Proceedings of the KWEPSY 2007 Knowledge Web PhD Symposium 2007, 2007

2006
Rules with Contextually Scoped Negation.
Proceedings of the Semantic Web: Research and Applications, 2006

2005
Web Service Modeling Ontology.
Appl. Ontology, 2005


  Loading...