Cristina Feier
Cristina Feier
Interests
- Automated reasoning
- Description Logics, Logic Programming and combinations thereof
Selected Publications
-
Reasoning with Forest Logic Programs Using Fully Enriched Automata
Cristina Feier and Thomas Eiter
In Int. Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP). 2015.
Details about Reasoning with Forest Logic Programs Using Fully Enriched Automata | BibTeX data for Reasoning with Forest Logic Programs Using Fully Enriched Automata | Download (pdf) of Reasoning with Forest Logic Programs Using Fully Enriched Automata
-
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
Cristina Feier‚ David Carral‚ Giorgio Stefanoni‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015.
Details about The Combined Approach to Query Answering Beyond the OWL 2 Profiles | BibTeX data for The Combined Approach to Query Answering Beyond the OWL 2 Profiles | Download (pdf) of The Combined Approach to Query Answering Beyond the OWL 2 Profiles
-
Extending the Combined Approach Beyond Lightweight Description Logics
Cristina Feier‚ David Carral‚ Giorgio Stefanoni‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the 28th International Workshop on Description Logics (DL). 2015.
Details about Extending the Combined Approach Beyond Lightweight Description Logics | BibTeX data for Extending the Combined Approach Beyond Lightweight Description Logics | Download (pdf) of Extending the Combined Approach Beyond Lightweight Description Logics