Magdalena Ortiz

Maria Magdalena Ortiz de la Fuente

Institute of Information Systems, Vienna University of Technology, Austria

	2009
19		Diego Calvanese, Thomas Eiter, Magdalena Ortiz: Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720
18		Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus: Query Answering in Description Logics with Transitive Roles. IJCAI 2009: 759-764
17		Thomas 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
15		Magdalena Ortiz, Mantas Simkus, Thomas Eiter: Conjunctive Query Answering in SH using Knots. Description Logics 2008
14		Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
13		Magdalena Ortiz: Extending Carinto the Description Logics of the Family. JELIA 2008: 324-337
12		Thomas Eiter, Magdalena Ortiz, Mantas Simkus: Reasoning Using Knots. LPAR 2008: 377-390
11		Magdalena 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
9		Magdalena 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
7		Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006
	2005
6		Magdalena Ortiz, Mauricio Osorio: Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics. Answer Set Programming 2005
5		Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Agent Modelling for CSCL Environments using Answer Sets Programming. ENC 2005: 214-221
4		Gerardo Ayala, Magdalena Ortiz, Mauricio Osorio: Application of ASP for Agent Modelling in CSCL Environments. MICAI 2005: 109-118
3		Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005)
	2004
2		Magdalena Ortiz: ASP: from Application Development to Syntax Extensions. LA-NMR 2004
	2003
1		Magdalena Ortiz, Gerardo Ayala, Mauricio Osorio: Formalizing the Learner Model for CSCL Environments. ENC 2003: 151-158

Coauthor Index

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

Colors in the list of coauthors