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