Concepedia

Maja Miličić

MM

6

Publications

405

Citations

6

H-Index

2005

Active since

Affiliations

Technische Universität Dresden(Current)

University of Liverpool

University of Manchester

Maja Miličić is an author at Technische Universität Dresden specializing in semantic web, formal methods, and automated reasoning.

Top concepts

Publications per year

2005–2011

6

Publications

6

Integrating description logics and action formalisms: first results

Franz Baader, Carsten Lutz, Maja Miličić et al. · 2005 · 164 citations

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

Carsten Lutz, Maja Miličić · Journal of Automated Reasoning · 2006 · 122 citations

, , +11

A Description Logic Based Approach to Reasoning about Web Services

Franz Baader, Carsten Lutz, Maja Miličić et al. · 2005 · 56 citations

Foundations of instance level updates in expressive description logics

Hongkai Liu, Carsten Lutz, Maja Miličić et al. · Artificial Intelligence · 2011 · 35 citations

, , +7

Planning in Action Formalisms based on DLs: First Results ?

Maja Miličić · 2007 · 15 citations

Rows per page

1–5 of 6