You may be interested in
Research Projects (past and ongoing)
- Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI WWTF funded project
- Efficient Algorithms for Computer-Aided Verification WWTF funded project
- GraphAlgApp project Challenges in Graph Algorithms with Applications
- Multiplex project Foundational Research on MULTIlevel comPLEX networks and systems
- New Methods for Analyzing,Comparing, and Solving Argumentation Problems WWTF funded project
Systems
- ASPARTIX: Answer Set Programming Argumentation Reasoning Tool
- CEGARTIX: Counter-Example Guided Argumentation Reasoning Tool
- GERD: An ASP-based Tool to evaluate Extended Argumentation Frameworks (EAFs)
- dynPARTIX: A system for abstract argumentation which is based on tree decompositions and dynamic programming.
- Alter-Java - A Java extension for the Alternation programming paradigm
- Argumentation Tools: Some tools and scripts that I use in my research on formal argumentation and might be useful for others as well.
Other Research-related Links
- Formal Argumentation at DBAI: Overview of our group's activities in Formal Argumentation
- ALGO 2017: ALGO 2017 took place in Vienna.
- ICCMA: International Competition on Computational Models of Argumentation
- Handbook of Formal Argumentation: The first volumne at College Publications
- Vienna Summer of Logic 2014
- Vienna Center for Logic and Algorithms
Other Stuff
- Spinning Gear: Viennese filmmakers. Watch their short movies 1734 - Die Begegnung(youtube) and CliniClowns - Die Berufung(youtube).
- Die Träumer: Viennese musicians interpreting lyrics by Georg Danzer (Austrian singer-songwriter).
- Project Euler: a series of challenging mathematical/computer programming problems.
- xkcd: A webcomic of romance, sarcasm, math, and language.
- Tanzschule Wiater One of the best places in Vienna to learn and practice ballroom dances.