Stefan Szeider
@szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
Join us on January 14 for the 2025 Vienna World Logic Day Lecture with Joao Marques-Silva, who speaks about Trustable Explainable AI - A Redemption by Logic
Register: logicday.vcla.at/vienna-logic...
#XAI #LogicInAI #WorldLogicDay2025
Register: logicday.vcla.at/vienna-logic...
#XAI #LogicInAI #WorldLogicDay2025
January 7, 2025 at 3:59 PM
Join us on January 14 for the 2025 Vienna World Logic Day Lecture with Joao Marques-Silva, who speaks about Trustable Explainable AI - A Redemption by Logic
Register: logicday.vcla.at/vienna-logic...
#XAI #LogicInAI #WorldLogicDay2025
Register: logicday.vcla.at/vienna-logic...
#XAI #LogicInAI #WorldLogicDay2025
Computer Science as the continuation of Logic with other means.
Georg Gottlob gives a talk at TU Wien on the occasion of the Helmut Veith Stipend Award.
Georg Gottlob gives a talk at TU Wien on the occasion of the Helmut Veith Stipend Award.
December 18, 2024 at 2:10 PM
Computer Science as the continuation of Logic with other means.
Georg Gottlob gives a talk at TU Wien on the occasion of the Helmut Veith Stipend Award.
Georg Gottlob gives a talk at TU Wien on the occasion of the Helmut Veith Stipend Award.
BILAI Cluster of Excellence retreat at Otto Wagner's Postsparkasse. Art Nouveau meets AI research. @BilateralAI
December 5, 2024 at 10:39 AM
BILAI Cluster of Excellence retreat at Otto Wagner's Postsparkasse. Art Nouveau meets AI research. @BilateralAI
Sepp Hochreiter gives an overview of what Subymbolic AI Can and Cannot Do (Paradigm Shift in Computer Science workshop at TU Wien informatics.tuwien.ac.at/stories/2745/)
November 28, 2024 at 2:52 PM
Sepp Hochreiter gives an overview of what Subymbolic AI Can and Cannot Do (Paradigm Shift in Computer Science workshop at TU Wien informatics.tuwien.ac.at/stories/2745/)
Thomas Eiter gives an overview of Symbolic AI – What It Can and Cannot Do, at the workshop A Paradigm Shift in Computer Science? at TU Wien. There is a livestream.
informatics.tuwien.ac.at/stories/2745/
informatics.tuwien.ac.at/stories/2745/
November 28, 2024 at 10:38 AM
Thomas Eiter gives an overview of Symbolic AI – What It Can and Cannot Do, at the workshop A Paradigm Shift in Computer Science? at TU Wien. There is a livestream.
informatics.tuwien.ac.at/stories/2745/
informatics.tuwien.ac.at/stories/2745/