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
- Datei:Dbt2023-exercise-11-slides.pdf + (15:13:50, 27 June 2023)
- Datei:Dbt2023-exercise-12.pdf + (15:15:20, 27 June 2023)
- Datei:AGT 09 Problems b.pdf + (11:26:59, 29 June 2023)
- Datei:ER-Rudolph-Lecture08.pdf + (02:49:16, 1 July 2023)
- Datei:ER-Lecture08.mkv + (05:28:39, 1 July 2023)
- Datei:AGT2023-10.pdf + (08:57:24, 3 July 2023)
- Welcome Rajab Aghamov + (11:09:55, 3 July 2023)
- Datei:AGT Problems 10.pdf + (19:20:51, 3 July 2023)
- Datei:2304.14323.pdf + (11:41:07, 4 July 2023)
- Datei:Dbt2023-exercise-12-slides.pdf + (15:58:29, 4 July 2023)
- Database Theory + (15:58:35, 4 July 2023)
- Datei:CONCUR23-10-pi-calculus.pdf + (08:06:42, 5 July 2023)
- Concurrency Theory + (08:06:53, 5 July 2023)
- Investigating the finite-cliquewidth-model property of C². + (07:32:33, 6 July 2023)
- Datei:AGT2023-06.pdf + (12:23:52, 7 July 2023)
- Datei:AGT2023-07.pdf + (12:35:13, 7 July 2023)
- Introduction to Existential Rules + (09:12:13, 9 July 2023)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (09:48:47, 10 July 2023)
- How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. + (19:21:35, 10 July 2023)
- Datei:BBE-JELIA2023.pdf + (20:31:18, 10 July 2023)
- Datei:Slides-nemo-iclp2023.pdf + (10:53:59, 11 July 2023)
- Nemo + (13:34:42, 11 July 2023)
- VLog + (14:01:52, 11 July 2023)
- Datei:BBE-JELIA2023-v1.pdf + (10:11:32, 12 July 2023)
- Datei:KR-2023-Submission-3571-Gerlach-Carral-Technical-Report.pdf + (07:01:09, 13 July 2023)
- Datei:SecondOrderConfidence.pdf + (14:01:51, 13 July 2023)
- Second-order Confidence in Supervaluationism + (14:02:13, 13 July 2023)
- Datei:Jelia2023-v2.pdf + (15:16:42, 13 July 2023)
- Datei:NestedSequentsQML.pdf + (14:23:42, 16 July 2023)
- Aktivitaet2120 + (11:59:51, 17 July 2023)
- Datei:Jelia23.pdf + (13:42:39, 17 July 2023)
- Datei:Jelia23LR.pdf + (13:45:10, 17 July 2023)
- Datei:BBE-JELIA23-FINAL.pdf + (10:36:26, 19 July 2023)
- Outstanding Success for ICCL: Eleven Accepted Papers at Major Conferences + (08:48:23, 21 July 2023)
- Datei:Stephan mennicke.jpg + (15:23:42, 21 July 2023)
- Datei:Vrandecic-Pintscher-Kroetzsch Wikidata-History-WWW-2023.pdf + (08:55:08, 24 July 2023)
- Wikidata: The Making Of + (09:03:33, 24 July 2023)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (17:24:59, 24 July 2023)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (17:24:59, 24 July 2023)
- Automated Reasoning Support for Standpoint-OWL 2 + (07:37:11, 1 August 2023)
- Datei:Kodis camera.pdf + (10:17:13, 4 August 2023)
- Datei:Xlokr-2023-ellmauthaler-gerlach-submission2105.pdf + (14:27:55, 8 August 2023)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (14:48:58, 8 August 2023)
- Datei:Filippo-De Bortoli.jpeg + (13:37:36, 14 August 2023)
- Filippo De Bortoli + (13:40:09, 14 August 2023)
- Datei:BGR2023.pdf + (13:37:58, 17 August 2023)
- Regelbasiertes Schließen + (10:01:34, 21 August 2023)
- Temporal reasoning with DatalogMTL + (10:20:32, 21 August 2023)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (10:41:47, 21 August 2023)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (10:41:47, 21 August 2023)
- Datei:L-UdrXJ98F4.jpg + (10:37:18, 23 August 2023)
