Benutzerbeiträge von „Irina Dragoste“

6. April 2022

• 11:0111:01, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 11:0011:00, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 10:5910:59, 6. Apr. 2022 Unterschied Versionen −2 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 10:5910:59, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 10:5810:58, 6. Apr. 2022 Unterschied Versionen +2 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 10:5710:57, 6. Apr. 2022 Unterschied Versionen 0 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung

4. April 2022

• 21:5721:57, 4. Apr. 2022 Unterschied Versionen +57 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 21:4821:48, 4. Apr. 2022 Unterschied Versionen −16 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 21:4821:48, 4. Apr. 2022 Unterschied Versionen +57 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 21:4321:43, 4. Apr. 2022 Unterschied Versionen +145 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 21:4221: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
• 21:3121:31, 4. Apr. 2022 Unterschied Versionen −10 Bytes‎ Inproceedings3309 ‎Keine Bearbeitungszusammenfassung
• 21:2821: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:2821: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

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

7. Oktober 2021

• 17:0517:05, 7. Okt. 2021 Unterschied Versionen +477 Bytes‎ VLog ‎Keine Bearbeitungszusammenfassung
• 17:0017:00, 7. Okt. 2021 Unterschied Versionen +548 Bytes‎ VLog ‎Keine Bearbeitungszusammenfassung

29. Juli 2021

• 13:3213:32, 29. Jul. 2021 Unterschied Versionen −4 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung aktuell
• 13:3213:32, 29. Jul. 2021 Unterschied Versionen −10 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung
• 13:2913:29, 29. Jul. 2021 Unterschied Versionen +4 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung
• 13:2813:28, 29. Jul. 2021 Unterschied Versionen +4 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung
• 13:2813:28, 29. Jul. 2021 Unterschied Versionen +6 Bytes‎ Seminar 29.07.2021 ‎Keine Bearbeitungszusammenfassung

10. November 2020

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

10. September 2020

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

• 21:5121: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

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

22. März 2020

• 14:4114: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:4014:40, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ N Datei:Tutorial-3.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 14:3714:37, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ N Datei:Tutorial-2.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 14:3514:35, 22. Mär. 2020 Unterschied Versionen 0 Bytes‎ N Datei:2020-kr-tutorial-proposal.pdf ‎Keine Bearbeitungszusammenfassung aktuell

20. Februar 2020

• 17:1217:12, 20. Feb. 2020 Unterschied Versionen 0 Bytes‎ Tracking False Information Online ‎Keine Bearbeitungszusammenfassung aktuell
• 17:0617:06, 20. Feb. 2020 Unterschied Versionen +21 Bytes‎ Tracking False Information Online ‎Keine Bearbeitungszusammenfassung

17. Februar 2020

• 10:1710: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:1710: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

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

28. Januar 2020

• 17:5217: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:5217: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

• 19:0319: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:0319: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:4114: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:4114: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

• 12:3612: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