Maja Milicic

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Foundations of instance level updates in expressive description logics. Artif. Intell. 175 (18) (2011)
Hongkai Liu, Carsten Lutz, Maja Milicic
The Projection Problem for EL Actions. Description Logics (2008)
Carsten Lutz, Maja Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. J. Autom. Reason. 38 (1-3) (2007)
Maja Milicic
Planning in Action Formalisms based on DLs: First Results. Description Logics (2007)
Maja Milicic
Complexity of Planning in Action Formalisms Based on Description Logics. LPAR (2007)
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
DL Actions with GCIs: a Pragmatic Approach. Description Logics (2006)
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Updating Description Logic ABoxes. KR (2006)
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Reasoning About Actions Using Description Logics with General TBoxes. JELIA (2006)
Carsten Lutz, Maja Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs. Description Logics (2005)
Carsten Lutz, Maja Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX (2005)
Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results. Description Logics (2005)
Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results. AAAI (2005)
Carsten Lutz, Maja Milicic
Description Logics with Concrete Domains and Functional Dependencies. ECAI (2004)

Maja Milicic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Maja Milicic