Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Preferential Query Answering in the Semantic Web with Possibilistic Networks + (07:56:07, 9 August 2016)
- Datei:Schneider-borchmann topological-entropy-of-formal-languages.pdf + (10:24:41, 16 August 2016)
- Datei:Topological-entroy-of-formal-languages.pdf + (10:28:37, 16 August 2016)
- Topological Entropy of Formal Languages + (10:28:47, 16 August 2016)
- Datei:Stegosaurus.pdf + (10:36:09, 16 August 2016)
- Some Experimental Results on Randomly Generating Formal Contexts + (10:36:50, 16 August 2016)
- Datei:JLC26(4) cover.gif + (08:49:52, 24 August 2016)
- Seminar Abstract Argumentation + (12:53:54, 25 August 2016)
- Formale Systeme + (13:31:57, 25 August 2016)
- On the Complexity of Universality for Partially Ordered NFAs + (19:43:27, 28 August 2016)
- Benutzer:Susann Gierth + (09:43:28, 29 August 2016)
- Learning Description Logic Ontologies via Queries + (12:59:41, 29 August 2016)
- Ontology Evolution trough Interaction + (14:25:55, 29 August 2016)
- Datei:NewCeLuPe.pdf + (08:32:55, 30 August 2016)
- Datei:Vlog-demo-iswc2016.mp4 + (08:41:24, 30 August 2016)
- Datei:VLog-demo-ISWC-2016.pdf + (09:09:45, 30 August 2016)
- Award1007 + (09:51:33, 30 August 2016)
- Award1001 + (11:49:40, 30 August 2016)
- Award1010 + (11:53:12, 30 August 2016)
- Award1012 + (12:10:13, 30 August 2016)
- Award1013 + (12:10:34, 30 August 2016)
- Award1018 + (12:11:11, 30 August 2016)
- Award1019 + (12:11:31, 30 August 2016)
- Award1020 + (12:12:03, 30 August 2016)
- Award1027 + (12:14:08, 30 August 2016)
- Vorlage:Award + (13:31:27, 30 August 2016)
- Datei:GagglM2016.pdf + (07:38:09, 31 August 2016)
- Datei:GagglRS2016a.pdf + (07:43:06, 31 August 2016)
- Award1024 + (04:50:31, 1 September 2016)
- Award1021 + (04:52:26, 1 September 2016)
- Fast Compression of Large Semantic Web Data using X10 + (08:05:57, 1 September 2016)
- Datei:2016-europar.pdf + (08:09:54, 1 September 2016)
- Efficient Large Outer Joins over MapReduce + (08:12:09, 1 September 2016)
- cfaed + (09:27:56, 2 September 2016)
- Datei:Cfaed.jpg + (09:34:57, 2 September 2016)
- Datei:Gaggl ThimmSSA2016.pdf + (06:55:51, 6 September 2016)
- Datei:Pdratchk.zip + (07:13:34, 7 September 2016)
- PDRAT + (07:16:56, 7 September 2016)
- Nominal Schemas in Description Logics: Complexities Clarified + (20:52:06, 13 September 2016)
- Datei:Plan-2016.pdf + (07:20:46, 14 September 2016)
- Datei:GagglLMW2016.pdf + (15:30:50, 15 September 2016)
- Datei:Lpnmr2013-paper.pdf + (06:27:47, 22 September 2016)
- Datei:Lpnmr2013-talk.pdf + (06:28:35, 22 September 2016)
- Experience Based Nonmonotonic Reasoning + (06:28:58, 22 September 2016)
- Datei:Paper-kcap2013.pdf + (06:31:23, 22 September 2016)
- Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data + (06:31:39, 22 September 2016)
- Datei:Dl2013-paper.pdf + (06:32:19, 22 September 2016)
- Datei:Dl2013-talk.pdf + (06:32:41, 22 September 2016)
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals + (06:32:55, 22 September 2016)
- What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts + (18:48:42, 23 September 2016)