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
- 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)
- Datei:Exercises01.pdf + (13. Oktober 2023, 15:47:33)
- Datei:FLP2023-02.pdf + (13. Oktober 2023, 19:29:40)
- Datei:Fkr-1-2024.pdf + (15. Oktober 2023, 18:56:20)
- Datei:Fkr-02-2024.pdf + (15. Oktober 2023, 18:56:41)
- Datei:FoSys23-Blatt02.pdf + (16. Oktober 2023, 06:05:37)
- Datei:CT23-sheet02.pdf + (16. Oktober 2023, 06:22:30)
- Datei:CT2023-Lecture-01-overlay.pdf + (16. Oktober 2023, 06:45:41)
- Datei:CT2023-Lecture-02-overlay.pdf + (16. Oktober 2023, 06:45:58)
- Datei:Exercises01b.pdf + (16. Oktober 2023, 11:48:52)
- Datei:CT2023-Lecture-03-print.pdf + (16. Oktober 2023, 11:57:14)
- Datei:CT2023-Lecture-03-overlay.pdf + (16. Oktober 2023, 11:57:32)
- Datei:PL and FOL Problems 23.pdf + (16. Oktober 2023, 13:18:05)
- Datei:KG2023-Lecture-01-overlay.pdf + (17. Oktober 2023, 05:40:59)
- Datei:KG2023-Lecture-02-overlay.pdf + (17. Oktober 2023, 05:41:07)
- Datei:CT2023-Lecture-04-print.pdf + (17. Oktober 2023, 12:23:41)
- Datei:CT2023-Lecture-04-overlay.pdf + (17. Oktober 2023, 12:23:49)
- Datei:Kg2023-exercise-02.pdf + (17. Oktober 2023, 16:46:56)
- Datei:Uebung RDF 2023.pdf + (19. Oktober 2023, 11:49:46)
- Datei:Uebung RDF2023.pdf + (19. Oktober 2023, 12:01:36)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (20. Oktober 2023, 11:28:07)
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying + (20. Oktober 2023, 11:43:17)
- Bartosz Bednarczyk wins the best student paper award at JELIA 2023. + (20. Oktober 2023, 11:53:21)
