Maja Miličić

From MaRDI portal
Revision as of 11:42, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:420808

Available identifiers

zbMath Open milicic.majaMaRDI QIDQ420808

List of research outcomes





PublicationDate of PublicationType
Foundations of instance level updates in expressive description logics2012-05-23Paper
Reasoning About Actions Using Description Logics with General TBoxes2008-10-30Paper
Complexity of Planning in Action Formalisms Based on Description Logics2008-05-15Paper
A tableau algorithm for description logics with concrete domains and general TBoxes2007-05-04Paper
Automated Reasoning with Analytic Tableaux and Related Methods2006-07-07Paper
https://portal.mardi4nfdi.de/entity/Q44514762004-02-26Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:420808&oldid=7829657"
Powered by MediaWiki