Benutzerbeiträge von „Hannes Straß“

22. November 2024

• 16:2016:20, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ Datei:FKR2024-02.pdf ‎ Hannes Straß lud eine neue Version von Datei:FKR2024-02.pdf hoch aktuell
• 16:2016:20, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ Datei:FKR2024-03.pdf ‎ Hannes Straß lud eine neue Version von Datei:FKR2024-03.pdf hoch aktuell
• 16:1916:19, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ Datei:FKR2024-04.pdf ‎ Hannes Straß lud eine neue Version von Datei:FKR2024-04.pdf hoch aktuell
• 16:1816:18, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ Datei:FKR2024-05.pdf ‎ Hannes Straß lud eine neue Version von Datei:FKR2024-05.pdf hoch aktuell
• 16:1816:18, 22. Nov. 2024 Unterschied Versionen +25 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung aktuell
• 16:1816:18, 22. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:FKR2024-06.pdf ‎Keine Bearbeitungszusammenfassung aktuell

14. November 2024

• 09:3309:33, 14. Nov. 2024 Unterschied Versionen +25 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 09:3209:32, 14. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:FKR2024-05.pdf ‎Keine Bearbeitungszusammenfassung

11. November 2024

• 09:3609:36, 11. Nov. 2024 Unterschied Versionen +25 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 09:3609:36, 11. Nov. 2024 Unterschied Versionen 0 Bytes‎ N Datei:FKR2024-04.pdf ‎Keine Bearbeitungszusammenfassung

28. Oktober 2024

• 13:2013:20, 28. Okt. 2024 Unterschied Versionen 0 Bytes‎ Datei:FKR2024-03.pdf ‎ Hannes Straß lud eine neue Version von Datei:FKR2024-03.pdf hoch

25. Oktober 2024

• 14:3814:38, 25. Okt. 2024 Unterschied Versionen +25 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 14:3814:38, 25. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:FKR2024-03.pdf ‎Keine Bearbeitungszusammenfassung

18. Oktober 2024

• 17:0517:05, 18. Okt. 2024 Unterschied Versionen +25 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 17:0517:05, 18. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:FKR2024-02.pdf ‎Keine Bearbeitungszusammenfassung

14. Oktober 2024

• 14:1214:12, 14. Okt. 2024 Unterschied Versionen −12 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 12:4912:49, 14. Okt. 2024 Unterschied Versionen +25 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 12:4812:48, 14. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:FKR2024-01.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 12:4612:46, 14. Okt. 2024 Unterschied Versionen +634 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 12:4312:43, 14. Okt. 2024 Unterschied Versionen +1.062 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 12:3912:39, 14. Okt. 2024 Unterschied Versionen +139 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung

11. Oktober 2024

• 21:1921:19, 11. Okt. 2024 Unterschied Versionen +675 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 21:1421:14, 11. Okt. 2024 Unterschied Versionen +518 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 21:1121:11, 11. Okt. 2024 Unterschied Versionen +226 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 21:1021:10, 11. Okt. 2024 Unterschied Versionen +119 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 21:0621:06, 11. Okt. 2024 Unterschied Versionen +1.033 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 20:5920:59, 11. Okt. 2024 Unterschied Versionen −8 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 20:5820:58, 11. Okt. 2024 Unterschied Versionen +1.249 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 10:1610:16, 11. Okt. 2024 Unterschied Versionen +11 Bytes‎ Inproceedings3400 ‎Keine Bearbeitungszusammenfassung
• 10:1510:15, 11. Okt. 2024 Unterschied Versionen +14 Bytes‎ N SEMECO-Q2/en ‎ Page created automatically by parser function on page SEMECO-Q2 aktuell
• 10:1510:15, 11. Okt. 2024 Unterschied Versionen +1.921 Bytes‎ N SEMECO-Q2 ‎ Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q2 |Name=Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity |Name EN=Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity |Beschreibung DE=SEMECO-Q2 entwickelt eine auf Wissensrepräsentation und symbolischer KI basierte Lösung, die den regulatorischen Prozess, die Agilität des eigentlichen Systementwurfs und d…“ aktuell
• 10:1110:11, 11. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:Semeco-logo.png ‎Keine Bearbeitungszusammenfassung aktuell

