2009 |
17 | | Andre Lang,
Magdalena Ortiz,
Steffen Abraham:
Enhancing Business Intelligence with Unstructured Data.
BTW 2009: 469-485 |
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 | EE | Magdalena Ortiz,
Mantas Simkus,
Thomas Eiter:
Conjunctive Query Answering in SH using Knots.
Description Logics 2008 |
14 | EE | Thomas Eiter,
Georg Gottlob,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in the Description Logic Horn-.
JELIA 2008: 166-179 |
13 | EE | Magdalena Ortiz:
Extending Carinto the Description Logics of the Family.
JELIA 2008: 324-337 |
12 | EE | Thomas Eiter,
Magdalena Ortiz,
Mantas Simkus:
Reasoning Using Knots.
LPAR 2008: 377-390 |
11 | EE | 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 | EE | 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 | EE | Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
Description Logics 2006 |
2005 |
6 | EE | Magdalena Ortiz,
Mauricio Osorio:
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.
Answer Set Programming 2005 |
5 | EE | Gerardo Ayala,
Magdalena Ortiz,
Mauricio Osorio:
Agent Modelling for CSCL Environments using Answer Sets Programming.
ENC 2005: 214-221 |
4 | EE | Gerardo Ayala,
Magdalena Ortiz,
Mauricio Osorio:
Application of ASP for Agent Modelling in CSCL Environments.
MICAI 2005: 109-118 |
3 | EE | 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 | EE | Magdalena Ortiz:
ASP: from Application Development to Syntax Extensions.
LA-NMR 2004 |
2003 |
1 | EE | Magdalena Ortiz,
Gerardo Ayala,
Mauricio Osorio:
Formalizing the Learner Model for CSCL Environments.
ENC 2003: 151-158 |