| 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 |
