2008 |
12 | EE | Hongkai Liu,
Carsten Lutz,
Maja Milicic:
The Projection Problem for EL Actions.
Description Logics 2008 |
2007 |
11 | EE | Maja Milicic:
Planning in Action Formalisms based on DLs: First Results.
Description Logics 2007 |
10 | EE | Maja Milicic:
Complexity of Planning in Action Formalisms Based on Description Logics.
LPAR 2007: 408-422 |
9 | EE | 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 | EE | Hongkai Liu,
Carsten Lutz,
Maja Milicic,
Frank Wolter:
DL Actions with GCIs: a Pragmatic Approach.
Description Logics 2006 |
7 | EE | 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 | EE | Carsten Lutz,
Maja Milicic:
A Tableau Algorithm for DLs with Concrete Domains and GCIs.
Description Logics 2005 |
3 | EE | Franz Baader,
Maja Milicic,
Carsten Lutz,
Ulrike Sattler,
Frank Wolter:
Integrating Description Logics and Action Formalisms: First Results.
Description Logics 2005 |
2 | EE | 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 |