Search by property

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)