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
- 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)
- Algorithmic Game Theory + (11:18:41, 24 August 2023)
- Formalizing "Formale Systeme" + (15:50:22, 25 August 2023)
- Formalizing "Formale Systeme" + (15:50:22, 25 August 2023)
- Datei:BMR-PODS2023-slides.pdf + (09:24:02, 29 August 2023)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (09:24:06, 29 August 2023)
- Datei:Georg Helm Preis Jahrgang 2022 1.jpg + (06:01:11, 1 September 2023)
- Philipp Hanisch erhält Georg-Helm-Preis + (06:01:50, 1 September 2023)
- Datei:Talk.pdf + (11:48:49, 2 September 2023)
- ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams + (11:49:14, 2 September 2023)
- ICCL feiert großen Erfolg mit elf angenommenen Beiträgen bei Top-Konferenzen + (09:53:02, 4 September 2023)
- Complexity Theory + (10:50:57, 4 September 2023)
- Formale Systeme + (14:00:03, 4 September 2023)
- Raum BAR/SCHÖ + (12:06:29, 5 September 2023)
- Room BAR/SCHÖ + (12:06:29, 5 September 2023)
- Datei:Gerlach-carral-kr-2023-talk.pdf + (12:25:08, 5 September 2023)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (12:25:13, 5 September 2023)
- Attribut:Ehemalige Forschungsgruppe + (07:19:27, 6 September 2023)
- Attribut:Externe Seite + (07:25:20, 6 September 2023)
- Vorlage:External Group Page + (07:47:58, 6 September 2023)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (11:12:05, 6 September 2023)
- Knowledge Graphs + (18:55:23, 6 September 2023)
- Raum SCH A252 + (07:44:15, 7 September 2023)
