Maja Milicic Brandt

According to our database, Maja Milicic Brandt authored at least 17 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automated Verification of Measurement Precision for Internet-of-Things Equipment.

Mikkel H. Brynildsen, Maja Milicic Brandt, Johan W. Klüwer, Caitlin Woods, Melinda Hodkiewicz

Proceedings of the ISWC 2023 Posters, 2023

Towards Standardised Product Data Exchange with Information Modelling Framework at Siemens Energy.

Maja Milicic Brandt, Foivos Psarommatis, Christophe Simon, Arild Waaler, Baifan Zhou

Proceedings of the Second International Workshop on Semantic Industrial Information Modelling (SemIIM 2023) co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023

2019

A formal mapping between OPC UA and the Semantic Web.

Rainer Schiekofer, Stephan Grimm, Maja Milicic Brandt, Michael Weyrich

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

2011

Foundations of instance level updates in expressive description logics.

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

Artif. Intell., 2011

Mapping Orphanet Terminology to UMLS.

Maja Milicic Brandt, Ana Rath, Andrew Devereau, Ségolène Aymé

Proceedings of the Artificial Intelligence in Medicine, 2011

2008

Action, time and space in description logics.

Maja Milicic

PhD thesis, 2008

The Projection Problem for EL Actions.

Hongkai Liu, Carsten Lutz, Maja Milicic

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

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

Carsten Lutz, Maja Milicic

J. Autom. Reason., 2007

Complexity of Planning in Action Formalisms Based on Description Logics.

Maja Milicic

Proceedings of the Logic for Programming, 2007

Planning in Action Formalisms based on DLs: First Results.

Maja Milicic

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Updating Description Logic ABoxes.

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

Proceedings of the Proceedings, 2006

Reasoning About Actions Using Description Logics with General TBoxes.

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

DL Actions with GCIs: a Pragmatic Approach.

Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.

Carsten Lutz, Maja Milicic

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

A Tableau Algorithm for DLs with Concrete Domains and GCIs.

Carsten Lutz, Maja Milicic

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Integrating Description Logics and Action Formalisms: First Results.

Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter

Proceedings of the Proceedings, 2005

2004

Description Logics with Concrete Domains and Functional Dependencies.

Carsten Lutz, Maja Milicic

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004