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
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence + (15:17:20, 23 June 2023)
- Datei:AGT2023-09.pdf + (20:12:22, 23 June 2023)
- Datei:DBT2023-Lecture-17-overlay.pdf + (06:49:25, 26 June 2023)
- Datei:DBT2023-Lecture-18-overlay.pdf + (06:49:42, 26 June 2023)
- Dr. Sergei Obiedkov joins Knowledge Based System group + (12:52:01, 26 June 2023)
- Datei:AGT09 Problems.pdf + (16:11:56, 26 June 2023)
- Datei:CONCUR23-09-nets.pdf + (07:09:19, 27 June 2023)
- 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)