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:FS2023-Vorlesung-06-print.pdf + (13:40:23, 30 October 2023)
- Veröffentlichungen in 2024 + (09:01:34, 1 November 2023)
- Publications in 2024 + (09:02:10, 1 November 2023)
- Datei:FS2023-Vorlesung-07-overlay.pdf + (14:33:33, 2 November 2023)
- Datei:FS2023-Vorlesung-07-print.pdf + (14:34:06, 2 November 2023)
- Datei:Uebung4 2023.pdf + (17:53:01, 3 November 2023)
- Datei:FoSys23-Blatt04.pdf + (07:19:24, 6 November 2023)
- Datei:CT2023-Lecture-07-overlay.pdf + (07:21:36, 6 November 2023)
- Datei:CT2023-Lecture-07-print.pdf + (07:21:57, 6 November 2023)
- Datei:FS2023-Vorlesung-08-overlay.pdf + (09:20:45, 6 November 2023)
- Datei:FS2023-Vorlesung-08-print.pdf + (09:20:52, 6 November 2023)
- Datei:FoSys23-Blatt05.pdf + (12:20:57, 6 November 2023)
- Datei:CT23-sheet04.pdf + (13:35:34, 6 November 2023)
- Datei:CT2023-Lecture-08-overlay.pdf + (15:08:20, 6 November 2023)
- Datei:CT2023-Lecture-08-print.pdf + (15:08:47, 6 November 2023)
- Datei:FLP2023-05.pdf + (15:23:06, 6 November 2023)
- Abstract Domains for Database Manipulating Processes + (11:42:17, 7 November 2023)
- Abstract Domains for Database Manipulating Processes + (11:42:17, 7 November 2023)
- Datei:Kg2023-exercise-04.pdf + (16:20:39, 7 November 2023)
- Datei:Description Logic - Problems23.pdf + (09:07:30, 8 November 2023)
- Datei:Ai3 2023 cr manuscript.pdf + (10:49:26, 8 November 2023)
- Datei:Ai3 2023 talk.pdf + (10:49:55, 8 November 2023)
- Datei:FS2023-Vorlesung-09-overlay.pdf + (14:51:41, 9 November 2023)
- Datei:FS2023-Vorlesung-09-print.pdf + (14:51:47, 9 November 2023)
- Datei:Fkr-05-2024.pdf + (13:38:38, 12 November 2023)
- Datei:CT2023-Lecture-09-overlay.pdf + (07:48:57, 13 November 2023)
- Datei:CT2023-Lecture-09-print.pdf + (07:49:06, 13 November 2023)
- Datei:CT2023-Lecture-10-overlay.pdf + (07:49:25, 13 November 2023)
- 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)