1
0
0
News
DBLife: Maja Milicic News Archive
dblife.cs.wisc.edu
Return to Maja Milicic's Superhomepage. No news available. DBlife. Developed by the Database Group at the University of Wisconsin and Yahoo! Research.
Edition of 08 February Newsletter - OrphaNews - International
international.orphanews.org
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
www.wikicfp.com
DL : 24th International Workshop on Description Logics
Netzwerk-Profile
LinkedIn: Maja Milicic Brandt | LinkedIn
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
Private Homepages
Maja Miličić na imenjak.com
maja-milicic.imenjak.com
Analiza Maja Miličić imena na imenjak.com - statistika, značenje imena Maja i prezimena Miličić. Kontakti
Herkunft
Maja Milicic - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Maja Milicic. MathSciNet. Dr. rer. nat. Technische Universität Dresden Germany. Dissertation: Action, Time and Space in Description Logics. Mathematics ...
Projekte
HOL theorem-proving system / [Hol-info] CfP: 22nd International...
sourceforge.net
... Austia * Maja Milicic, TU Dresden, Germany * Markus Krötzsch, University of Karlsruhe, Germany * Meghyn Bienvenu, University of Bremen, ...
Bücher
oDOBS - Author page: Hongkai Liu
lupus.cs.uni-dortmund.de
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.
Automated Reasoning with Analytic Tableaux and Related Methods
books.google.de
This book constitutes the refereed proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX...
Automated Reasoning with Analytic Tableaux and Related Methods: 16th...
books.google.de
Heljanko Daniel M ́ery George Metcalfe Maja Milicic Andrea Orlandini Mario
Ornaghi ...
ECAI 2016: 22nd European Conference on Artificial ...
books.google.de
Carsten Lutz and Maja Milicic, 'A tableau algorithm for description logics with concrete domains and general tboxes', Journal of Automated Reasoning, 38(1-3), ...
Dokumente zum Namen
From rta2008 at risc.uni-linz.ac.at Fri Jan 4 14:20: From ...
lists.tcs.ifi.lmu.de
... UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, ...
A Tableau Algorithm for DLs with Concrete CEUR-WS.org
ceur-ws.org
Maja Milicic. Institute of Theoretical Computer Science. TU Dresden, Germany.
Planning in Action Formalisms based on DLs - CEUR Workshop ...
ceur-ws.org
Planning in Action Formalisms based on DLs: First Results. Maja Milicic. Institut für Theoretische Informatik. TU Dresden, Germany .tu-dresden.de.
Verifying CTL Properties of GOLOG Programs over Local ...
www.hybrid-reasoning.org
(2010). [3] Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, and Frank. Wolter, 'Integrating description logics and action formalisms: First re- sults', in Proc.
Wissenschaftliche Veröffentlichungen
A Tableau Algorithm for DLs with Concrete Domains and GCIs
ftp.informatik.rwth-aachen.de
A Tableau Algorithm for DLs with Concrete. Domains and GCIs. Carsten Lutz and Maja Milicic. Institute of Theoretical Computer Science. TU Dresden, Germany.
dblp: Maja Milicic Brandt
dblp.dagstuhl.de
List of computer science publications by Maja Milicic Brandt
dblp: record conf/aime/BrandtRDA11
dblp.uni-trier.de
Bibliographic details on record conf/aime/BrandtRDA11
Complexity of Planning in Action Formalisms Based on Description...
iccl.inf.tu-dresden.de
Maja Milicic Complexity of Planning in Action Formalisms Based on Description Logics Proceedings of the 14th International Conference on Logic for Programming, ...
Veröffentlichungen allgemein
Maja Milicic - semanticweb.org.edu
semanticweb.org
Maja Milicic. From semanticweb.org.edu. Jump to: navigation, search. vCard Maja Milicic Affiliation: TU Dresden: Homepage: lat.inf.tu-dresden.de/~maja/ Phone:
DL semanticweb.org.edu
semanticweb.org
Maja Milicic, Dresden, Germany; Boris Motik, Oxford, UK; Ralf Moeller, Hamburg, Germany; Bijan Parsia, Manchester, UK; Peter Patel-Schneider, Alcatel Lucent, USA;
Property Chains - OWL
www.w3.org
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes. Carsten Lutz and Maja Milicic. Journal of Automated Reasoning.
Sonstiges
maja milicic | LinkedIn
www.linkedin.com
largest business network, helping professionals like maja milicic discover inside
...
Home Page of Maja Milicic Brandt and Maja Milicic-Brandt and Maja...
www.bibsonomy.org
Lesezeichen und Publikationen teilen - in blau!
Pin by Maja Milicic on Kids | Rock crafts, Painted rocks, Rock ...
www.pinterest.de
This Pin was discovered by Maja Milicic. Discover (and save!) your own Pins on Pinterest.
User Profile : The World
www.lovetoride.net
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;
Milicic - Names Encyclopedia
www.namespedia.com
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)
DL2008 Workshop PC
dl.kr.org
Workshop chair: Franz Baader, TU Dresden, Germany PC chair: ... Maja Milicic, Dresden, Germany Boris Motik, Oxford, UK Ralf Moeller, Hamburg, Germany
Detailanzeige der Metadaten - Open Access Netzwerk (OAN)
oansuche.open-access.net
Action, Time and Space in Description Logics. Authors: Maja Milicic. Contributors: Informatik Technische Universität Dresden; Prof. Dr.-Ing. Franz Baader; Prof.
DBLP: Carsten Lutz
vldbarc.org
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
old.nrcu.gov.ua
ENEMO announces start of its mission in Ukraine,News,Home
Hongkai Liu - researchr alias
researchr.org
Liu, Carsten Lutz, Maja Milicic, Frank Wolter. ai, 175(18): , [doi] ...
Dr. Radmila Milicic, Review, Dermatologist, DoctorDirectory
www.makemeheal.com
Makemeheal offers a large directory of plastic surgeons, cosmetic surgeons, dermatologists and other physicians. We offer reviews and ratings from actual...
Die blaue prinzessin marco polo | Unterstützung
egyfyhyxiz.cf
Deutsche soldaten in afghanistan pro contra. Maja milicic biografija. Tornarem lax n busto youtube. Dell optiplex error code Arbeitsstellen ...
Dr surajit chatterjee kolkata west bengal :: Guss Ehrfürchtig
vivyqyjylu.gq
Dr maja milicic dermatolog. Ondes monochromatique definition. Thor x male reader deviantart. Apc computer ups dealers. 22 clinton avenue ...
ECAI Proceedings
www.frontiersinai.com
Description Logics with Concrete Domains and Functional Dependencies: Carsten Lutz, Maja Milicic. pp · [PDF]. Efficient and Secure Collaborative ...
Search Sciweavers | Sciweavers
www.sciweavers.org
... decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C... Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wol.
Ne vezano za HI ( admini brisite ako mislite da nije za ovde ...
mojadiskusija.online
biljana126 објављено ... Erase X Report. Ko je dr Maja Milicic. Одговори на овај пост. ivana1 објављено ... Erase X Report. Pre 10 godina smo sina vodili kod ...
Verwandte Suchanfragen zu Maja Milicic
Ulrike Sattler Ralf Moeller Thomas Meyer | Markus Krötzsch Franz Baader Pascal Hitzler | Carsten Lutz Stephan Tobies |
Personen Vorname "Maja" (6282) Name "Milicic" (54) |
sortiert nach Relevanz / Datum