10. Oktober 2024

• 17:4617:46, 10. Okt. 2024 Unterschied Versionen −5 Bytes‎ Hannes Straß ‎Keine Bearbeitungszusammenfassung aktuell
• 17:4517:45, 10. Okt. 2024 Unterschied Versionen +68 Bytes‎ Hannes Straß ‎Keine Bearbeitungszusammenfassung
• 17:3517:35, 10. Okt. 2024 Unterschied Versionen +28 Bytes‎ N Aktivitaet2133/en ‎ Page created automatically by parser function on page Aktivitaet2133 aktuell Markierung: Neue Weiterleitung
• 17:3517:35, 10. Okt. 2024 Unterschied Versionen +316 Bytes‎ N Aktivitaet2133 ‎ Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Senior-Programmkomitee der AAAI 2025 |Beschreibung EN=Senior Program Committee Member for the 37th AAAI Conference on Artificial Intelligence (AAAI-25) |Person=Hannes Straß |URL=https://aaai.org/conference/aaai/aaai-25/ |Start(Jahr)=2024 |Ende(Jahr)=2025 |Rank=★★★ }}“ aktuell
• 17:3317:33, 10. Okt. 2024 Unterschied Versionen +28 Bytes‎ N Aktivitaet2132/en ‎ Page created automatically by parser function on page Aktivitaet2132 aktuell Markierung: Neue Weiterleitung
• 17:3317:33, 10. Okt. 2024 Unterschied Versionen +311 Bytes‎ N Aktivitaet2132 ‎ Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Senior-Programmkomitee der AAAI 2024 |Beschreibung EN=Senior Program Committee Member for the 37th AAAI Conference on Artificial Intelligence (AAAI-24) |Person=Hannes Straß |URL=https://aaai.org/aaai-24-conference/ |Start(Jahr)=2023 |Ende(Jahr)=2024 |Rank=★★★ }}“ aktuell
• 17:2817:28, 10. Okt. 2024 Unterschied Versionen +90 Bytes‎ Inproceedings3526286012 ‎Keine Bearbeitungszusammenfassung aktuell
• 16:4816:48, 10. Okt. 2024 Unterschied Versionen +116 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 16:4416:44, 10. Okt. 2024 Unterschied Versionen +305 Bytes‎ Foundations of Knowledge Representation (WS2024) ‎Keine Bearbeitungszusammenfassung
• 16:4116:41, 10. Okt. 2024 Unterschied Versionen +16 Bytes‎ N Foundations of Knowledge Representation (WS2024)/en ‎ Page created automatically by parser function on page Foundations of Knowledge Representation (WS2024) aktuell
• 16:4116:41, 10. Okt. 2024 Unterschied Versionen +1.249 Bytes‎ N Foundations of Knowledge Representation (WS2024) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Knowledge Representation |Research group=Computational Logic |Lecturers=Hannes Straß |Tutors=Jonas Karge |Term=WS |Year=2024 |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description==== Synopsis === In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, suc…“

8. Oktober 2024

• 11:5911:59, 8. Okt. 2024 Unterschied Versionen +27 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung

1. Oktober 2024

• 12:1612:16, 1. Okt. 2024 Unterschied Versionen +73 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung

25. September 2024

• 10:3010:30, 25. Sep. 2024 Unterschied Versionen +3.629 Bytes‎ Formale Systeme (WS2024) ‎Keine Bearbeitungszusammenfassung
• 10:2610: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
• 10:2610: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

• 15:0915:09, 12. Sep. 2024 Unterschied Versionen +22 Bytes‎ N Misc3082/en ‎ Page created automatically by parser function on page Misc3082 aktuell Markierung: Neue Weiterleitung
• 15:0915: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