Benutzerbeiträge von „Tim Lyon“

11. September 2026

• 13:2813:28, 11. Sep. 2026 Unterschied Versionen +27 Techreport3063 Keine Bearbeitungszusammenfassung aktuell
• 12:2712:27, 11. Sep. 2026 Unterschied Versionen +1.736 N Techreport3063 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Lukas Zenger }} {{Techreport |Title=Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents |Year=2026 |Institution=TU Dresden |Note=Full, Appended Version }} {{Publikation Details |Abstract=We introduce the formalism of non-wellfounded and cyclic linear nested sequent calculi, developing concrete systems for linear tempor…“

9. Juli 2026

• 14:0914:09, 9. Jul. 2026 Unterschied Versionen +7 News113 Keine Bearbeitungszusammenfassung aktuell
• 14:0814:08, 9. Jul. 2026 Unterschied Versionen +3 News113 Keine Bearbeitungszusammenfassung
• 14:0714:07, 9. Jul. 2026 Unterschied Versionen +4 News113 Keine Bearbeitungszusammenfassung
• 14:0614:06, 9. Jul. 2026 Unterschied Versionen −16 News113 Keine Bearbeitungszusammenfassung
• 14:0414:04, 9. Jul. 2026 Unterschied Versionen −2 News113 Keine Bearbeitungszusammenfassung
• 14:0214:02, 9. Jul. 2026 Unterschied Versionen 0 News113 Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 14:0214:02, 9. Jul. 2026 Unterschied Versionen +8 News113 Keine Bearbeitungszusammenfassung
• 14:0214:02, 9. Jul. 2026 Unterschied Versionen −6 News113 Keine Bearbeitungszusammenfassung
• 14:0114:01, 9. Jul. 2026 Unterschied Versionen −2 News113 Keine Bearbeitungszusammenfassung
• 14:0114:01, 9. Jul. 2026 Unterschied Versionen −2 News113 Keine Bearbeitungszusammenfassung
• 13:5913:59, 9. Jul. 2026 Unterschied Versionen +2.223 N News113 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Kurs über Standpoint Logic auf der ESSAI 2026 von Tim Lyon und Hannes Straß |Titel EN=Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß |Beschreibung DE=Tim Lyon und Hannes Straß hielten einen Kurs mit dem Titel „Multi-Perspective Reasoning in Knowledge Representation: An Introduction to Standpoint Logic" auf der ESSAI 2026, der European Summer School on Artificial Intelligence, in Wien. <br> Standpoint…“
• 13:5913:59, 9. Jul. 2026 Unterschied Versionen 0 N Datei:Screenshot 2026-07-09 at 15.58.01.png Keine Bearbeitungszusammenfassung aktuell
• 10:0510:05, 9. Jul. 2026 Unterschied Versionen +440 News112 Keine Bearbeitungszusammenfassung

8. Juli 2026

• 12:4912:49, 8. Jul. 2026 Unterschied Versionen +163 Tim Lyon Keine Bearbeitungszusammenfassung aktuell
• 12:4412:44, 8. Jul. 2026 Unterschied Versionen +68 Article3099 Keine Bearbeitungszusammenfassung aktuell
• 12:4312:43, 8. Jul. 2026 Unterschied Versionen +62 Article3123 Keine Bearbeitungszusammenfassung aktuell

7. Juli 2026

• 13:5013:50, 7. Jul. 2026 Unterschied Versionen +147 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung aktuell
• 13:0413:04, 7. Jul. 2026 Unterschied Versionen −2 News112 Keine Bearbeitungszusammenfassung
• 13:0313:03, 7. Jul. 2026 Unterschied Versionen +2.365 N News112 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Jonas Karge verteidigt erfolgreich seine Dissertation über Multi-Agent Belief Management |Titel EN=Jonas Karge Successfully Defends PhD Thesis on Multi-Agent Belief Management |Beschreibung DE=Wir freuen uns, bekannt geben zu dürfen, dass Jonas Karge seine Dissertation mit dem Titel „Multi-Agent Belief Management" erfolgreich verteidigt hat. In seiner Arbeit untersuchte Jonas, wie Gruppen zu verlässlichen Schlussfolgerungen gela…“
• 13:0213:02, 7. Jul. 2026 Unterschied Versionen 0 N Datei:1783214424880.jpg Keine Bearbeitungszusammenfassung aktuell

2. Juli 2026

• 11:1711:17, 2. Jul. 2026 Unterschied Versionen −2 News111 Keine Bearbeitungszusammenfassung aktuell
• 11:1711:17, 2. Jul. 2026 Unterschied Versionen 0 News111 Keine Bearbeitungszusammenfassung
• 11:1611:16, 2. Jul. 2026 Unterschied Versionen +10 News111 Keine Bearbeitungszusammenfassung
• 11:1511:15, 2. Jul. 2026 Unterschied Versionen +1.327 N News111 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Hannes Straß erhält Lehrpreis des Fachschaftsrats für „Algorithmische Spieltheorie" |Titel EN=Hannes Straß Receives Student Council Teaching Award for "Algorithmic Game Theory" |Beschreibung DE=Hannes Straß, Wissenschaftler in der Arbeitsgruppe Computational Logic am ICCL, hat den Lehrpreis des Fachschaftsrats in der Kategorie „Beste Wahlpflichtveranstaltung" für seine Vorlesung „Algorithmische Spieltheorie" erhalten.…“
• 11:1011:10, 2. Jul. 2026 Unterschied Versionen 0 N Datei:Pic hannes.jpeg Keine Bearbeitungszusammenfassung aktuell

19. Juni 2026

• 07:3207:32, 19. Jun. 2026 Unterschied Versionen +111 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung
• 07:3107:31, 19. Jun. 2026 Unterschied Versionen −18 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

18. Juni 2026

• 20:2720:27, 18. Jun. 2026 Unterschied Versionen +339 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

5. Juni 2026

• 12:3912:39, 5. Jun. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

4. Juni 2026

• 10:0910:09, 4. Jun. 2026 Unterschied Versionen +1.878 N Article3123 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Piotr Ostropolski-Nalewaja }} {{Article |Referiert=1 |Title=Foundations for an Abstract Proof Theory in the Context of Horn Rules |To appear=1 |Year=2026 |Month=Juni |Journal=ACM Transactions on Computational Logic }} {{Publikation Details |Abstract=We introduce a novel, logic-independent framework for the study of sequent-style proof systems, which covers a numbe…“

21. Mai 2026

• 09:1009:10, 21. Mai 2026 Unterschied Versionen 0 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung
• 08:3408:34, 21. Mai 2026 Unterschied Versionen 0 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

20. Mai 2026

• 20:0120:01, 20. Mai 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

30. April 2026

• 08:4508:45, 30. Apr. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung
• 08:4408:44, 30. Apr. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

20. April 2026

• 18:1818:18, 20. Apr. 2026 Unterschied Versionen +113 Proof Theory and Sequent Systems (SS2026) Keine Bearbeitungszusammenfassung

28. März 2026

• 09:5609:56, 28. Mär. 2026 Unterschied Versionen +2.245 N Proof Theory and Sequent Systems (SS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=SS |Year=2026 |Module=INF-25-Ma-FTK-ASAI, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are defined as synt…“
• 09:4509:45, 28. Mär. 2026 Unterschied Versionen +228 Proof Theory and Sequent Systems (WS2025) Keine Bearbeitungszusammenfassung aktuell

26. Februar 2026

• 11:2911:29, 26. Feb. 2026 Unterschied Versionen −192 Thema3519 Keine Bearbeitungszusammenfassung aktuell
• 11:2911:29, 26. Feb. 2026 Unterschied Versionen −56 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2611:26, 26. Feb. 2026 Unterschied Versionen +1.902 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2511:25, 26. Feb. 2026 Unterschied Versionen +103 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2411:24, 26. Feb. 2026 Unterschied Versionen +39 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2211:22, 26. Feb. 2026 Unterschied Versionen −7 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2211:22, 26. Feb. 2026 Unterschied Versionen +14 Thema3519 Keine Bearbeitungszusammenfassung
• 11:2011:20, 26. Feb. 2026 Unterschied Versionen −53 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1911:19, 26. Feb. 2026 Unterschied Versionen −739 Thema3519 Keine Bearbeitungszusammenfassung
• 11:1811:18, 26. Feb. 2026 Unterschied Versionen +763 Thema3519 Keine Bearbeitungszusammenfassung