Most linked-to files
From International Center for Computational Logic
Showing below up to 50 results in range #1 to #50.
- Wikidata-SPARQL-queries-Bielefeldt-Gonsior-Kroetzsch-LDOW-2018.pdf Used on 33 pages
1,275 × 1,650, 10 pages; 719 KB
- Bromberger et al A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.pdf Used on 32 pages
1,239 × 1,752, 27 pages; 537 KB
- Temporally-Attributed-DLs-Ozaki-Kroetzsch-Rudolph-DL2018.pdf Used on 31 pages
1,239 × 1,752, 25 pages; 337 KB
- Complexity of Universality and Related Problems for Partially Ordered NFAs.pdf Used on 30 pages
1,239 × 1,754, 18 pages; 282 KB
- On the Complexity of Universality for Partially Ordered NFAs.pdf Used on 28 pages
1,239 × 1,752, 19 pages; 585 KB
- Marx-Kroetzsch-Thost-Logic-on-MARS-Ontologies-for-Generalised-Property-Graphs.pdf Used on 27 pages
1,275 × 1,650, 11 pages; 294 KB
- Wikidata-SPARQL-Invited-Talk-Kroetzsch-Wiki-Workshop-2018.pdf Used on 26 pages
1,654 × 929, 67 pages; 20.61 MB
- Masopust-Kroetzsch-ptNFA-Universality-Sofsem2018.pdf Used on 26 pages
1,275 × 1,650, 14 pages; 370 KB
- Bromberger-et-al-Datalog-simple-linear-arithmetic.pdf Used on 25 pages
1,239 × 1,752, 19 pages; 459 KB
- Tractable Query Answering for Expressive Ontologies and Existential Rules.pdf Used on 25 pages
1,275 × 1,650, 16 pages; 478 KB
- Ontologies-for-knowledge-graphs-kroetzsch-DL2017.pdf Used on 24 pages
1,239 × 1,752, 12 pages; 201 KB
- Ontology modelling Wikidata Markus Kroetzsch WOP2018.pdf Used on 23 pages
1,654 × 929, 61 pages; 9.8 MB