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
16. April 2024
|
|
14:09 | Concurrency Theory (SS2024) 2 Änderungen Versionsgeschichte +45 Bytes [Stephan Mennicke (2×)] | |||
|
|
14:09 (Aktuell | Vorherige) +36 Bytes Stephan Mennicke Diskussion Beiträge (lecture slides) | ||||
|
|
13:58 (Aktuell | Vorherige) +9 Bytes Stephan Mennicke Diskussion Beiträge (schedule update) | ||||
| 14:09 | Datei-Logbuch Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-03-semantics.pdf hoch | ||||
15. April 2024
|
|
N 17:30 | Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models 2 Änderungen Versionsgeschichte +1.077 Bytes [Lukas Gerlach (2×)] | |||
|
|
17:30 (Aktuell | Vorherige) +1 Byte Lukas Gerlach Diskussion Beiträge | ||||
| N |
|
17:28 (Aktuell | Vorherige) +1.076 Bytes Lukas Gerlach Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models |Beschreibung EN=The restricted chase is a fundamental reasoning algorithm in database theory that can be used for (conjunctive) query answering. For a given pair of a set of existential rules and a database, the restricted chase yields a so-called universal model. Such a model can be embedded into every (other) model and therefore be used fo…“) | |||
| N 17:28 | Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en UnterschiedVersionen +20 Bytes Lukas Gerlach Diskussion Beiträge (Page created automatically by parser function on page Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models) | ||||
|
|
17:27 | (Datei-Logbuch) [Stephan Mennicke; Sebastian Rudolph; Lukas Gerlach; Hannes Straß; Markus Krötzsch (2×)] | |||
|
|
17:27 Lukas Gerlach Diskussion Beiträge lud Datei:RestrictedChaseUniversalModelsInLean.pdf hoch | ||||
|
|
15:25 Sebastian Rudolph Diskussion Beiträge lud Datei:LBKR-24-logicintro.pdf hoch | ||||
|
|
13:08 Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-E01-bisimulation.pdf hoch | ||||
|
|
10:40 Hannes Straß Diskussion Beiträge lud eine neue Version von Datei:AGT2024-01.pdf hoch | ||||
|
|
10:19 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-03-overlay.pdf hoch | ||||
|
|
10:19 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-03-print.pdf hoch | ||||
| 15:25 | Seminar Logic-Based Knowledge Representation (SS2024) UnterschiedVersionen +33 Bytes Sebastian Rudolph Diskussion Beiträge | ||||
| 14:20 | Proof Theory and Sequent Systems (SS2024) UnterschiedVersionen +143 Bytes Tim Lyon Diskussion Beiträge | ||||
| N 14:13 | Inproceedings3377/en UnterschiedVersionen +31 Bytes Filippo De Bortoli Diskussion Beiträge (Page created automatically by parser function on page Inproceedings3377) | ||||
| N 14:13 | Inproceedings3377 UnterschiedVersionen +2.862 Bytes Filippo De Bortoli Diskussion Beiträge (Adds publication by Baader and De Bortoli in SAC '24.) | ||||
| 13:08 | Concurrency Theory (SS2024) UnterschiedVersionen +40 Bytes Stephan Mennicke Diskussion Beiträge (exercise sheet #1) | ||||
| 10:20 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen +83 Bytes Markus Krötzsch Diskussion Beiträge | ||||
| 08:37 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +15 Bytes Hannes Straß Diskussion Beiträge | ||||
14. April 2024
| 16:17 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +25 Bytes Hannes Straß Diskussion Beiträge | ||||
| 16:17 | Datei-Logbuch Hannes Straß Diskussion Beiträge lud Datei:AGT2024-01.pdf hoch | ||||
12. April 2024
| 13:57 | Inproceedings3363 UnterschiedVersionen +27 Bytes Stephan Mennicke Diskussion Beiträge (PDF upload) | ||||
|
|
13:57 | (Datei-Logbuch) [Stephan Mennicke (6×)] | |||
|
|
13:57 Stephan Mennicke Diskussion Beiträge lud Datei:RR23-N3Rules.pdf hoch | ||||
|
|
13:54 Stephan Mennicke Diskussion Beiträge lud Datei:RR23-abstractDomains.pdf hoch | ||||
|
|
10:07 Stephan Mennicke Diskussion Beiträge lud eine neue Version von Datei:TheoLog24-Uebung01.pdf hoch (adjusted header to right institute and group) | ||||
|
|
10:05 Stephan Mennicke Diskussion Beiträge lud Datei:TheoLog24-Uebung02.pdf hoch | ||||
|
|
09:24 Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-02-Bisimulation.pdf hoch | ||||
|
|
09:23 Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-01-Introduction.pdf hoch | ||||
| 13:54 | Inproceedings3364 UnterschiedVersionen +35 Bytes Stephan Mennicke Diskussion Beiträge (paper uploaded) | ||||
|
|
10:06 | Theoretische Informatik und Logik (SS2024) 2 Änderungen Versionsgeschichte +142 Bytes [Stephan Mennicke (2×)] | |||
|
|
10:06 (Aktuell | Vorherige) −6 Bytes Stephan Mennicke Diskussion Beiträge | ||||
|
|
10:05 (Aktuell | Vorherige) +148 Bytes Stephan Mennicke Diskussion Beiträge (2nd exercise sheet) | ||||
| 10:02 | Projekte und Studienarbeiten Wissensbasierte Systeme UnterschiedVersionen +136 Bytes Stephan Mennicke Diskussion Beiträge (topic announcement for summer) | ||||
| 09:24 | Concurrency Theory (SS2024) UnterschiedVersionen +78 Bytes Stephan Mennicke Diskussion Beiträge (uploaded first two slide decks) | ||||
11. April 2024
|
|
15:10 | (Datei-Logbuch) [Jonas Karge; Markus Krötzsch (4×)] | |||
|
|
15:10 Markus Krötzsch Diskussion Beiträge lud eine neue Version von Datei:TheoLog2024-Vorlesung-02-print.pdf hoch | ||||
|
|
15:10 Markus Krötzsch Diskussion Beiträge lud eine neue Version von Datei:TheoLog2024-Vorlesung-02-overlay.pdf hoch | ||||
|
|
12:58 Jonas Karge Diskussion Beiträge lud Datei:AGT24 Ex01.pdf hoch | ||||
|
|
12:51 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-02-print.pdf hoch | ||||
|
|
12:51 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-02-overlay.pdf hoch | ||||
| 12:58 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +25 Bytes Jonas Karge Diskussion Beiträge | ||||
| 12:52 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen +83 Bytes Markus Krötzsch Diskussion Beiträge | ||||
| 10:50 | Concurrency Theory (SS2024) UnterschiedVersionen −4 Bytes Stephan Mennicke Diskussion Beiträge | ||||
10. April 2024
| 14:20 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen 0 Bytes Stephan Mennicke Diskussion Beiträge | ||||
| 10:57 | Datei-Logbuch Jonas Karge Diskussion Beiträge lud Datei:AGT SS24.pdf hoch | ||||
| 10:53 | Algorithmic Game Theory (SS2024) UnterschiedVersionen +136 Bytes Jonas Karge Diskussion Beiträge | ||||
