dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Magdalena Ortiz (Selection)

Maria Magdalena Ortiz de la Fuente

Institute of Information Systems, Vienna University of Technology, Austria

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni: The Complexity of Explaining Negative Query Answers in DL-Lite. KR 2012
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni: The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics 2011
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Domenico Carbotta, Magdalena Ortiz: A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI 2011: 798-804
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Magdalena Ortiz, Mantas Simkus: Containment of Regular Path Queries under Description Logic Constraints. IJCAI 2011: 805-812
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Thomas Eiter, Magdalena Ortiz: Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reasoning 41(1): 61-98 (2008)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDiego Calvanese, Thomas Eiter, Magdalena Ortiz: Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006: 275-280
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)

Selection of 10 from 30 records - Magdalena Ortiz has 14 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page