Benutzerbeiträge von „Hannes Straß“
Aus International Center for Computational Logic
Für Hannes Straß Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
25. September 2024
- 11:3011:30, 25. Sep. 2024 Unterschied Versionen +3.629 Bytes Formale Systeme (WS2024) Keine Bearbeitungszusammenfassung aktuell
- 11:2611:26, 25. Sep. 2024 Unterschied Versionen +16 Bytes N Formale Systeme (WS2024)/en Page created automatically by parser function on page Formale Systeme (WS2024) aktuell
- 11:2611:26, 25. Sep. 2024 Unterschied Versionen +829 Bytes N Formale Systeme (WS2024) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Formale Systeme |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Hannes Straß; Dörthe Arndt; Pascal Kettmann |Term=WS |Year=2024 |Lecture series=Formale Systeme |Module=INF-B-270, INF-B-275, INF-LE-EuI, IST‑05‑PF‑HS |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur |Description=Die Lehrveranstaltung ''Formale Systeme'' vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automate…“
12. September 2024
- 16:0916:09, 12. Sep. 2024 Unterschied Versionen +22 Bytes N Misc3082/en Page created automatically by parser function on page Misc3082 aktuell Markierung: Neue Weiterleitung
- 16:0916:09, 12. Sep. 2024 Unterschied Versionen +739 Bytes N Misc3082 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Hannes |ErsterAutorNachname=Strass }} {{Misc |Title=What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation? |Year=2024 |Month=September |Howpublished=Tutorial at SSA }} {{Publikation Details |Abstract=Approximation Fixpoint Theory is an algebraic framework for studying semantics of knowledge representation formalisms. It builds upon the idea that knowledge bases can be associated with operator…“ aktuell
- 16:0716:07, 12. Sep. 2024 Unterschied Versionen 0 Bytes N Datei:SSA2024-AFT.pdf Keine Bearbeitungszusammenfassung aktuell
27. August 2024
- 09:3709:37, 27. Aug. 2024 Unterschied Versionen +31 Bytes N Inproceedings3391/en Page created automatically by parser function on page Inproceedings3391 aktuell Markierung: Neue Weiterleitung
- 09:3709:37, 27. Aug. 2024 Unterschied Versionen +1.962 Bytes N Inproceedings3391 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Ringo |ErsterAutorNachname=Baumann |FurtherAuthors=Hannes Straß }} {{Inproceedings |Referiert=1 |Title=Consequence Operators for Characterization Logics – The Case of Abstract Argumentation |To appear=1 |Year=2024 |Month=Oktober |Booktitle=Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) |Publisher=Springer |Editor=Gopal Gupta and Carmine Doda…“ aktuell
- 09:3509:35, 27. Aug. 2024 Unterschied Versionen 0 Bytes N Datei:LPNMR24-16.pdf Keine Bearbeitungszusammenfassung aktuell
15. August 2024
- 08:3508:35, 15. Aug. 2024 Unterschied Versionen +25 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung aktuell
- 08:3408:34, 15. Aug. 2024 Unterschied Versionen +1 Byte Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
12. August 2024
- 09:3909:39, 12. Aug. 2024 Unterschied Versionen +119 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 09:3209:32, 12. Aug. 2024 Unterschied Versionen +159 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
6. Juli 2024
- 23:0323:03, 6. Jul. 2024 Unterschied Versionen +177 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 23:0223:02, 6. Jul. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-12.pdf Keine Bearbeitungszusammenfassung aktuell
1. Juli 2024
- 11:0711:07, 1. Jul. 2024 Unterschied Versionen 0 Bytes Datei:AGT2024-11.pdf Hannes Straß lud eine neue Version von Datei:AGT2024-11.pdf hoch aktuell
28. Juni 2024
- 22:0522:05, 28. Jun. 2024 Unterschied Versionen −4 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 22:0422:04, 28. Jun. 2024 Unterschied Versionen +171 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 22:0422:04, 28. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-11.pdf Keine Bearbeitungszusammenfassung
25. Juni 2024
- 08:4108:41, 25. Jun. 2024 Unterschied Versionen +273 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
24. Juni 2024
- 11:0911:09, 24. Jun. 2024 Unterschied Versionen 0 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 11:0811:08, 24. Jun. 2024 Unterschied Versionen +154 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 11:0811:08, 24. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-10.pdf Keine Bearbeitungszusammenfassung aktuell
20. Juni 2024
- 10:4910:49, 20. Jun. 2024 Unterschied Versionen 0 Bytes Datei:AGT SS24 Ex09.pdf Hannes Straß lud eine neue Version von Datei:AGT SS24 Ex09.pdf hoch aktuell
18. Juni 2024
- 09:0509:05, 18. Jun. 2024 Unterschied Versionen +85 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
16. Juni 2024
- 22:3522:35, 16. Jun. 2024 Unterschied Versionen +142 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 22:3422:34, 16. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-09.pdf Keine Bearbeitungszusammenfassung aktuell
10. Juni 2024
- 13:2213:22, 10. Jun. 2024 Unterschied Versionen +50 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 13:2213:22, 10. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-08-Overlays.pdf Keine Bearbeitungszusammenfassung aktuell
- 13:2113:21, 10. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-05-Overlays.pdf Keine Bearbeitungszusammenfassung aktuell
- 10:5210:52, 10. Jun. 2024 Unterschied Versionen 0 Bytes Datei:AGT2024-08.pdf Hannes Straß lud eine neue Version von Datei:AGT2024-08.pdf hoch aktuell
7. Juni 2024
- 17:4617:46, 7. Jun. 2024 Unterschied Versionen +163 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 17:4617:46, 7. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-08.pdf Keine Bearbeitungszusammenfassung
31. Mai 2024
- 14:3914:39, 31. Mai 2024 Unterschied Versionen +157 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 14:3914:39, 31. Mai 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-07.pdf Keine Bearbeitungszusammenfassung aktuell
30. Mai 2024
- 09:3609:36, 30. Mai 2024 Unterschied Versionen +130 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 09:3309:33, 30. Mai 2024 Unterschied Versionen +137 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
24. Mai 2024
- 17:2817:28, 24. Mai 2024 Unterschied Versionen +159 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 17:2817:28, 24. Mai 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-06.pdf Keine Bearbeitungszusammenfassung aktuell
21. Mai 2024
- 11:4411:44, 21. Mai 2024 Unterschied Versionen +110 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
15. Mai 2024
- 10:4910:49, 15. Mai 2024 Unterschied Versionen 0 Bytes Datei:AGT2024-05.pdf Hannes Straß lud eine neue Version von Datei:AGT2024-05.pdf hoch aktuell
13. Mai 2024
- 10:2310:23, 13. Mai 2024 Unterschied Versionen +152 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 10:2310:23, 13. Mai 2024 Unterschied Versionen 0 Bytes N Datei:AGT SS24 Ex05.pdf Keine Bearbeitungszusammenfassung aktuell
8. Mai 2024
- 14:4814:48, 8. Mai 2024 Unterschied Versionen +167 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 14:4814:48, 8. Mai 2024 Unterschied Versionen 0 Bytes N Datei:AGT2024-05.pdf Keine Bearbeitungszusammenfassung
6. Mai 2024
- 10:0710:07, 6. Mai 2024 Unterschied Versionen +208 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 10:0210:02, 6. Mai 2024 Unterschied Versionen +163 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung
- 10:0210:02, 6. Mai 2024 Unterschied Versionen 0 Bytes N Datei:AGT SS24 Ex04.pdf Keine Bearbeitungszusammenfassung aktuell
- 09:3509:35, 6. Mai 2024 Unterschied Versionen 0 Bytes Datei:AGT2024-04.pdf Hannes Straß lud eine neue Version von Datei:AGT2024-04.pdf hoch aktuell
3. Mai 2024
- 17:1017:10, 3. Mai 2024 Unterschied Versionen 0 Bytes Algorithmic Game Theory (SS2024) Keine Bearbeitungszusammenfassung