 | 2009 |
|---|
| 10 |       | Mantas Simkus:
Fusion of Logic Programming and Description Logics.
ICLP 2009: 551-552 |
| 9 | | Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in Description Logics with Transitive Roles.
IJCAI 2009: 759-764 |
| 8 | | Thomas Eiter,
Mantas Simkus:
Bidirectional Answer Set Programs with Function Symbols.
IJCAI 2009: 765-771 |
| 7 | | Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in Description Logics: The Knots Approach.
WoLLIC 2009: 26-36 |
| 2008 |
|---|
| 6 |  | Magdalena Ortiz,
Mantas Simkus,
Thomas Eiter:
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
AAAI 2008: 504-510 |
| 5 | | Magdalena Ortiz,
Mantas Simkus,
Thomas Eiter:
Conjunctive Query Answering in SH using Knots.
Description Logics 2008 |
| 4 | | Thomas Eiter,
Georg Gottlob,
Magdalena Ortiz,
Mantas Simkus:
Query Answering in the Description Logic Horn-.
JELIA 2008: 166-179 |
| 3 | | Thomas Eiter,
Magdalena Ortiz,
Mantas Simkus:
Reasoning Using Knots.
LPAR 2008: 377-390 |
| 2007 |
|---|
| 2 | | Mantas Simkus,
Thomas Eiter:
\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
LPAR 2007: 514-530 |
| 2006 |
|---|
| 1 | | Mantas Simkus,
Evaldas Taroza,
Lina Lubyte,
Daniel Trivellato,
Zivile Norkunaite:
Efficient Query Answering over Conceptual Schemas of Relational Databases : Technical Report
CoRR abs/cs/0601114: (2006) |
