 | 2008 |
|---|
| 12 |       | Hongkai Liu,
Carsten Lutz,
Maja Milicic:
The Projection Problem for EL Actions.
Description Logics 2008 |
| 2007 |
|---|
| 11 | | Maja Milicic:
Planning in Action Formalisms based on DLs: First Results.
Description Logics 2007 |
| 10 | | Maja Milicic:
Complexity of Planning in Action Formalisms Based on Description Logics.
LPAR 2007: 408-422 |
| 9 | | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.
J. Autom. Reasoning 38(1-3): 227-259 (2007) |
| 2006 |
|---|
| 8 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach.
Description Logics 2006 |
| 7 | | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
Reasoning About Actions Using Description Logics with General TBoxes.
JELIA 2006: 266-279 |
| 6 |  | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
Updating Description Logic ABoxes.
KR 2006: 46-56 |
| 2005 |
|---|
| 5 | | Franz Baader,
Carsten Lutz,
Maja Milicic,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
AAAI 2005: 572-577 |
| 4 | | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
Description Logics 2005 |
| 3 | | Franz Baader,
Maja Milicic,
Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
Description Logics 2005 |
| 2 | | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.
TABLEAUX 2005: 201-216 |
| 2004 |
|---|
| 1 | | Carsten Lutz,
Maja Milicic:
Description Logics with Concrete Domains and Functional Dependencies.
ECAI 2004: 378-382 |
