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
- Foundations of Logic Programming + (07:27:35, 30 January 2023)
- Datei:Screenshot from 2023-01-30 17-58-22.png + (16:58:53, 30 January 2023)
- M/EDGE + (16:59:38, 30 January 2023)
- Kati Domann + (14:16:45, 31 January 2023)
- InnoSale + (14:18:04, 31 January 2023)
- KIMEDS + (14:18:24, 31 January 2023)
- cfaed + (14:19:03, 31 January 2023)
- M/EDGE + (12:36:50, 1 February 2023)
- Pascal Kettmann + (18:24:57, 2 February 2023)
- Datei:Kg2022-mock-exam.pdf + (17:40:18, 7 February 2023)
- Datei:Kg2022-mock-exam-slides.pdf + (17:40:38, 7 February 2023)
- Multilinguality in Knowledge Graphs + (21:07:00, 8 February 2023)
- Datei:Photo 2023-02-01 01-33-37.jpg + (10:31:53, 9 February 2023)
- News85/en + (10:50:16, 9 February 2023)
- Theoretische Informatik und Logik + (10:05:21, 15 February 2023)
- Datei:Dresden Multilinguality in KGs 2023.pdf + (13:22:34, 16 February 2023)
- Aktivitaet2115 + (09:06:44, 17 February 2023)
- Aktivitaet2116 + (07:19:47, 20 February 2023)
- Aktivitaet2114 + (07:24:04, 20 February 2023)
- Datei:Gaggl-Hanisch-Kroetzsch ASP-with-sets IJCAI2022.pdf + (09:08:00, 20 February 2023)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (17:26:12, 21 February 2023)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (17:26:12, 21 February 2023)
- Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden. + (13:11:45, 26 February 2023)
- Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions + (13:14:25, 26 February 2023)
- Advanced Problem Solving and Search + (13:15:40, 28 February 2023)
- Aktivitaet2117 + (07:04:16, 1 March 2023)
- Concurrency Theory + (06:02:03, 2 March 2023)
- Concurrency Theory/en + (06:02:03, 2 March 2023)
- Models of Concurrent Systems + (06:03:00, 2 March 2023)
- Concurrency Theory + (06:16:53, 2 March 2023)
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (20:20:39, 3 March 2023)
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (20:20:39, 3 March 2023)
- Datei:AAAI2023-Gerlach-Carral.pdf + (06:48:36, 8 March 2023)
- Datei:AAAI2023-Gerlach-Carral-Slides.pdf + (06:49:47, 8 March 2023)
- Sylvia Wünsch + (05:44:46, 13 March 2023)
- Romy Thieme + (05:45:15, 13 March 2023)
- Relating Description Complexity to Entropy + (18:28:07, 13 March 2023)
- Relating Description Complexity to Entropy + (18:28:07, 13 March 2023)
- Algorithmic Game Theory + (08:37:13, 17 March 2023)
- Introduction to Existential Rules + (21:49:49, 19 March 2023)
- Seminar Logic-Based Knowledge Representation + (09:53:31, 20 March 2023)
- Static Program Analysis in Datalog + (11:21:31, 20 March 2023)
- Static Program Analysis in Datalog + (11:21:31, 20 March 2023)
- Database Theory + (14:44:25, 20 March 2023)
- Quotation in Formal Logics and the Web + (12:55:22, 23 March 2023)
- Adventures in Computer Science -- Grades 1 & 2 + (21:14:14, 27 March 2023)
- Adventures in Computer Science -- Grades 1 & 2 + (21:14:14, 27 March 2023)
- Theorem Proving with LEAN + (07:25:48, 3 April 2023)
- Raum APB E009 + (10:51:40, 3 April 2023)
- Room APB E009 + (10:51:40, 3 April 2023)
- International Center for Computational Logic + (06:55:14, 4 April 2023)
- Datei:DBT2023-Lecture-01-overlay.pdf + (07:04:39, 4 April 2023)