About
Groups
Algorithms and Complexity
Databases and Artificial Intelligence
Formal Methods in Systems Engineering
Knowledge-Based Systems
Security and Privacy
Theory and Logic
PhD
Doctoral Program (FWF) Logical Methods in Computer Science
Doctoral Program MSCA Cofund LogiCS@TUWien
Master’s
Master in Logic and Computation
VCLA
Vienna Center for Logic and Algorithms
Talks/News
Partners
Faculty of Informatics
Cyberphysical Systems Group
Computer Languages Group
Computational Logic Group
Kurt Gödel Society
Logic in Austria
National Research Network RiSE
Contact
Search
Sylwia Polberg
November 13, 2014
/
in
DBAI seminar
/
by
admin
Günther Charwat
Shqiponja Ahmetaj and Wolfgang Fischl
Scroll to top