Maja Milicic - RankMe

14 papers A* 2A 1B 3Journal 2Unranked 5

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	Foundations of instance level updates in expressive description logics. Artif. Intell. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2008	—	`—`	Action, time and space in description logics. Maja Milicic
2008	—	`conf`	The Projection Problem for EL Actions. Description Logics Hongkai Liu, Carsten Lutz, Maja Milicic
2007	J	`jnl`	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. J. Autom. Reason. Carsten Lutz, Maja Milicic
2007	B	`conf`	Complexity of Planning in Action Formalisms Based on Description Logics. LPAR Maja Milicic
2007	—	`conf`	Planning in Action Formalisms based on DLs: First Results. Description Logics Maja Milicic
2006	—	`conf`	DL Actions with GCIs: a Pragmatic Approach. Description Logics Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	B	`conf`	Reasoning About Actions Using Description Logics with General TBoxes. JELIA Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2006	A*	`conf`	Updating Description Logic ABoxes. KR Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
2005	—	`conf`	A Tableau Algorithm for DLs with Concrete Domains and GCIs. Description Logics Carsten Lutz, Maja Milicic
2005	B	`conf`	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. TABLEAUX Carsten Lutz, Maja Milicic
2005	A*	`conf`	Integrating Description Logics and Action Formalisms: First Results. AAAI Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
2005	—	`conf`	Integrating Description Logics and Action Formalisms: First Results. Description Logics Franz Baader, Maja Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
2004	A	`conf`	Description Logics with Concrete Domains and Functional Dependencies. ECAI Carsten Lutz, Maja Milicic