Benutzerbeiträge
Aus International Center for Computational Logic
(neueste | älteste) Zeige (nächste 50 | vorherige 50) (20 | 50 | 100 | 250 | 500)
- 10:16, 23. Okt. 2020 (Unterschied | Versionen) . . (+135 Bytes) . . Knowledge Graphs (WS2020) (aktuell)
- 10:02, 23. Okt. 2020 (Unterschied | Versionen) . . (+467 Bytes) . . Formale Systeme (WS2020) (aktuell)
- 09:42, 23. Okt. 2020 (Unterschied | Versionen) . . (+129 Bytes) . . Formale Systeme (WS2020)
- 09:39, 23. Okt. 2020 (Unterschied | Versionen) . . (+480 Bytes) . . Knowledge Graphs (WS2020)
- 09:34, 23. Okt. 2020 (Unterschied | Versionen) . . (+323 Bytes) . . Knowledge Graphs (WS2020)
- 07:45, 23. Okt. 2020 (Unterschied | Versionen) . . (-1 Byte) . . Stellenausschreibung19 (aktuell)
- 12:47, 17. Okt. 2020 (Unterschied | Versionen) . . (+190 Bytes) . . Formale Systeme (WS2020) (OPAL links)
- 10:50, 16. Okt. 2020 (Unterschied | Versionen) . . (+75 Bytes) . . Formale Systeme (WS2020)
- 16:42, 15. Okt. 2020 (Unterschied | Versionen) . . (+1.655 Bytes) . . Formale Systeme (WS2020)
- 16:32, 15. Okt. 2020 (Unterschied | Versionen) . . (+41 Bytes) . . N FS2020/en (Weiterleitung nach Formale Systeme (WS2020)/en erstellt) (aktuell) (Markierung: Neue Weiterleitung)
- 16:31, 15. Okt. 2020 (Unterschied | Versionen) . . (+38 Bytes) . . N FS2020 (Weiterleitung nach Formale Systeme (WS2020) erstellt) (aktuell) (Markierung: Neue Weiterleitung)
- 10:46, 5. Okt. 2020 (Unterschied | Versionen) . . (+6 Bytes) . . Formale Systeme (WS2020)
- 10:45, 5. Okt. 2020 (Unterschied | Versionen) . . (+265 Bytes) . . Formale Systeme (WS2020)
- 16:15, 29. Sep. 2020 (Unterschied | Versionen) . . (+6 Bytes) . . Inproceedings3212 (aktuell)
- 09:07, 24. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . Inproceedings3218 (aktuell)
- 09:06, 24. Sep. 2020 (Unterschied | Versionen) . . (-26 Bytes) . . Vorlage:Publikation Details (aktuell)
- 09:05, 24. Sep. 2020 (Unterschied | Versionen) . . (+238 Bytes) . . Inproceedings3218
- 10:30, 23. Sep. 2020 (Unterschied | Versionen) . . (+193 Bytes) . . N CPEC/Publication report CL/en (Die Seite wurde neu angelegt: „This page shows CPEC publications associated with CL for internal reporting purposes. {{Publication Report| Forschungsgruppe::Computat…“) (aktuell)
- 12:55, 19. Sep. 2020 (Unterschied | Versionen) . . (+199 Bytes) . . N CPEC/Publication report KBS/en (Die Seite wurde neu angelegt: „This page shows CPEC publications associated with KBS for internal reporting purposes. {{Publication Report| Forschungsgruppe::Wissen…“) (aktuell)
- 12:52, 19. Sep. 2020 (Unterschied | Versionen) . . (+49 Bytes) . . Vorlage:Publication Report (aktuell)
- 12:51, 19. Sep. 2020 (Unterschied | Versionen) . . (+9 Bytes) . . Vorlage:Annual Project Publication Query (aktuell)
- 11:32, 19. Sep. 2020 (Unterschied | Versionen) . . (-49 Bytes) . . Inproceedings3244 (aktuell)
- 11:28, 19. Sep. 2020 (Unterschied | Versionen) . . (+3 Bytes) . . Rules KR Tutorial 2020/en (aktuell)
- 11:27, 19. Sep. 2020 (Unterschied | Versionen) . . (+1.655 Bytes) . . Rules ECAI Tutorial 2020/en (aktuell)
- 11:24, 19. Sep. 2020 (Unterschied | Versionen) . . (+338 Bytes) . . Rules KR Tutorial 2020/en
- 11:20, 19. Sep. 2020 (Unterschied | Versionen) . . (+1.405 Bytes) . . Rules KR Tutorial 2020/en
- 16:58, 17. Sep. 2020 (Unterschied | Versionen) . . (+71 Bytes) . . Inproceedings3249 (aktuell)
- 10:27, 17. Sep. 2020 (Unterschied | Versionen) . . (+69 Bytes) . . Inproceedings3249
- 10:27, 17. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:Cores-for-existential-rules-Kroetzsch-KR2020 talk-slides.pdf (aktuell)
- 14:07, 16. Sep. 2020 (Unterschied | Versionen) . . (-2 Bytes) . . Stellenausschreibung19
- 14:06, 16. Sep. 2020 (Unterschied | Versionen) . . (-63 Bytes) . . Vorlage:Stellenausschreibung/en (aktuell)
- 14:06, 16. Sep. 2020 (Unterschied | Versionen) . . (+6 Bytes) . . Stellenausschreibung19/en (aktuell)
- 14:04, 16. Sep. 2020 (Unterschied | Versionen) . . (+63 Bytes) . . Vorlage:Stellenausschreibung/en
- 14:02, 16. Sep. 2020 (Unterschied | Versionen) . . (+6.570 Bytes) . . N Stellenausschreibung19 (Die Seite wurde neu angelegt: „{{StellenausschreibungModern |Title DE=Wissensch. Mitarbeiter/in: Künstliche Intelligenz |Title EN=Researcher (f/m/d): Artificial Intelligence |Beschreibung D…“)
- 14:02, 16. Sep. 2020 (Unterschied | Versionen) . . (+27 Bytes) . . N Stellenausschreibung19/en (Page created automatically by parser function on page Stellenausschreibung19)
- 17:43, 13. Sep. 2020 (Unterschied | Versionen) . . (+27 Bytes) . . Rules KR Tutorial 2020/en
- 14:40, 13. Sep. 2020 (Unterschied | Versionen) . . (+381 Bytes) . . Rules KR Tutorial 2020/en
- 14:39, 13. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:KR-2020-rules-tutorial.zip (aktuell)
- 14:04, 13. Sep. 2020 (Unterschied | Versionen) . . (+12 Bytes) . . Rules KR Tutorial 2020/en
- 14:02, 13. Sep. 2020 (Unterschied | Versionen) . . (+14 Bytes) . . Rules KR Tutorial 2020/en
- 14:02, 13. Sep. 2020 (Unterschied | Versionen) . . (+651 Bytes) . . Rules KR Tutorial 2020/en
- 13:59, 13. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:KR2020-P3-Rule-Reasoning-in-AI.pdf (aktuell)
- 13:59, 13. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:KR2020-P2-DatalogS-Reasoning.pdf (aktuell)
- 13:54, 13. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:KR2020-P1-Intro-EL-reasoning.pdf (aktuell)
- 10:59, 13. Sep. 2020 (Unterschied | Versionen) . . (+100 Bytes) . . Rules KR Tutorial 2020/en
- 20:07, 10. Sep. 2020 (Unterschied | Versionen) . . (+6 Bytes) . . Rules ECAI Tutorial 2020/en
- 10:44, 9. Sep. 2020 (Unterschied | Versionen) . . (+110 Bytes) . . Rules KR Tutorial 2020/en
- 10:43, 9. Sep. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:KR-2020-logo.jpg (aktuell)
- 10:41, 9. Sep. 2020 (Unterschied | Versionen) . . (+33 Bytes) . . Rules ECAI Tutorial 2020/en
- 10:38, 9. Sep. 2020 (Unterschied | Versionen) . . (+56 Bytes) . . Rules ECAI Tutorial 2020/en
(neueste | älteste) Zeige (nächste 50 | vorherige 50) (20 | 50 | 100 | 250 | 500)
