Search the dblp DataBase
Maja Milicic :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Franz Baader , Carsten Lutz , Maja Milicic , Ulrike Sattler , Frank Wolter Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:572-577 [Conf ] Franz Baader , Maja Milicic , Carsten Lutz , Ulrike Sattler , Frank Wolter Integrating Description Logics and Action Formalisms: First Results. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Carsten Lutz , Maja Milicic A Tableau Algorithm for DLs with Concrete Domains and GCIs. [Citation Graph (0, 0)][DBLP ] Description Logics, 2005, pp:- [Conf ] Carsten Lutz , Maja Milicic Description Logics with Concrete Domains and Functional Dependencies. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:378-382 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Reasoning About Actions Using Description Logics with General TBoxes. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:266-279 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter Updating Description Logic ABoxes. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:46-56 [Conf ] Carsten Lutz , Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 2005, pp:201-216 [Conf ] Hongkai Liu , Carsten Lutz , Maja Milicic , Frank Wolter DL Actions with GCIs: a Pragmatic Approach. [Citation Graph (0, 0)][DBLP ] Description Logics, 2006, pp:- [Conf ] Maja Milicic Complexity of Planning in Action Formalisms Based on Description Logics. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:408-422 [Conf ] Carsten Lutz , Maja Milicic A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:227-259 [Journal ] Planning in Action Formalisms based on DLs: First Results. [Citation Graph (, )][DBLP ] The Projection Problem for EL Actions. [Citation Graph (, )][DBLP ] Search in 0.024secs, Finished in 0.025secs