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
19. April 2024
10:37 | Inproceedings3315 UnterschiedVersionen 0 Bytes Filippo De Bortoli Diskussion Beiträge (Changes author order.) |
10:36 | Inproceedings3316 UnterschiedVersionen 0 Bytes Filippo De Bortoli Diskussion Beiträge (Changes author order.) |
|
N 09:49 | News96 4 Änderungen Versionsgeschichte +1.668 Bytes [Larry Gonzalez (2×); Alex Ivliev (2×)] | |||
|
09:49 (Aktuell | Vorherige) 0 Bytes Alex Ivliev Diskussion Beiträge | ||||
|
09:46 (Aktuell | Vorherige) 0 Bytes Alex Ivliev Diskussion Beiträge | ||||
|
09:38 (Aktuell | Vorherige) −8 Bytes Larry Gonzalez Diskussion Beiträge | ||||
N |
|
09:37 (Aktuell | Vorherige) +1.676 Bytes Larry Gonzalez Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Forschende der ICCL |Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 |Beschreibung DE=Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-…“) |
N 09:37 | News96/en UnterschiedVersionen +16 Bytes Larry Gonzalez Diskussion Beiträge (Page created automatically by parser function on page News96) |
09:37 | Datei-Logbuch Larry Gonzalez Diskussion Beiträge lud Datei:2024.04.18-filippo-best-paper.jpeg hoch |
|
09:28 | News95 2 Änderungen Versionsgeschichte +230 Bytes [Larry Gonzalez (2×)] | |||
|
09:28 (Aktuell | Vorherige) +165 Bytes Larry Gonzalez Diskussion Beiträge | ||||
|
09:26 (Aktuell | Vorherige) +65 Bytes Larry Gonzalez Diskussion Beiträge |
18. April 2024
|
21:42 | Theoretische Informatik und Logik (SS2024) 2 Änderungen Versionsgeschichte +225 Bytes [Stephan Mennicke; Markus Krötzsch] | |||
|
21:42 (Aktuell | Vorherige) +142 Bytes Stephan Mennicke Diskussion Beiträge (sheet no. 3) | ||||
|
15:17 (Aktuell | Vorherige) +83 Bytes Markus Krötzsch Diskussion Beiträge |
|
21:42 | (Datei-Logbuch) [Stephan Mennicke; Lukas Gerlach; Filippo De Bortoli; Markus Krötzsch (2×)] | |||
|
21:42 Stephan Mennicke Diskussion Beiträge lud Datei:TheoLog24-Uebung03.pdf hoch | ||||
|
15:17 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-04-overlay.pdf hoch | ||||
|
15:17 Markus Krötzsch Diskussion Beiträge lud Datei:TheoLog2024-Vorlesung-04-print.pdf hoch | ||||
|
14:53 Filippo De Bortoli Diskussion Beiträge lud Datei:BaBo-SAC-24.pdf hoch | ||||
|
08:30 Lukas Gerlach Diskussion Beiträge lud eine neue Version von Datei:RestrictedChaseUniversalModelsInLean.pdf hoch |
|
N 16:14 | News95 8 Änderungen Versionsgeschichte +2.050 Bytes [Alex Ivliev; Larry Gonzalez (7×)] | |||
|
16:14 (Aktuell | Vorherige) −8 Bytes Alex Ivliev Diskussion Beiträge | ||||
|
14:51 (Aktuell | Vorherige) +4 Bytes Larry Gonzalez Diskussion Beiträge | ||||
|
14:51 (Aktuell | Vorherige) +4 Bytes Larry Gonzalez Diskussion Beiträge | ||||
|
14:51 (Aktuell | Vorherige) −5 Bytes Larry Gonzalez Diskussion Beiträge | ||||
|
14:50 (Aktuell | Vorherige) +4 Bytes Larry Gonzalez Diskussion Beiträge | ||||
|
14:49 (Aktuell | Vorherige) +37 Bytes Larry Gonzalez Diskussion Beiträge | ||||
|
14:46 (Aktuell | Vorherige) +277 Bytes Larry Gonzalez Diskussion Beiträge | ||||
N |
|
14:43 (Aktuell | Vorherige) +1.737 Bytes Larry Gonzalez Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Ankündigung: Themenvergabe für studentische Projekte |Titel EN=KBS group present student topics |Beschreibung DE=Am 25. April stellt die KBS-Gruppe in Raum APB 3027 mehrere studentische Projekte vor. <br> In vielen Studiengängen der Fakultät Informatik ist es notwendig, Projektarbeiten zu absolvieren. Diese sind eine hervorragende Gelegenheit gelerntes Wissen anzuwenden, Methoden des wissenschaftlichen Arbeitens zu erlernen sow…“) |
|
16:08 | Proof Theory and Sequent Systems (SS2024) 7 Änderungen Versionsgeschichte +237 Bytes [Tim Lyon (7×)] | |||
|
16:08 (Aktuell | Vorherige) −1 Byte Tim Lyon Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
|
16:08 (Aktuell | Vorherige) +1 Byte Tim Lyon Diskussion Beiträge | ||||
|
16:08 (Aktuell | Vorherige) +10 Bytes Tim Lyon Diskussion Beiträge | ||||
|
16:07 (Aktuell | Vorherige) −5 Bytes Tim Lyon Diskussion Beiträge | ||||
|
16:07 (Aktuell | Vorherige) +2 Bytes Tim Lyon Diskussion Beiträge | ||||
|
16:07 (Aktuell | Vorherige) +4 Bytes Tim Lyon Diskussion Beiträge | ||||
|
16:05 (Aktuell | Vorherige) +226 Bytes Tim Lyon Diskussion Beiträge |
14:55 | Inproceedings3377 UnterschiedVersionen +126 Bytes Filippo De Bortoli Diskussion Beiträge (→SAC '24: adds PDF file.) |
N 14:43 | News95/en UnterschiedVersionen +16 Bytes Larry Gonzalez Diskussion Beiträge (Page created automatically by parser function on page News95) |
17. April 2024
11:49 | Stefan Ellmauthaler UnterschiedVersionen 0 Bytes Stefan Ellmauthaler Diskussion Beiträge |
N 10:53 | Article3097 UnterschiedVersionen +1.657 Bytes Bartosz Bednarczyk Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Article |Referiert=0 |Title=Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. |To appear=1 |Year=2024 |Month=Mai |Journal=Logical Methods in Computer Science }} {{Publikation Details |Abstract=We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in descr…“) |
N 10:53 | Article3097/en UnterschiedVersionen +25 Bytes Bartosz Bednarczyk Diskussion Beiträge (Page created automatically by parser function on page Article3097) |
N 10:49 | Inproceedings3378/en UnterschiedVersionen +31 Bytes Bartosz Bednarczyk Diskussion Beiträge (Page created automatically by parser function on page Inproceedings3378) |
N 10:49 | Inproceedings3378 UnterschiedVersionen +943 Bytes Bartosz Bednarczyk Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Inproceedings |Referiert=1 |Title=Data Complexity in Expressive Description Logics With Path Expressions |To appear=1 |Year=2024 |Month=August |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We investigate the data complexity of the satisfiability proble…“) |
16. April 2024
19:50 | Theoretische Informatik und Logik (SS2024) UnterschiedVersionen +531 Bytes Stephan Mennicke Diskussion Beiträge (hybride Zusatzübung) |
15:24 | Seminar Logic-Based Knowledge Representation (SS2024) UnterschiedVersionen +2 Bytes Sebastian Rudolph Diskussion Beiträge |
|
15:24 | (Datei-Logbuch) [Stephan Mennicke; Sebastian Rudolph] | |||
|
15:24 Sebastian Rudolph Diskussion Beiträge lud Datei:LBKR-2402-logicintro.pdf hoch | ||||
|
14:09 Stephan Mennicke Diskussion Beiträge lud Datei:CONCUR24-03-semantics.pdf hoch |
|
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) |
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 Lukas Gerlach Diskussion Beiträge lud Datei:RestrictedChaseUniversalModelsInLean.pdf hoch |
15:25 | Seminar Logic-Based Knowledge Representation (SS2024) UnterschiedVersionen +33 Bytes Sebastian Rudolph Diskussion Beiträge |