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
- ICCL veranstaltet JELIA 2023 + (13:33:24, 13 September 2023)
- Temporal reasoning with DatalogMTL + (13:09:21, 18 September 2023)
- Datei:Kodis Talk Bins.pdf + (11:40:32, 22 September 2023)
- Datei:KoDis23 paper bins.pdf + (11:41:32, 22 September 2023)
- Datei:LR-JELIA23-talk.pdf + (15:03:15, 23 September 2023)
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets + (15:14:21, 23 September 2023)
- Datei:BBE-SR-JAIR2023.pdf + (18:20:17, 24 September 2023)
- Foundations of Logic Programming + (09:26:33, 25 September 2023)
- Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features + (06:36:39, 29 September 2023)
- Foundations of Knowledge Representation + (12:14:31, 2 October 2023)
- Knowledge graphs: description, validation and subsetting + (14:07:12, 2 October 2023)
- Knowledge graphs: description, validation and subsetting + (14:07:12, 2 October 2023)
- Introduction to Formal Concept Analysis + (15:33:31, 3 October 2023)
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics + (10:10:47, 4 October 2023)
- Standpoint Linear Temporal Logic + (10:13:27, 4 October 2023)
- Datei:Talk - Lyon.pdf + (10:22:18, 4 October 2023)
- Nested Sequents for Quantified Modal Logics + (10:22:28, 4 October 2023)
- Datei:KR 2023 Short Paper Talk - Lyon.pdf + (10:23:14, 4 October 2023)
- Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules + (10:23:41, 4 October 2023)
- Advanced Problem Solving and Search + (10:52:14, 4 October 2023)
- Raum SCH/A215 + (12:36:43, 4 October 2023)
- Room SCH/A215 + (12:36:43, 4 October 2023)
- Raum BAR0E85 + (12:40:16, 4 October 2023)
- Room BAR0E85 + (12:40:16, 4 October 2023)
- Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings + (13:36:26, 4 October 2023)
- Foundations of Semantic Web Technologies + (13:36:36, 4 October 2023)
- Datei:Flex-iccma-descrip.pdf + (06:36:41, 5 October 2023)
- flexABle – System Description for ICCMA 2023 + (06:39:28, 5 October 2023)
- Datei:Ruleml2023-distinguished-paper-award.jpg + (14:16:01, 5 October 2023)
- ICCL Researchers received the Distinguished Paper Award at RuleML+RR 2023 + (14:16:12, 5 October 2023)
- Christian Alrabbaa + (14:24:12, 5 October 2023)
- ICCL-Forschende mit Distinguished Paper Award geehrt + (06:53:30, 6 October 2023)
- Raum APB 1004 + (13:28:53, 6 October 2023)
- Room APB 1004 + (13:28:53, 6 October 2023)
- Datei:00 organization 2324.pdf + (11:42:34, 8 October 2023)
- Datei:01 concept lattices.pdf + (11:49:11, 8 October 2023)
- Datei:FS2023-Vorlesung-02-overlay.pdf + (17:17:36, 8 October 2023)
- Datei:FLP2023-01.pdf + (07:14:07, 9 October 2023)
- Datei:CT23-sheet01.pdf + (08:25:17, 9 October 2023)
- Room REC 118 + (08:37:46, 9 October 2023)
- Raum REC C118 + (08:40:42, 9 October 2023)
- Room REC C118 + (08:40:42, 9 October 2023)
- Datei:FS2023-Vorlesung-01-overlay.pdf + (13:14:16, 9 October 2023)
- Raum APB E010 + (15:22:40, 9 October 2023)
- Room APB E010 + (15:22:40, 9 October 2023)
- Datei:CT2023-Lecture-01-print.pdf + (09:28:13, 10 October 2023)
- Datei:CT2023-Lecture-02-print.pdf + (09:28:24, 10 October 2023)
- Theorem Proving with LEAN + (13:06:24, 10 October 2023)
- Datei:Kg2023-exercise-01.pdf + (00:10:12, 11 October 2023)
- Datei:FoSys23-Blatt01.pdf + (10:22:30, 11 October 2023)
- Vorlage:ProjektModule + (07:24:41, 12 October 2023)