Letzte Änderungen
Aus International Center for Computational Logic
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
25. August 2026
|
|
12:12 | Inproceedings2598778905 4 Änderungen Versionsgeschichte +73 [Rajab Aghamov (4×)] | |||
|
|
12:12 (Aktuell | Vorherige) +21 Rajab Aghamov Diskussion Beiträge | ||||
|
|
12:11 (Aktuell | Vorherige) +25 Rajab Aghamov Diskussion Beiträge | ||||
|
|
12:11 (Aktuell | Vorherige) −17 Rajab Aghamov Diskussion Beiträge | ||||
|
|
11:58 (Aktuell | Vorherige) +44 Rajab Aghamov Diskussion Beiträge | ||||
|
|
12:11 | (Datei-Logbuch) [Rajab Aghamov (6×)] | |||
|
|
12:11 Rajab Aghamov Diskussion Beiträge lud Datei:Logo-2 (1) (1).jpg hoch | ||||
|
|
12:06 Rajab Aghamov Diskussion Beiträge lud Datei:Logo-2 (1).jpg hoch | ||||
|
|
11:58 Rajab Aghamov Diskussion Beiträge lud Datei:Logo-2.svg hoch | ||||
|
|
11:56 Rajab Aghamov Diskussion Beiträge lud Datei:Cover.svg hoch | ||||
|
|
11:29 Rajab Aghamov Diskussion Beiträge lud Datei:X1751570X.jpg hoch | ||||
|
|
11:12 Rajab Aghamov Diskussion Beiträge lud Datei:AAAI26Proceedings-Cover.jpg hoch | ||||
|
|
N 11:56 | Inproceedings3478 2 Änderungen Versionsgeschichte +2.060 [Rajab Aghamov (2×)] | |||
|
|
11:56 (Aktuell | Vorherige) +16 Rajab Aghamov Diskussion Beiträge | ||||
| N |
|
07:57 (Aktuell | Vorherige) +2.044 Rajab Aghamov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Model Checking Linear Temporal Logic with Standpoint Modalities |To appear=0 |Year=2025 |Booktitle=Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |Pages=2--11 |Publisher=I…“) | |||
|
|
N 11:53 | Article3125 3 Änderungen Versionsgeschichte +1.736 [Rajab Aghamov (3×)] | |||
|
|
11:53 (Aktuell | Vorherige) 0 Rajab Aghamov Diskussion Beiträge | ||||
|
|
11:38 (Aktuell | Vorherige) −43 Rajab Aghamov Diskussion Beiträge | ||||
| N |
|
11:35 (Aktuell | Vorherige) +1.779 Rajab Aghamov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer }} {{Article |Referiert=0 |Title=Linear dynamical systems, Formal verification, Linear recurrence sequences, Markov chains |To appear=0 |Year=2026 |Journal=Nonlinear Analysis: Hybrid Systems |Volume=60 |Pages=101680 |Publisher=Elsevier }} {{Publikation Details |Bild=X1751570X.jpg |Abstract=In di…“) | |||
|
|
N 11:52 | Inproceedings3480 2 Änderungen Versionsgeschichte +2.016 [Rajab Aghamov (2×)] | |||
|
|
11:52 (Aktuell | Vorherige) 0 Rajab Aghamov Diskussion Beiträge | ||||
| N |
|
11:52 (Aktuell | Vorherige) +2.016 Rajab Aghamov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Andrey Kudinov; Maik Nguyen; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=On Modal Logics of Full Products of Neighborhood Frames |To appear=0 |Year=2026 |Booktitle=Advances in Modal Logic |Publisher=College Publications |Volume=16 |Note=To appear }} {{Publikation Details |Abstract=On the product of two neighborhood frames, three natural neighborhoo…“) | |||
| 11:39 | Lösch-Logbuch Rajab Aghamov Diskussion Beiträge löschte die Seite Proceedings3030 (Inhalt war: „@inproceedings{KR2025-1, title = {{Model Checking Linear Temporal Logic with Standpoint Modalities}}, author = {Aghamov, Rajab and Baier, Christel and Karimov, Toghrul and Majumdar, Rupak and Ouaknine, Joël and Piribauer, Jakob and Spork, Timm}, booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Repres…“. Einziger Bearbeiter: Rajab Aghamov (Diskussion)) | ||||
| N 11:12 | Inproceedings3479 UnterschiedVersionen +1.989 Rajab Aghamov Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala; Isa Vialard }} {{Inproceedings |Referiert=1 |Title=Temporal Properties of Conditional Independence in Dynamic Bayesian Networks |To appear=0 |Year=2026 |Booktitle=Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26) |Pages=36601–36609 |Publisher=AAAI Press |Edit…“) | ||||
21. August 2026
|
|
21:33 | Seminar Selected Topics in Logic and Verification (WS2026) 5 Änderungen Versionsgeschichte +65 [Johannes Lehmann (5×)] | |||
|
|
21:33 (Aktuell | Vorherige) +4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:33 (Aktuell | Vorherige) +4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:25 (Aktuell | Vorherige) +28 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:11 (Aktuell | Vorherige) +1 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:05 (Aktuell | Vorherige) +28 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:33 | Seminar Games and Graphs (WS2026) 4 Änderungen Versionsgeschichte +37 [Johannes Lehmann (4×)] | |||
|
|
21:33 (Aktuell | Vorherige) +4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:33 (Aktuell | Vorherige) +4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:11 (Aktuell | Vorherige) +1 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:02 (Aktuell | Vorherige) +28 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:32 | Proseminar Theoretische Informatik (WS2026) 2 Änderungen Versionsgeschichte +32 [Johannes Lehmann (2×)] | |||
|
|
21:32 (Aktuell | Vorherige) +4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:01 (Aktuell | Vorherige) +28 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:31 | Proseminar Binäre Entscheidungsgraphen (WS2026) 3 Änderungen Versionsgeschichte +16 [Johannes Lehmann (3×)] | |||
|
|
21:31 (Aktuell | Vorherige) +4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:31 (Aktuell | Vorherige) −16 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:00 (Aktuell | Vorherige) +28 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:30 | Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) 4 Änderungen Versionsgeschichte +39 [Johannes Lehmann (4×)] | |||
|
|
21:30 (Aktuell | Vorherige) +28 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:29 (Aktuell | Vorherige) −4 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:28 (Aktuell | Vorherige) 0 Johannes Lehmann Diskussion Beiträge | ||||
|
|
07:58 (Aktuell | Vorherige) +15 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:28 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 Änderungen Versionsgeschichte +45 [Johannes Lehmann (3×)] | |||
|
|
21:28 (Aktuell | Vorherige) +2 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:28 (Aktuell | Vorherige) 0 Johannes Lehmann Diskussion Beiträge | ||||
|
|
07:55 (Aktuell | Vorherige) +43 Johannes Lehmann Diskussion Beiträge | ||||
| 21:28 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen 0 Johannes Lehmann Diskussion Beiträge | ||||
|
|
21:28 | Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) 2 Änderungen Versionsgeschichte +15 [Johannes Lehmann (2×)] | |||
|
|
21:28 (Aktuell | Vorherige) 0 Johannes Lehmann Diskussion Beiträge | ||||
|
|
08:00 (Aktuell | Vorherige) +15 Johannes Lehmann Diskussion Beiträge | ||||
| 21:25 | Lecture Modal Logic (WS2026) UnterschiedVersionen −8 Johannes Lehmann Diskussion Beiträge | ||||
| 21:24 | Lecture Model Checking (WS2026) UnterschiedVersionen +5 Johannes Lehmann Diskussion Beiträge | ||||
|
|
14:14 | TBA14 2 Änderungen Versionsgeschichte +2.000 [Meghna Bhadra (2×)] | |||
|
|
14:14 (Aktuell | Vorherige) +174 Meghna Bhadra Diskussion Beiträge | ||||
|
|
14:14 (Aktuell | Vorherige) +1.826 Meghna Bhadra Diskussion Beiträge | ||||
| N 08:17 | Inproceedings3477 UnterschiedVersionen +1.881 Nils Küchenmeister Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Dörthe Arndt; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Stratified Negation in RDF Rules: A Correct Approach |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) |Publisher=Springer |Editor=Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto J…“) | ||||
| 08:17 | Datei-Logbuch Nils Küchenmeister Diskussion Beiträge lud Datei:ISWC26-chain-stratification.pdf hoch | ||||
| 07:58 | Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) UnterschiedVersionen +45 Johannes Lehmann Diskussion Beiträge | ||||
_(1).jpg){kind=link}
.jpg){kind=link}
