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
2 May 2024
|
10:15 | Proof Theory and Sequent Systems (SS2024) 2 changes history 0 [Tim Lyon (2×)] | |||
|
10:15 (cur | prev) +113 Tim Lyon talk contribs Tag: Manual revert | ||||
|
10:15 (cur | prev) −113 Tim Lyon talk contribs |
1 May 2024
N 10:57 | Data Complexity in Expressive Description Logics With Path Expressions diffhist +828 Lukas Gerlach talk contribs (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Data Complexity in Expressive Description Logics With Path Expressions |Beschreibung EN=In my recent IJCAI paper I established NP-completeness of the satisfiability problem (w.r.t. the data complexity) of the maximal known decidable fragments ZIQ, ZOQ, and ZOI of the very description logic ZOIQ (a.k.a. ALCHb^self_regOIQ). The proof uniformly deals with these three logics, by considering the DL ZOIQ but over forest-like structure…“) |
N 10:57 | Data Complexity in Expressive Description Logics With Path Expressions/en diffhist +20 Lukas Gerlach talk contribs (Page created automatically by parser function on page Data Complexity in Expressive Description Logics With Path Expressions) |
09:00 | Proof Theory and Sequent Systems (SS2024) diffhist +226 Tim Lyon talk contribs |
29 April 2024
|
18:17 | (Upload log) [Stephan Mennicke; Jonas Karge; Markus Krötzsch (4×)] | |||
|
18:17 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-07-print.pdf | ||||
|
18:17 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-07-overlay.pdf | ||||
|
17:54 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-07-print.pdf | ||||
|
17:54 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-07-overlay.pdf | ||||
|
11:23 Jonas Karge talk contribs uploaded Datei:AGT SS24 Ex3.pdf | ||||
|
09:11 Stephan Mennicke talk contribs uploaded Datei:TheoLog24-Uebung-04.pdf |
|
17:56 | Theoretische Informatik und Logik (SS2024) 4 changes history +226 [Stephan Mennicke; Markus Krötzsch (3×)] | |||
|
17:56 (cur | prev) 0 Markus Krötzsch talk contribs | ||||
|
17:54 (cur | prev) +83 Markus Krötzsch talk contribs | ||||
|
17:53 (cur | prev) 0 Markus Krötzsch talk contribs | ||||
|
09:12 (cur | prev) +143 Stephan Mennicke talk contribs (exercise no. 4) |
11:23 | Algorithmic Game Theory (SS2024) diffhist +169 Jonas Karge talk contribs |
10:13 | Chase Termination Beyond Polynomial Time diffhist 0 Lukas Gerlach talk contribs |
26 April 2024
14:48 | Algorithmic Game Theory (SS2024) diffhist +170 Hannes Straß talk contribs |
|
14:48 | (Upload log) [Stephan Mennicke; Hannes Straß] | |||
|
14:48 Hannes Straß talk contribs uploaded Datei:AGT2024-03.pdf | ||||
|
08:54 Stephan Mennicke talk contribs uploaded Datei:CONCUR24-E02-fixedpoints.pdf |
11:15 | Francesco Kriegel diffhist 0 Oliver Fernandez Gil talk contribs |
11:07 | Oliver Fernández Gil diffhist 0 Oliver Fernandez Gil talk contribs |
08:55 | Concurrency Theory (SS2024) diffhist +13 Stephan Mennicke talk contribs (exercise sheet #2) |