Benutzerbeiträge von „Irina Dragoste“
Aus International Center for Computational Logic
Ergebnisse für Irina Dragoste Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Eine Benutzerin mit 799 Bearbeitungen. Das Konto wurde am 1. Dezember 2016 erstellt.
6. April 2022
- 10:0110:01, 6. Apr. 2022 Unterschied Versionen 0 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 10:0010:00, 6. Apr. 2022 Unterschied Versionen 0 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 09:5909:59, 6. Apr. 2022 Unterschied Versionen −2 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 09:5909:59, 6. Apr. 2022 Unterschied Versionen 0 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 09:5809:58, 6. Apr. 2022 Unterschied Versionen +2 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 09:5709:57, 6. Apr. 2022 Unterschied Versionen 0 Inproceedings3309 Keine Bearbeitungszusammenfassung
4. April 2022
- 20:5720:57, 4. Apr. 2022 Unterschied Versionen +57 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 20:4820:48, 4. Apr. 2022 Unterschied Versionen −16 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 20:4820:48, 4. Apr. 2022 Unterschied Versionen +57 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 20:4320:43, 4. Apr. 2022 Unterschied Versionen +145 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 20:4220:42, 4. Apr. 2022 Unterschied Versionen 0 N Datei:Bromberger et al A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.pdf Keine Bearbeitungszusammenfassung aktuell
- 20:3120:31, 4. Apr. 2022 Unterschied Versionen −10 Inproceedings3309 Keine Bearbeitungszusammenfassung
- 20:2820:28, 4. Apr. 2022 Unterschied Versionen +31 N Inproceedings3309/en Page created automatically by parser function on page Inproceedings3309 aktuell Markierung: Neue Weiterleitung
- 20:2820:28, 4. Apr. 2022 Unterschied Versionen +2.392 N Inproceedings3309 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Bromberger |FurtherAuthors=Irina Dragoste; Rasha Faqeh; Christof Fetzer; Larry Gonz…“
25. Januar 2022
- 14:3114:31, 25. Jan. 2022 Unterschied Versionen +12 Wissensbasierte Systeme Keine Bearbeitungszusammenfassung
- 14:3114:31, 25. Jan. 2022 Unterschied Versionen +24 N Datei:Knowledge-Based Systems 2022-01-25.jpg new KBS group photo 2022 aktuell
- 07:1907:19, 25. Jan. 2022 Unterschied Versionen −12 Wissensbasierte Systeme Keine Bearbeitungszusammenfassung
- 07:1807:18, 25. Jan. 2022 Unterschied Versionen 0 N Datei:Group-logo-text-darker.png Keine Bearbeitungszusammenfassung aktuell
7. Oktober 2021
- 16:0516:05, 7. Okt. 2021 Unterschied Versionen +477 VLog Keine Bearbeitungszusammenfassung
- 16:0016:00, 7. Okt. 2021 Unterschied Versionen +548 VLog Keine Bearbeitungszusammenfassung
29. Juli 2021
- 12:3212:32, 29. Jul. 2021 Unterschied Versionen −4 Seminar 29.07.2021 Keine Bearbeitungszusammenfassung aktuell
- 12:3212:32, 29. Jul. 2021 Unterschied Versionen −10 Seminar 29.07.2021 Keine Bearbeitungszusammenfassung
- 12:2912:29, 29. Jul. 2021 Unterschied Versionen +4 Seminar 29.07.2021 Keine Bearbeitungszusammenfassung
- 12:2812:28, 29. Jul. 2021 Unterschied Versionen +4 Seminar 29.07.2021 Keine Bearbeitungszusammenfassung
- 12:2812:28, 29. Jul. 2021 Unterschied Versionen +6 Seminar 29.07.2021 Keine Bearbeitungszusammenfassung
10. November 2020
- 11:0911:09, 10. Nov. 2020 Unterschied Versionen −173 KBS Seminar Keine Bearbeitungszusammenfassung aktuell
10. September 2020
- 12:2012:20, 10. Sep. 2020 Unterschied Versionen +2 KBS Seminar Keine Bearbeitungszusammenfassung
- 12:1612:16, 10. Sep. 2020 Unterschied Versionen −9 Smoke Test Planning using Answer Set Programming Keine Bearbeitungszusammenfassung aktuell
- 12:1112:11, 10. Sep. 2020 Unterschied Versionen +48 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
- 12:1112:11, 10. Sep. 2020 Unterschied Versionen 0 K Research Seminar Logic and AI Irina Dragoste verschob die Seite Research Seminar Logic and AI (WS2020) nach Research Seminar Logic and AI
- 12:1112:11, 10. Sep. 2020 Unterschied Versionen +51 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
- 12:1112:11, 10. Sep. 2020 Unterschied Versionen 0 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
8. September 2020
- 20:5120:51, 8. Sep. 2020 Unterschied Versionen +16 N Test (WS2020)/en Page created automatically by parser function on page Test (WS2020) aktuell
9. Juli 2020
- 12:3412:34, 9. Jul. 2020 Unterschied Versionen −2 KBS Seminar Keine Bearbeitungszusammenfassung
22. März 2020
- 13:4113:41, 22. Mär. 2020 Unterschied Versionen 0 Datei:Tutorial4.pdf Irina Dragoste lud eine neue Version von Datei:Tutorial4.pdf hoch aktuell
- 13:4013:40, 22. Mär. 2020 Unterschied Versionen 0 N Datei:Tutorial-3.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:3713:37, 22. Mär. 2020 Unterschied Versionen 0 N Datei:Tutorial-2.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:3513:35, 22. Mär. 2020 Unterschied Versionen 0 N Datei:2020-kr-tutorial-proposal.pdf Keine Bearbeitungszusammenfassung aktuell
20. Februar 2020
- 16:1216:12, 20. Feb. 2020 Unterschied Versionen 0 Tracking False Information Online Keine Bearbeitungszusammenfassung aktuell
- 16:0616:06, 20. Feb. 2020 Unterschied Versionen +21 Tracking False Information Online Keine Bearbeitungszusammenfassung
17. Februar 2020
- 09:1709:17, 17. Feb. 2020 Unterschied Versionen +20 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
- 09:1709:17, 17. Feb. 2020 Unterschied Versionen +2.191 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
29. Januar 2020
- 09:4109:41, 29. Jan. 2020 Unterschied Versionen +26 Modeling Computational Properties of Description Logics in ASP Keine Bearbeitungszusammenfassung aktuell
28. Januar 2020
- 16:5216:52, 28. Jan. 2020 Unterschied Versionen +20 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
- 16:5216:52, 28. Jan. 2020 Unterschied Versionen +957 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…“
23. Januar 2020
- 18:0318:03, 23. Jan. 2020 Unterschied Versionen +20 N Tracking False Information Online/en Page created automatically by parser function on page Tracking False Information Online aktuell
- 18:0318:03, 23. Jan. 2020 Unterschied Versionen +1.196 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…“
- 13:4113:41, 23. Jan. 2020 Unterschied Versionen +20 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
- 13:4113:41, 23. Jan. 2020 Unterschied Versionen +1.238 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
8. Januar 2020
- 11:3611:36, 8. Jan. 2020 Unterschied Versionen +20 N Musings on the Semantics of SPARQL/en Page created automatically by parser function on page Musings on the Semantics of SPARQL aktuell