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
8. Mai 2024
|
16:38 | Generating molecule graphs from mass spectrometry results using Answer-Set-Programming 2 Änderungen Versionsgeschichte +61 Bytes [Lukas Gerlach (2×)] | |||
|
16:38 (Aktuell | Vorherige) +42 Bytes Lukas Gerlach Diskussion Beiträge | ||||
|
16:38 (Aktuell | Vorherige) +19 Bytes Lukas Gerlach Diskussion Beiträge |
N 16:37 | Minesweeper goes Kaboom (in ASP) - and what makes it difficult UnterschiedVersionen +687 Bytes Lukas Gerlach Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Minesweeper goes Kaboom (in ASP) - and what makes it difficult |Beschreibung EN=Kaboom is a fair Minesweeper game. The original Kaboom is implemented with a SAT solver, and we present an implementation in ASP (Answer Set Programming). We will derive a recommender heuristic and demonstrate the game. At the end we will discuss what makes Minesweeper and Kaboom difficult and how they differ in that regard. |Veranstaltungsart=Verteid…“) |
N 16:37 | Minesweeper goes Kaboom (in ASP) - and what makes it difficult/en UnterschiedVersionen +20 Bytes Lukas Gerlach Diskussion Beiträge (Page created automatically by parser function on page Minesweeper goes Kaboom (in ASP) - and what makes it difficult) |
14:48 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +167 Bytes Hannes Straß Diskussion Beiträge |
|
14:48 | (Datei-Logbuch) [Stephan Mennicke; Lukas Gerlach; Hannes Straß] | |||
|
14:48 Hannes Straß Diskussion Beiträge lud Datei:AGT2024-05.pdf hoch | ||||
|
14:20 Lukas Gerlach Diskussion Beiträge lud Datei:IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf hoch | ||||
|
13:56 Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-E03-ccpo.pdf hoch |
N 14:22 | Inproceedings3380/en UnterschiedVersionen +31 Bytes Lukas Gerlach Diskussion Beiträge (Page created automatically by parser function on page Inproceedings3380) |
N 14:22 | Inproceedings3380 UnterschiedVersionen +1.659 Bytes Lukas Gerlach Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach |FurtherAuthors=David Carral; Markus Hecher }} {{Inproceedings |Referiert=1 |Title=Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) |To appear=1 |Year=2024 |Booktitle=IJCAI 2024 }} {{Publikation Details |Abstract=Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combin…“) |
13:56 | Concurrency Theory (SS2024) UnterschiedVersionen +18 Bytes Stephan Mennicke Diskussion Beiträge |
7. Mai 2024
08:56 | Concurrency Theory (SS2024) UnterschiedVersionen +30 Bytes Stephan Mennicke Diskussion Beiträge (structural operational semantics slides) |
08:55 | Datei-Logbuch Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-05-sos.pdf hoch |
6. Mai 2024
|
13:23 | Theoretische Informatik und Logik (SS2024) 3 Änderungen Versionsgeschichte +232 Bytes [Markus Krötzsch (3×)] | |||
|
13:23 (Aktuell | Vorherige) +5 Bytes Markus Krötzsch Diskussion Beiträge | ||||
|
11:00 (Aktuell | Vorherige) +37 Bytes Markus Krötzsch Diskussion Beiträge | ||||
|
10:57 (Aktuell | Vorherige) +190 Bytes Markus Krötzsch Diskussion Beiträge |
|
12:52 | (Datei-Logbuch) [Stephan Mennicke; Hannes Straß (2×); Markus Krötzsch (4×)] | |||
|
12:52 Stephan Mennicke Diskussion Beiträge lud eine neue Version von Datei:TheoLog24-Uebung-05.pdf hoch | ||||
|
10:57 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-09-print.pdf hoch | ||||
|
10:56 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-09-overlay.pdf hoch | ||||
|
10:56 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-08-print.pdf hoch | ||||
|
10:55 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-08-overlay.pdf hoch | ||||
|
10:02 Hannes Straß Diskussion Beiträge lud Datei:AGT SS24 Ex04.pdf hoch | ||||
|
09:35 Hannes Straß Diskussion Beiträge lud eine neue Version von Datei:AGT2024-04.pdf hoch |
|
10:07 | Algorithmic Game Theory (SS2024) 2 Änderungen Versionsgeschichte +371 Bytes [Hannes Straß (2×)] | |||
|
10:07 (Aktuell | Vorherige) +208 Bytes Hannes Straß Diskussion Beiträge | ||||
|
10:02 (Aktuell | Vorherige) +163 Bytes Hannes Straß Diskussion Beiträge |
5. Mai 2024
21:27 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen +143 Bytes Stephan Mennicke Diskussion Beiträge |
21:27 | Datei-Logbuch Stephan Mennicke Diskussion Beiträge lud Datei:TheoLog24-Uebung-05.pdf hoch |
3. Mai 2024
22:56 | Concurrency Theory (SS2024) UnterschiedVersionen +68 Bytes Stephan Mennicke Diskussion Beiträge (mild schedule update) |
|
17:10 | Algorithmic Game Theory (SS2024) 2 Änderungen Versionsgeschichte +166 Bytes [Hannes Straß (2×)] | |||
|
17:10 (Aktuell | Vorherige) 0 Bytes Hannes Straß Diskussion Beiträge | ||||
|
13:48 (Aktuell | Vorherige) +166 Bytes Hannes Straß Diskussion Beiträge |
13:48 | Datei-Logbuch Hannes Straß Diskussion Beiträge lud Datei:AGT2024-04.pdf hoch |