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:CT2023-Lecture-10-print.pdf + (07:49:32, 13 November 2023)
- Datei:FS2023-Vorlesung-10-overlay.pdf + (08:02:07, 13 November 2023)
- Datei:FS2023-Vorlesung-10-print.pdf + (08:02:14, 13 November 2023)
- Datei:FLP2023-06.pdf + (09:00:51, 13 November 2023)
- Datei:Ct23-sheet05.pdf + (16:56:01, 13 November 2023)
- Notation3 as an Existential Rule Language + (07:19:56, 14 November 2023)
- Notation3 as an Existential Rule Language + (07:19:56, 14 November 2023)
- Datei:Mk2022-complex-values.pdf + (09:44:22, 14 November 2023)
- Datei:2311.07233.pdf + (14:11:35, 14 November 2023)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (14:11:40, 14 November 2023)
- Datei:Kg2023-exercise-05.pdf + (16:14:38, 14 November 2023)
- Datei:FoSys23-Blatt06.pdf + (09:12:33, 15 November 2023)
- Theorem Proving with LEAN + (13:02:06, 15 November 2023)
- Datei:BBESRU2023JAIR-final.pdf + (08:44:51, 16 November 2023)
- Datei:FS2023-Vorlesung-11-overlay.pdf + (10:35:11, 16 November 2023)
- Datei:FS2023-Vorlesung-11-print.pdf + (10:35:17, 16 November 2023)
- Datei:Uebung5 2023.pdf + (17:13:09, 17 November 2023)
- Datei:Fkr-06-2024.pdf + (18:07:24, 19 November 2023)
- Datei:CT2023-Lecture-11-overlay.pdf + (07:15:19, 20 November 2023)
- Datei:CT2023-Lecture-11-print.pdf + (07:15:28, 20 November 2023)
- Datei:CT2023-Lecture-12-overlay.pdf + (07:15:36, 20 November 2023)
- Datei:CT2023-Lecture-12-print.pdf + (07:15:42, 20 November 2023)
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC + (08:10:35, 20 November 2023)
- Datei:FS2023-Vorlesung-12-overlay.pdf + (09:42:22, 20 November 2023)
- Datei:FS2023-Vorlesung-12-print.pdf + (09:42:29, 20 November 2023)
- Datei:FLP2023-07.pdf + (12:28:46, 20 November 2023)
- Datei:FoSys23-Blatt07.pdf + (08:08:21, 21 November 2023)
- Datei:Kg2023-exercise-06.pdf + (15:48:02, 21 November 2023)
- Datei:FS2023-Vorlesung-13-overlay.pdf + (12:00:56, 23 November 2023)
- Datei:FS2023-Vorlesung-13-print.pdf + (12:01:03, 23 November 2023)
- Datei:FLP2023-08.pdf + (18:10:16, 23 November 2023)
- Datei:CT2023-Lecture-13-gap-overlay.pdf + (09:31:10, 24 November 2023)
- Datei:CT2023-Lecture-13-gap-print.pdf + (09:31:30, 24 November 2023)
- Datei:CT2023-Lecture-14-ladner-overlay.pdf + (09:31:52, 24 November 2023)
- Datei:CT2023-Lecture-14-ladner-print.pdf + (09:32:09, 24 November 2023)
- Datei:Fkr-07-2024.pdf + (22:11:07, 25 November 2023)
- Datei:FS2023-Vorlesung-14-overlay.pdf + (09:14:44, 27 November 2023)
- Datei:FS2023-Vorlesung-14-print.pdf + (09:14:51, 27 November 2023)
- Datei:FoSys23-Blatt08.pdf + (16:14:39, 27 November 2023)
- Datei:FLP2023-09.pdf + (13:53:42, 28 November 2023)
- Datei:Kg2023-exercise-07.pdf + (15:56:47, 28 November 2023)
- Datei:FS2023-Vorlesung-15-overlay.pdf + (11:35:15, 30 November 2023)
- Datei:FS2023-Vorlesung-15-print.pdf + (11:35:21, 30 November 2023)
- Datei:CT2023-Lecture-15-overlay.pdf + (14:15:29, 30 November 2023)
- Datei:CT2023-Lecture-15-print.pdf + (14:16:46, 30 November 2023)
- Datei:CT2023-Lecture-16-overlay.pdf + (14:17:11, 30 November 2023)
- Datei:CT2023-Lecture-16-print.pdf + (14:17:17, 30 November 2023)
- Datei:CT23-sheet06.pdf + (14:19:01, 30 November 2023)
- Datei:Fkr-08-2024.pdf + (13:46:41, 3 December 2023)
- Datei:FS2023-Vorlesung-16-overlay.pdf + (12:46:18, 4 December 2023)
- Datei:FS2023-Vorlesung-16-print.pdf + (12:46:26, 4 December 2023)