Index of /papers

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]BlohmKroetzschCimiano_WIKIAI2008.pdf20-Mar-2012 14:42 323K 
[   ]GlimmKroetzsch_SPARQL-entailment_ISWC_2010.pdf20-Mar-2012 14:42 154K 
[   ]Kazakov-Kroetzsch-Simancik_EL-chain-reasoning_DL2011.pdf20-Mar-2012 14:42 444K 
[   ]Kazakov-Kroetzsch-Simancik_ELK-system-description_TR.pdf20-Mar-2012 14:42 636K 
[   ]Kazakov-Kroetzsch-Simancik_ELK-system-description_shortversion-2012.pdf20-Mar-2012 14:42 386K 
[   ]Kazakov-Kroetzsch-Simancik_concurrent-el-reasoning_ISWC2011.pdf20-Mar-2012 14:42 621K 
[   ]Kazakov-Kroetzsch-Simancik_concurrent-el-reasoning_TR2011.pdf20-Mar-2012 14:42 653K 
[   ]Kazakov-Kroetzsch-Simancik_el-nominal-reasoning_TR2011.pdf26-Apr-2012 13:06 261K 
[   ]Kroetzsch-Maier-Krishnadi-Hitzler_nominal-schemas_WWW_2011.pdf20-Mar-2012 14:42 231K 
[   ]Kroetzsch-Maier-Kriznadi-Hitzler_Nominal-schemas_DL2011.pdf20-Mar-2012 14:42 185K 
[   ]Kroetzsch-ul-Mehdi-Rudoplh_Orel-OWL-reasoner_DL2010.pdf20-Mar-2012 14:42 107K 
[   ]KroetzschHitzlerVrandecicSintek_RuleML2006.pdf20-Mar-2012 14:42 168K 
[   ]KroetzschMalik_GaloisConnectionsConceptLattice.pdf20-Mar-2012 14:42 161K 
[   ]KroetzschRudolphHitzler_DL_Rules_ECAI2008.pdf20-Mar-2012 14:42 88K 
[   ]KroetzschRudolphHitzler_ELP_TR_2008.pdf20-Mar-2012 14:42 222K 
[   ]KroetzschRudolphHitzler_ELquerying_ISWC2007.pdf20-Mar-2012 14:42 137K 
[   ]KroetzschRudolphHitzler_HornTR2007.pdf20-Mar-2012 14:42 213K 
[   ]KroetzschRudolphHitzler_ISWC2008a.pdf20-Mar-2012 14:42 131K 
[   ]KroetzschRudolphHitzler_OWLED2006.pdf20-Mar-2012 14:42 97K 
[   ]KroetzschRudolphHitzler_SROIQ-Rules_TR_2008.pdf20-Mar-2012 14:42 181K 
[   ]KroetzschRudolphSchmitt_DLP_2010.pdf20-Mar-2012 14:42 152K 
[   ]KroetzschRudolph_Directional_Rules_2011.pdf20-Mar-2012 14:42 144K 
[   ]KroetzschRudolph_ELquerying.pdf20-Mar-2012 14:42 141K 
[   ]KroetzschRudolph_Joint_Acyclicity_AIFB_TR_3011.pdf20-Mar-2012 14:42 179K 
[   ]KroetzschRudolph_Joint_Acyclicity_IJCAI_2011.pdf20-Mar-2012 14:42 124K 
[   ]KroetzschRudolph_MSO-Queries_2011.pdf20-Mar-2012 14:42 487K 
[   ]KroetzschRudolph_Maximising_DLP_TR.pdf20-Mar-2012 14:42 489K 
[   ]KroetzschRudolph_Maximising_DLP_workshop_version.pdf20-Mar-2012 14:42 112K 
[   ]KroetzschSpeiser_Self-referential-policies_ISWC_2011.pdf20-Mar-2012 14:42 189K 
[   ]KroetzschVrandecicVoelkelHaller_SemanticMediaWiki_2007.pdf20-Mar-2012 14:42 397K 
[   ]KroetzschVrandecicVoelkel_ISWC2006.pdf20-Mar-2012 14:42 156K 
[   ]Kroetzsch_Description-Logic-Rules_PhD_2010.pdf20-Mar-2012 14:42 2.2M 
[   ]Kroetzsch_Into-The-Wild_OpenAdvice-Chapter-3.pdf20-Mar-2012 14:42 30K 
[   ]Kroetzsch_OWL-EL-Reasoning_IJCAI_2011.pdf20-Mar-2012 14:42 135K 
[   ]Kroetzsch_OWL-EL-Reasoning_Jelia2010.pdf20-Mar-2012 14:42 188K 
[   ]Kroetzsch_OWL-EL-Reasoning_TR_2010.pdf20-Mar-2012 14:42 365K 
[   ]Kroetzsch_OWL_2_Profiles_Reasoning_Web_2012.pdf20-Mar-2012 14:42 498K 
[   ]Kroetzsch_TR-WV-04-02.pdf20-Mar-2012 14:42 287K 
[   ]Logik_und_Logikprogrammierung_Band_2_Aufgaben_und_Loesungen.pdf20-Mar-2012 14:42 430K 
[   ]RudolphKroetzschHitzer_DL-Concept-Product_TR_2008.pdf20-Mar-2012 14:42 150K 
[   ]RudophKroetzschHitzler_Datalog-SHIQ-Abox-OBDD_2008.pdf20-Mar-2012 14:42 150K 
[   ]SWKM-2008.pdf20-Mar-2012 14:42 4.3M 
[   ]Simancik-Motik-Kroetzsch_FPT-DL-decomposition_DL2011.pdf20-Mar-2012 14:42 156K 
[   ]Vrandecic_Kroetzsch_Rudolph_Loesch_Linked-Open-Numbers_RAFT2010.pdf20-Mar-2012 14:42 792K 
[   ]Vrandecic_Ratnakar_Kroetzsch_Gil_Shortipedia_SWC2010.pdf20-Mar-2012 14:42 848K 

Apache/2.2.16 (Debian) Server at korrekt.org Port 80