Benutzerbeiträge
Aus International Center for Computational Logic
Für Irina Dragoste Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
- 11:01, 6. Apr. 2022 Unterschied Versionen 0 Bytes Inproceedings3309
- 11:00, 6. Apr. 2022 Unterschied Versionen 0 Bytes Inproceedings3309
- 10:59, 6. Apr. 2022 Unterschied Versionen -2 Bytes Inproceedings3309
- 10:59, 6. Apr. 2022 Unterschied Versionen 0 Bytes Inproceedings3309
- 10:58, 6. Apr. 2022 Unterschied Versionen +2 Bytes Inproceedings3309
- 10:57, 6. Apr. 2022 Unterschied Versionen 0 Bytes Inproceedings3309
- 21:57, 4. Apr. 2022 Unterschied Versionen +57 Bytes Inproceedings3309
- 21:48, 4. Apr. 2022 Unterschied Versionen -16 Bytes Inproceedings3309
- 21:48, 4. Apr. 2022 Unterschied Versionen +57 Bytes Inproceedings3309
- 21:43, 4. Apr. 2022 Unterschied Versionen +145 Bytes Inproceedings3309
- 21:42, 4. Apr. 2022 Unterschied Versionen 0 Bytes N Datei:Bromberger et al A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.pdf aktuell
- 21:31, 4. Apr. 2022 Unterschied Versionen -10 Bytes Inproceedings3309
- 21:28, 4. Apr. 2022 Unterschied Versionen +31 Bytes N Inproceedings3309/en Page created automatically by parser function on page Inproceedings3309 aktuell Markierung: Neue Weiterleitung
- 21:28, 4. Apr. 2022 Unterschied Versionen +2.392 Bytes N Inproceedings3309 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Bromberger |FurtherAuthors=Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry Gonz…“
- 15:31, 25. Jan. 2022 Unterschied Versionen +12 Bytes Wissensbasierte Systeme aktuell
- 15:31, 25. Jan. 2022 Unterschied Versionen +24 Bytes N Datei:Knowledge-Based Systems 2022-01-25.jpg new KBS group photo 2022 aktuell
- 08:19, 25. Jan. 2022 Unterschied Versionen -12 Bytes Wissensbasierte Systeme
- 08:18, 25. Jan. 2022 Unterschied Versionen 0 Bytes N Datei:Group-logo-text-darker.png aktuell
- 17:05, 7. Okt. 2021 Unterschied Versionen +477 Bytes VLog
- 17:00, 7. Okt. 2021 Unterschied Versionen +548 Bytes VLog
- 13:32, 29. Jul. 2021 Unterschied Versionen -4 Bytes Seminar 29.07.2021 aktuell
- 13:32, 29. Jul. 2021 Unterschied Versionen -10 Bytes Seminar 29.07.2021
- 13:29, 29. Jul. 2021 Unterschied Versionen +4 Bytes Seminar 29.07.2021
- 13:28, 29. Jul. 2021 Unterschied Versionen +4 Bytes Seminar 29.07.2021
- 13:28, 29. Jul. 2021 Unterschied Versionen +6 Bytes Seminar 29.07.2021
- 12:09, 10. Nov. 2020 Unterschied Versionen -173 Bytes KBS Seminar aktuell
- 13:20, 10. Sep. 2020 Unterschied Versionen +2 Bytes KBS Seminar
- 13:16, 10. Sep. 2020 Unterschied Versionen -9 Bytes Smoke Test Planning using Answer Set Programming aktuell
- 13:11, 10. Sep. 2020 Unterschied Versionen +48 Bytes N Research Seminar Logic and AI (WS2020) Irina Dragoste verschob die Seite Research Seminar Logic and AI (WS2020) nach Research Seminar Logic and AI aktuell Markierung: Neue Weiterleitung
- 13:11, 10. Sep. 2020 Unterschied Versionen 0 Bytes K Research Seminar Logic and AI Irina Dragoste verschob die Seite Research Seminar Logic and AI (WS2020) nach Research Seminar Logic and AI
- 13:11, 10. Sep. 2020 Unterschied Versionen +51 Bytes N Research Seminar Logic and AI (WS2020)/en Irina Dragoste verschob die Seite Research Seminar Logic and AI (WS2020)/en nach Research Seminar Logic and AI/en aktuell Markierung: Neue Weiterleitung
- 13:11, 10. Sep. 2020 Unterschied Versionen 0 Bytes K Research Seminar Logic and AI/en Irina Dragoste verschob die Seite Research Seminar Logic and AI (WS2020)/en nach Research Seminar Logic and AI/en
- 21:51, 8. Sep. 2020 Unterschied Versionen +16 Bytes N Test (WS2020)/en Page created automatically by parser function on page Test (WS2020) aktuell
- 13:34, 9. Jul. 2020 Unterschied Versionen -2 Bytes KBS Seminar
- 14:41, 22. Mär. 2020 Unterschied Versionen 0 Bytes Datei:Tutorial4.pdf Irina Dragoste lud eine neue Version von Datei:Tutorial4.pdf hoch aktuell
- 14:40, 22. Mär. 2020 Unterschied Versionen 0 Bytes N Datei:Tutorial-3.pdf aktuell
- 14:37, 22. Mär. 2020 Unterschied Versionen 0 Bytes N Datei:Tutorial-2.pdf aktuell
- 14:35, 22. Mär. 2020 Unterschied Versionen 0 Bytes N Datei:2020-kr-tutorial-proposal.pdf aktuell
- 17:12, 20. Feb. 2020 Unterschied Versionen 0 Bytes Tracking False Information Online aktuell
- 17:06, 20. Feb. 2020 Unterschied Versionen +21 Bytes Tracking False Information Online
- 10:17, 17. Feb. 2020 Unterschied Versionen +20 Bytes N A Distributed Blockchain Model of Selfish Mining/en Page created automatically by parser function on page A Distributed Blockchain Model of Selfish Mining aktuell
- 10:17, 17. Feb. 2020 Unterschied Versionen +2.191 Bytes N A Distributed Blockchain Model of Selfish Mining Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Distributed Blockchain Model of Selfish Mining |Beschreibung EN=Abstract: Bitcoin is currently still the most widely used cryptoc…“ aktuell
- 10:41, 29. Jan. 2020 Unterschied Versionen +26 Bytes Modeling Computational Properties of Description Logics in ASP aktuell
- 17:52, 28. Jan. 2020 Unterschied Versionen +20 Bytes N Modeling Computational Properties of Description Logics in ASP/en Page created automatically by parser function on page Modeling Computational Properties of Description Logics in ASP aktuell
- 17:52, 28. Jan. 2020 Unterschied Versionen +957 Bytes N Modeling Computational Properties of Description Logics in ASP Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Modeling Computational Properties of Description Logics in ASP |Beschreibung EN=Tracking the increasing volume of research about Desc…“
- 19:03, 23. Jan. 2020 Unterschied Versionen +20 Bytes N Tracking False Information Online/en Page created automatically by parser function on page Tracking False Information Online aktuell
- 19:03, 23. Jan. 2020 Unterschied Versionen +1.196 Bytes N Tracking False Information Online Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Tracking False Information Online |Beschreibung EN=Digital media enables fast sharing of information and discussions among users. Whi…“
- 14:41, 23. Jan. 2020 Unterschied Versionen +20 Bytes N Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain/en Page created automatically by parser function on page Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain aktuell
- 14:41, 23. Jan. 2020 Unterschied Versionen +1.238 Bytes N Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Knowledge Graph Curation and Reasoning using the Example of the Scholarly Domain |Beschreibung EN=Knowledge graphs allow organisation…“ aktuell
- 12:36, 8. Jan. 2020 Unterschied Versionen +20 Bytes N Musings on the Semantics of SPARQL/en Page created automatically by parser function on page Musings on the Semantics of SPARQL aktuell