Recent changes
From International Center for Computational Logic
Track the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
25 August 2026
|
|
12:12 | Inproceedings2598778905 4 changes history +73 [Rajab Aghamov (4×)] | |||
|
|
12:12 (cur | prev) +21 Rajab Aghamov talk contribs | ||||
|
|
12:11 (cur | prev) +25 Rajab Aghamov talk contribs | ||||
|
|
12:11 (cur | prev) −17 Rajab Aghamov talk contribs | ||||
|
|
11:58 (cur | prev) +44 Rajab Aghamov talk contribs | ||||
|
|
12:11 | (Upload log) [Rajab Aghamov (6×)] | |||
|
|
12:11 Rajab Aghamov talk contribs uploaded Datei:Logo-2 (1) (1).jpg | ||||
|
|
12:06 Rajab Aghamov talk contribs uploaded Datei:Logo-2 (1).jpg | ||||
|
|
11:58 Rajab Aghamov talk contribs uploaded Datei:Logo-2.svg | ||||
|
|
11:56 Rajab Aghamov talk contribs uploaded Datei:Cover.svg | ||||
|
|
11:29 Rajab Aghamov talk contribs uploaded Datei:X1751570X.jpg | ||||
|
|
11:12 Rajab Aghamov talk contribs uploaded Datei:AAAI26Proceedings-Cover.jpg | ||||
|
|
N 11:56 | Inproceedings3478 2 changes history +2,060 [Rajab Aghamov (2×)] | |||
|
|
11:56 (cur | prev) +16 Rajab Aghamov talk contribs | ||||
| N |
|
07:57 (cur | prev) +2,044 Rajab Aghamov talk contribs (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 changes history +1,736 [Rajab Aghamov (3×)] | |||
|
|
11:53 (cur | prev) 0 Rajab Aghamov talk contribs | ||||
|
|
11:38 (cur | prev) −43 Rajab Aghamov talk contribs | ||||
| N |
|
11:35 (cur | prev) +1,779 Rajab Aghamov talk contribs (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 changes history +2,016 [Rajab Aghamov (2×)] | |||
|
|
11:52 (cur | prev) 0 Rajab Aghamov talk contribs | ||||
| N |
|
11:52 (cur | prev) +2,016 Rajab Aghamov talk contribs (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 | Deletion log Rajab Aghamov talk contribs deleted page 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 diffhist +1,989 Rajab Aghamov talk contribs (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 changes history +65 [Johannes Lehmann (5×)] | |||
|
|
21:33 (cur | prev) +4 Johannes Lehmann talk contribs | ||||
|
|
21:33 (cur | prev) +4 Johannes Lehmann talk contribs | ||||
|
|
08:25 (cur | prev) +28 Johannes Lehmann talk contribs | ||||
|
|
08:11 (cur | prev) +1 Johannes Lehmann talk contribs | ||||
|
|
08:05 (cur | prev) +28 Johannes Lehmann talk contribs | ||||
|
|
21:33 | Seminar Games and Graphs (WS2026) 4 changes history +37 [Johannes Lehmann (4×)] | |||
|
|
21:33 (cur | prev) +4 Johannes Lehmann talk contribs | ||||
|
|
21:33 (cur | prev) +4 Johannes Lehmann talk contribs | ||||
|
|
08:11 (cur | prev) +1 Johannes Lehmann talk contribs | ||||
|
|
08:02 (cur | prev) +28 Johannes Lehmann talk contribs | ||||
|
|
21:32 | Proseminar Theoretische Informatik (WS2026) 2 changes history +32 [Johannes Lehmann (2×)] | |||
|
|
21:32 (cur | prev) +4 Johannes Lehmann talk contribs | ||||
|
|
08:01 (cur | prev) +28 Johannes Lehmann talk contribs | ||||
|
|
21:31 | Proseminar Binäre Entscheidungsgraphen (WS2026) 3 changes history +16 [Johannes Lehmann (3×)] | |||
|
|
21:31 (cur | prev) +4 Johannes Lehmann talk contribs | ||||
|
|
21:31 (cur | prev) −16 Johannes Lehmann talk contribs | ||||
|
|
08:00 (cur | prev) +28 Johannes Lehmann talk contribs | ||||
|
|
21:30 | Forschungsprojekt Algebraische und logische Grundlagen der Informatik (WS2026) 4 changes history +39 [Johannes Lehmann (4×)] | |||
|
|
21:30 (cur | prev) +28 Johannes Lehmann talk contribs | ||||
|
|
21:29 (cur | prev) −4 Johannes Lehmann talk contribs | ||||
|
|
21:28 (cur | prev) 0 Johannes Lehmann talk contribs | ||||
|
|
07:58 (cur | prev) +15 Johannes Lehmann talk contribs | ||||
|
|
21:28 | Belegseminar Algebraische und logische Grundlagen der Informatik (WS2026) 3 changes history +45 [Johannes Lehmann (3×)] | |||
|
|
21:28 (cur | prev) +2 Johannes Lehmann talk contribs | ||||
|
|
21:28 (cur | prev) 0 Johannes Lehmann talk contribs | ||||
|
|
07:55 (cur | prev) +43 Johannes Lehmann talk contribs | ||||
| 21:28 | Bachelorseminar Algebraische und logische Grundlagen der Informatik (WS2026) diffhist 0 Johannes Lehmann talk contribs | ||||
|
|
21:28 | Grosser Beleg Algebraische und logische Grundlagen der Informatik (WS2026) 2 changes history +15 [Johannes Lehmann (2×)] | |||
|
|
21:28 (cur | prev) 0 Johannes Lehmann talk contribs | ||||
|
|
08:00 (cur | prev) +15 Johannes Lehmann talk contribs | ||||
| 21:25 | Lecture Modal Logic (WS2026) diffhist −8 Johannes Lehmann talk contribs | ||||
| 21:24 | Lecture Model Checking (WS2026) diffhist +5 Johannes Lehmann talk contribs | ||||
|
|
14:14 | TBA14 2 changes history +2,000 [Meghna Bhadra (2×)] | |||
|
|
14:14 (cur | prev) +174 Meghna Bhadra talk contribs | ||||
|
|
14:14 (cur | prev) +1,826 Meghna Bhadra talk contribs | ||||
| N 08:17 | Inproceedings3477 diffhist +1,881 Nils Küchenmeister talk contribs (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 | Upload log Nils Küchenmeister talk contribs uploaded Datei:ISWC26-chain-stratification.pdf | ||||
| 07:58 | Exploration of a Research Subject: Algebraische und logische Grundlagen der Informatik (WS2026) diffhist +45 Johannes Lehmann talk contribs | ||||
_(1).jpg){kind=link}
.jpg){kind=link}
