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
29 June 2024
| 10:03 | Introduction to Existential Rules (SS2024) diffhist −340 Sebastian Rudolph talk contribs | ||||
| 10:01 | Upload log Sebastian Rudolph talk contribs uploaded a new version of Datei:ER-Rudolph-Lecture09.pdf | ||||
28 June 2024
|
|
22:05 | Algorithmic Game Theory (SS2024) 2 changes history +167 [Hannes Straß (2×)] | |||
|
|
22:05 (cur | prev) −4 Hannes Straß talk contribs | ||||
|
|
22:04 (cur | prev) +171 Hannes Straß talk contribs | ||||
| 22:04 | Upload log Hannes Straß talk contribs uploaded Datei:AGT2024-11.pdf | ||||
27 June 2024
| 15:08 | Phdthesis3021 diffhist +3 Bartosz Bednarczyk talk contribs | ||||
|
|
15:07 | (Upload log) [Bartosz Bednarczyk; Markus Krötzsch (2×)] | |||
|
|
15:07 Bartosz Bednarczyk talk contribs uploaded Datei:BBE-thesis-final.pdf | ||||
|
|
12:55 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-19-print.pdf | ||||
|
|
12:55 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-19-overlay.pdf | ||||
| 14:05 | Formale Systeme (WS2023) diffhist +143 Stephan Mennicke talk contribs (Wdh-Klausur) | ||||
|
|
14:03 | Theoretische Informatik und Logik (SS2024) 2 changes history +3 [Stephan Mennicke; Markus Krötzsch] | |||
|
|
14:03 (cur | prev) −80 Stephan Mennicke talk contribs (Klausur Sommer 2024) | ||||
|
|
12:56 (cur | prev) +83 Markus Krötzsch talk contribs | ||||
25 June 2024
| 22:26 | Deletion log Dominik Rusovac talk contribs deleted page Datei:Some portrait.jpeg | ||||
| 08:41 | Algorithmic Game Theory (SS2024) diffhist +273 Hannes Straß talk contribs | ||||
| 08:18 | Phdthesis3021 diffhist +42 Bartosz Bednarczyk talk contribs | ||||
|
|
08:18 | (Upload log) [Bartosz Bednarczyk; Stephan Mennicke (3×)] | |||
|
|
08:18 Bartosz Bednarczyk talk contribs uploaded Datei:Bednarczyk-PhD-Defense-Slides.pdf | ||||
|
|
07:12 Stephan Mennicke talk contribs uploaded Datei:TheoLog24-Uebung-12.pdf | ||||
|
|
07:11 Stephan Mennicke talk contribs uploaded Datei:TheoLog24-Uebung-11.pdf | ||||
|
|
07:10 Stephan Mennicke talk contribs uploaded Datei:TheoLog24-Uebung-10.pdf | ||||
|
|
N 07:38 | Research Lightning Talks 3 changes history +2,100 [Lukas Gerlach (3×)] | |||
|
|
07:38 (cur | prev) +1 Lukas Gerlach talk contribs | ||||
|
|
07:38 (cur | prev) 0 Lukas Gerlach talk contribs | ||||
| N |
|
07:36 (cur | prev) +2,099 Lukas Gerlach talk contribs (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Research Lightning Talks |Beschreibung EN=In this seminar session, three of our guest students will present their recent and ongoing research in three short talks. 1. Aidan Bailey will show two applications of ASP. On one hand, the generation of propositional formulas, and by extension knowledge bases, adhering to specified properties. On the other hand, graph drawing via placements of nodes and edges adhering to constraints a…“) | |||
| N 07:36 | Research Lightning Talks/en diffhist +20 Lukas Gerlach talk contribs (Page created automatically by parser function on page Research Lightning Talks) | ||||
|
|
07:13 | Theoretische Informatik und Logik (SS2024) 2 changes history +431 [Stephan Mennicke (2×)] | |||
|
|
07:13 (cur | prev) −3 Stephan Mennicke talk contribs | ||||
|
|
07:12 (cur | prev) +434 Stephan Mennicke talk contribs (exercise sheets till end of semester) | ||||
| 06:13 | Concurrency Theory (SS2024) diffhist +80 Stephan Mennicke talk contribs | ||||
| 05:28 | PhD Defense of Bartosz Bednarczyk diffhist +24 Bartosz Bednarczyk talk contribs | ||||
24 June 2024
|
|
14:22 | Theoretische Informatik und Logik (SS2024) 2 changes history +83 [Markus Krötzsch (2×)] | |||
|
|
14:22 (cur | prev) 0 Markus Krötzsch talk contribs | ||||
|
|
11:07 (cur | prev) +83 Markus Krötzsch talk contribs | ||||
|
|
14:22 | (Upload log) [Jonas Karge; Hannes Straß; Markus Krötzsch (4×)] | |||
|
|
14:22 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-16-print.pdf | ||||
|
|
14:21 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-16-overlay.pdf | ||||
|
|
11:08 Hannes Straß talk contribs uploaded Datei:AGT2024-10.pdf | ||||
|
|
11:07 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-18-overlay.pdf | ||||
|
|
11:07 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-18-print.pdf | ||||
|
|
10:37 Jonas Karge talk contribs uploaded Datei:AGT SS24 Ex10.pdf | ||||
|
|
11:09 | Algorithmic Game Theory (SS2024) 3 changes history +308 [Jonas Karge; Hannes Straß (2×)] | |||
|
|
11:09 (cur | prev) 0 Hannes Straß talk contribs | ||||
|
|
11:08 (cur | prev) +154 Hannes Straß talk contribs | ||||
|
|
10:37 (cur | prev) +154 Jonas Karge talk contribs | ||||
| N 08:15 | Characterizing common argumentation semantics using branch evaluations for justification systems diffhist +1,570 Lukas Gerlach talk contribs (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Characterizing common argumentation semantics using branch evaluations for justification systems |Beschreibung EN=First introduced in 2015 by Denecker, Brewka and Strass, justification theory is formalism providing a new way of characterizing semantics for both logic programs and Dung style argumentation frameworks. Justification theory uses branch evaluation functions operating on a body of rules and an interpretation to define…“) | ||||
| N 08:15 | Characterizing common argumentation semantics using branch evaluations for justification systems/en diffhist +20 Lukas Gerlach talk contribs (Page created automatically by parser function on page Characterizing common argumentation semantics using branch evaluations for justification systems) | ||||
