105 Infos zu Maja Milicic

3 Aktuelle Nachrichten

Return to Maja Milicic's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo! Research.

Orphanews Europe, the newsletter of the European Union Committee of Experts on Rare Diseases Orphanews Europe is supported by the European Commission's DG...

DL : 24th International Workshop on Description Logics

10 Profile in Sozialen Netzwerken

Sehen Sie sich das berufliche Profil von Maja Milicic Brandt (Deutschland) auf LinkedIn an. LinkedIn ist das weltweit größte professionelle Netzwerk, das Fach- und

1 Persönliche Webseiten

Analiza Maja Miličić imena na imenjak.com - statistika, značenje imena Maja i prezimena Miličić. Kontakti

1 Angaben zur Herkunft

Maja Milicic. MathSciNet. Dr. rer. nat. Technische Universität Dresden Germany. Dissertation: Action, Time and Space in Description Logics. Mathematics ...

1 Projekte

... Austia * Maja Milicic, TU Dresden, Germany * Markus Krötzsch, University of Karlsruhe, Germany * Meghyn Bienvenu, University of Bremen, ...

16 Bücher zum Namen

Author. Author page shows the information on a certain author. The page consists of ... Hongkai LIU, Carsten LUTZ, Maja MILICIC, Frank WOLTER: Updating Description Logic ABoxes.

This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX...

Heljanko Daniel M ́ery George Metcalfe Maja Milicic Andrea Orlandini Mario Ornaghi ...

Carsten Lutz and Maja Milicic, 'A tableau algorithm for description logics with concrete domains and general tboxes', Journal of Automated Reasoning, 38(1-3), ...

5 Dokumente

... UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, ...

Maja Milicic. Institute of Theoretical Computer Science. TU Dresden, Germany.

Planning in Action Formalisms based on DLs: First Results. Maja Milicic. Institut für Theoretische Informatik. TU Dresden, Germany .tu-dresden.de.

(2010). [3] Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, and Frank. Wolter, 'Integrating description logics and action formalisms: First re- sults', in Proc.

19 Wissenschaftliche Publikationen

A Tableau Algorithm for DLs with Concrete. Domains and GCIs. Carsten Lutz and Maja Milicic. Institute of Theoretical Computer Science. TU Dresden, Germany.

List of computer science publications by Maja Milicic Brandt

Bibliographic details on record conf/aime/BrandtRDA11

Maja Milicic Complexity of Planning in Action Formalisms Based on Description Logics Proceedings of the 14th International Conference on Logic for Programming, ...

5 Allgemeine Veröffentlichungen

Maja Milicic. From semanticweb.org.edu. Jump to: navigation, search. vCard Maja Milicic Affiliation: TU Dresden: Homepage: lat.inf.tu-dresden.de/~maja/ Phone:

Maja Milicic, Dresden, Germany; Boris Motik, Oxford, UK; Ralf Moeller, Hamburg, Germany; Bijan Parsia, Manchester, UK; Peter Patel-Schneider, Alcatel Lucent, USA;

A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Carsten Lutz and Maja Milicic. Journal of Automated Reasoning.

37 Webfunde aus dem Netz

largest business network, helping professionals like maja milicic discover inside  ...

Lesezeichen und Publikationen teilen - in blau!

This Pin was discovered by Maja Milicic. Discover (and save!) your own Pins on Pinterest.

Maja Milicic. Works at: Savez udruga - Hrvatski sabor kulture. "I ride because ..." I ride because: Cancel. Stats: All Time. All Time; 2018; May - Sept 2018;

Maja Milicic (1) Samir Milicic (1) Kate Milicic (1) Zvonimir Milicic (1) Jaksa Milicic (1) Janja Milicic (1) Jagoda Milicic (1) Zrinjko Milicic (1) Zuzana Milicic (1)

Workshop Proceedings DL2005

Workshop chair: Franz Baader, TU Dresden, Germany PC chair: ... Maja Milicic, Dresden, Germany Boris Motik, Oxford, UK Ralf Moeller, Hamburg, Germany

Action, Time and Space in Description Logics. Authors: Maja Milicic. Contributors: Informatik Technische Universität Dresden; Prof. Dr.-Ing. Franz Baader; Prof.

Description Logics 2011: Barcelona, Spain

Carsten Lutz, Maja Milicic: A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. J. Autom. Reasoning 38(1-3):

ENEMO announces start of its mission in Ukraine,News,Home

Liu, Carsten Lutz, Maja Milicic, Frank Wolter. ai, 175(18): , [doi] ...

Description Logics 2010: Waterloo, Canada

Makemeheal offers a large directory of plastic surgeons, cosmetic surgeons, dermatologists and other physicians. We offer reviews and ratings from actual...

Deutsche soldaten in afghanistan pro contra. Maja milicic biografija. Tornarem lax n busto youtube. Dell optiplex error code Arbeitsstellen ...

Dr maja milicic dermatolog. Ondes monochromatique definition. Thor x male reader deviantart. Apc computer ups dealers. 22 clinton avenue ...

Description Logics with Concrete Domains and Functional Dependencies: Carsten Lutz, Maja Milicic. pp · [PDF]. Efficient and Secure Collaborative ...

zone: Europe: London. Level. 2. Solved. 1. Total

... decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C... Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wol.

biljana126 објављено ... Erase X Report. Ko je dr Maja Milicic. Одговори на овај пост. ivana1 објављено ... Erase X Report. Pre 10 godina smo sina vodili kod ...