Benutzerbeiträge von „Irina Dragoste“

6. April 2022

• 12:0112:01, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 12:0012:00, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 11:5911:59, 6. Apr. 2022 Unterschied Versionen −2 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 11:5911:59, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 11:5811:58, 6. Apr. 2022 Unterschied Versionen +2 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 11:5711:57, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung

4. April 2022

• 22:5722:57, 4. Apr. 2022 Unterschied Versionen +57 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 22:4822:48, 4. Apr. 2022 Unterschied Versionen −16 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 22:4822:48, 4. Apr. 2022 Unterschied Versionen +57 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 22:4322:43, 4. Apr. 2022 Unterschied Versionen +145 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 22:4222: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 ‎Keine Bearbeitungszusammenfassung aktuell
• 22:3122:31, 4. Apr. 2022 Unterschied Versionen −10 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 22:2822:28, 4. Apr. 2022 Unterschied Versionen +31 Bytes‎ N Inproceedings3309/en ‎ Page created automatically by parser function on page Inproceedings3309 aktuell Markierung: Neue Weiterleitung
• 22:2822: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…“

25. Januar 2022

• 16:3116:31, 25. Jan. 2022 Unterschied Versionen +12 Bytes‎ Wissensbasierte Systeme ‎Keine Bearbeitungszusammenfassung aktuell
• 16:3116:31, 25. Jan. 2022 Unterschied Versionen +24 Bytes‎ N Datei:Knowledge-Based Systems 2022-01-25.jpg ‎ new KBS group photo 2022 aktuell
• 09:1909:19, 25. Jan. 2022 Unterschied Versionen −12 Bytes‎ Wissensbasierte Systeme ‎Keine Bearbeitungszusammenfassung
• 09:1809:18, 25. Jan. 2022 Unterschied Versionen 0 Bytes‎ N Datei:Group-logo-text-darker.png ‎Keine Bearbeitungszusammenfassung aktuell

7. Oktober 2021

• 18:0518:05, 7. Okt. 2021 Unterschied Versionen +477 Bytes‎ VLog ‎Keine Bearbeitungszusammenfassung
• 18:0018:00, 7. Okt. 2021 Unterschied Versionen +548 Bytes‎ VLog ‎Keine Bearbeitungszusammenfassung

29. Juli 2021

• 14:3214:32, 29. Jul. 2021 Unterschied Versionen −4 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:3214:32, 29. Jul. 2021 Unterschied Versionen −10 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung
• 14:2914:29, 29. Jul. 2021 Unterschied Versionen +4 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung
• 14:2814:28, 29. Jul. 2021 Unterschied Versionen +4 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung
• 14:2814:28, 29. Jul. 2021 Unterschied Versionen +6 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung

10. November 2020

• 13:0913:09, 10. Nov. 2020 Unterschied Versionen −173 Bytes‎ KBS Seminar ‎Keine Bearbeitungszusammenfassung aktuell

10. September 2020

• 14:2014:20, 10. Sep. 2020 Unterschied Versionen +2 Bytes‎ KBS Seminar ‎Keine Bearbeitungszusammenfassung
• 14:1614:16, 10. Sep. 2020 Unterschied Versionen −9 Bytes‎ Smoke Test Planning using Answer Set Programming ‎Keine Bearbeitungszusammenfassung aktuell
• 14:1114: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
• 14:1114: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
• 14:1114: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
• 14:1114: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

8. September 2020

• 22:5122:51, 8. Sep. 2020 Unterschied Versionen +16 Bytes‎ N Test (WS2020)/en ‎ Page created automatically by parser function on page Test (WS2020) aktuell

9. Juli 2020

• 14:3414:34, 9. Jul. 2020 Unterschied Versionen −2 Bytes‎ KBS Seminar ‎Keine Bearbeitungszusammenfassung

22. März 2020

• 15:4115:41, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ Datei:Tutorial4.pdf ‎ Irina Dragoste lud eine neue Version von Datei:Tutorial4.pdf hoch aktuell
• 15:4015:40, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ N Datei:Tutorial-3.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 15:3715:37, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ N Datei:Tutorial-2.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 15:3515:35, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ N Datei:2020-kr-tutorial-proposal.pdf ‎Keine Bearbeitungszusammenfassung aktuell

20. Februar 2020

• 18:1218:12, 20. Feb. 2020 Unterschied Versionen 0 Bytes‎ Tracking False Information Online ‎Keine Bearbeitungszusammenfassung aktuell
• 18:0618:06, 20. Feb. 2020 Unterschied Versionen +21 Bytes‎ Tracking False Information Online ‎Keine Bearbeitungszusammenfassung

17. Februar 2020

• 11:1711: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
• 11:1711: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

29. Januar 2020

• 11:4111:41, 29. Jan. 2020 Unterschied Versionen +26 Bytes‎ Modeling Computational Properties of Description Logics in ASP ‎Keine Bearbeitungszusammenfassung aktuell

28. Januar 2020

• 18:5218: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
• 18:5218: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…“

23. Januar 2020

• 20:0320: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
• 20:0320: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…“
• 15:4115: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
• 15:4115: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

8. Januar 2020

• 13:3613: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