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
- Abschlussarbeiten betreut durch [[Dörthe Arndt]] + (10. Dezember 2020, 12:58:31)
- Datei:FS2020-Vorlesung-14-overlay.pdf + (10. Dezember 2020, 22:03:03)
- Datei:PSSAI-T4.pdf + (11. Dezember 2020, 06:45:11)
- Research Associate (TV-L E13) Knowledge-Aware Computing + (11. Dezember 2020, 12:19:36)
- Research Associate (TV-L E13) Knowledge-Aware Computing + (11. Dezember 2020, 12:33:30)
- Dagmar Gromann + (11. Dezember 2020, 14:55:38)
- Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit + (11. Dezember 2020, 16:32:29)
- Datei:KRR-lecture-8.pdf + (13. Dezember 2020, 13:57:06)
- Datei:PSSAI-L6-2-sound.mp4 + (13. Dezember 2020, 14:49:43)
- Datei:8-Declarative-Interpretation-Negation.mkv + (13. Dezember 2020, 22:48:45)
- Datei:FCT-WS2020-Lecture-Video-11-Print.pdf + (14. Dezember 2020, 17:09:33)
- Datei:FCT-WS2020-Lecture-Video-11.pdf + (14. Dezember 2020, 17:10:02)
- Datei:NMR 2 - Problems.pdf + (14. Dezember 2020, 17:58:39)
- Datei:FS2020-Vorlesung-15-overlay.pdf + (14. Dezember 2020, 22:55:22)
- Integration and Evaluation of an ASP-Solver as an Alternative Reasoning Backend in the Rulewerk Toolkit + (16. Dezember 2020, 07:05:40)
- Datei:PSSAI-L7.pdf + (17. Dezember 2020, 12:17:46)
- Datei:PSSAI-L7-1.mp4 + (17. Dezember 2020, 12:20:12)
- Datei:PSSAI-L7-2.mp4 + (17. Dezember 2020, 12:40:44)
- New Member: Tim Lyon + (17. Dezember 2020, 15:01:38)
- Neuer Mitarbeiter: Jonas Karge + (17. Dezember 2020, 15:16:44)
- New Member: Jonas Karge + (17. Dezember 2020, 15:16:44)
- Neuer Mitarbeiter: Tim Lyon + (17. Dezember 2020, 16:03:52)
- Datei:FS20-uebung-08.pdf + (17. Dezember 2020, 17:51:51)
- Datei:FS2020-Vorlesung-16-overlay.pdf + (17. Dezember 2020, 19:04:54)
- Datei:PicNew.jpg + (18. Dezember 2020, 13:37:53)
- Aktivitaet2072 + (21. Dezember 2020, 08:15:33)
- Datei:KG2020-Lecture-08-overlay.pdf + (21. Dezember 2020, 11:20:22)
- Datei:ALCHIQ-to-disjunctive-existential-rules IJCAI2020 slides.pdf + (23. Dezember 2020, 14:50:01)
- Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules + (23. Dezember 2020, 14:50:15)
- Datei:Main reviews third round withHighlighing-1.pdf + (23. Dezember 2020, 19:50:49)
- Datei:0167739X.jpg + (23. Dezember 2020, 19:52:51)
- Datei:FCT-WS2020-Lecture-Video-10.mkv + (28. Dezember 2020, 11:55:11)
- Datei:Space-hierarchy-gap-print.pdf + (30. Dezember 2020, 10:52:23)
- Datei:Space-hierarchy-gap-slides.pdf + (30. Dezember 2020, 10:52:33)
- Datei:Space-hierarchy-gap-video.mkv + (30. Dezember 2020, 10:55:37)
- Datei:GagglRS2021-JAIR.pdf + (30. Dezember 2020, 20:33:50)
- Datei:JAIR-cover.png + (30. Dezember 2020, 20:39:14)
- Datei:Ladner-print.pdf + (31. Dezember 2020, 11:39:30)
- Datei:Ladner-slides.pdf + (31. Dezember 2020, 11:39:40)
- Datei:Ladner-video.mkv + (31. Dezember 2020, 11:41:56)
- Datei:Ladner-bgs-print.pdf + (31. Dezember 2020, 18:52:54)
- Datei:Ladner-bgs-slides.pdf + (31. Dezember 2020, 18:53:09)
- Datei:Ladner-bgs.mkv + (31. Dezember 2020, 18:56:29)
- Datei:Alternation-print.pdf + (1. Januar 2021, 15:49:29)
- Datei:Alternation-slides.pdf + (1. Januar 2021, 15:49:38)
- Datei:Alternation-video.mkv + (1. Januar 2021, 15:52:41)
- Datei:Poly-hierarchy-print.pdf + (1. Januar 2021, 17:02:50)
- Datei:Poly-hierarchy-slides.pdf + (1. Januar 2021, 17:03:00)
- Datei:Poly-hierarchy-video.mkv + (1. Januar 2021, 17:05:10)
- Datei:Circuits-print.pdf + (1. Januar 2021, 17:12:31)
- Datei:Circuits-slides.pdf + (1. Januar 2021, 17:12:55)