Maja Miličić

Available identifiers

zbMath Open milicic.majaMaRDI QIDQ420808

List of research outcomes

Publication	Date of Publication	Type
Foundations of instance level updates in expressive description logics	2012-05-23	Paper
Reasoning About Actions Using Description Logics with General TBoxes	2008-10-30	Paper
Complexity of Planning in Action Formalisms Based on Description Logics	2008-05-15	Paper
A tableau algorithm for description logics with concrete domains and general TBoxes	2007-05-04	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4451476	2004-02-26	Paper

Research outcomes over time

This page was built for person: Maja Miličić