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

Magdalena Ortiz Vis

Maria Magdalena Ortiz de la Fuente

Institute of Information Systems, Vienna University of Technology, Austria

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

*2009
19EEDiego Calvanese, Thomas Eiter, Magdalena Ortiz: Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720
18EEThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
17EEThomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics: The Knots Approach. WoLLIC 2009: 26-36
2008
16 Magdalena Ortiz, Mantas Simkus, Thomas Eiter: Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses. AAAI 2008: 504-510
15EEMagdalena Ortiz, Mantas Simkus, Thomas Eiter: Conjunctive Query Answering in SH using Knots. Description Logics 2008
14EEThomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
13EEMagdalena Ortiz: Extending Carinto the Description Logics of the Family. JELIA 2008: 324-337
12EEThomas Eiter, Magdalena Ortiz, Mantas Simkus: Reasoning Using Knots. LPAR 2008: 377-390
11EEMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reasoning 41(1): 61-98 (2008)
2007
10 Diego Calvanese, Thomas Eiter, Magdalena Ortiz: Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI 2007: 391-396
9EEMagdalena Ortiz, Mauricio Osorio: Strong Negation and Equivalence in the Safe Belief Semantics. J. Log. Comput. 17(3): 499-515 (2007)
2006
8 Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI 2006
7EEMagdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
2005
6EEMagdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
5EEGerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221
4EEGerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
3EEMagdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)
2004
2EEMagdalena Ortiz: ASP: from Application Development to Syntax Extensions. LA-NMR 2004
2003
1EEMagdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158

Coauthor Index

1Gerardo Ayala (Gerardo Ayala San Martin) [1] [4] [5]
2Diego Calvanese [3] [7] [8] [10] [11] [19]
3Thomas Eiter [3] [7] [8] [10] [11] [12] [14] [15] [16] [17] [18] [19]
4Enrico Franconi [3]
5Georg Gottlob [14]
6Carsten Lutz [17] [18]
7Mauricio Osorio (Mauricio Javier Osorio Galindo) [1] [4] [5] [6] [9]
8Mantas Simkus [12] [14] [15] [16] [17] [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)