Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > research > projects

Tools: Drucken


Projects @DBAI

See
Activities on the Faculty Page for more details.

Running Projects

APPETITE
AI-driven collaborative supply and demand matching platform for food waste reduction in the perishable food supply chain
ARTIS
CD Laboratory for Artificial Intelligence and Optimization for Planning and Scheduling
AURA
Abstraction for Understandability of Reasoning in AI
BioLog
Reverse supply chain of residual wood biomass
DeConquer
Decompose and Conquer: Fast Query Processing via Decomposition
HYPAR
Hybrid Parameterized Problem Solving in Practice
Kiras-PrEMI
Predictive Analytics for Emergency Call Infrastructure
KnowledgeGraphs
Knowledge Graphs - Artificial Intelligence for building, managing and gaining insights through scalable reasoning.
KtoAPP
Compiling Knowledge into Applications
PRISHTINA II
Automated Examination Timetabling in the Faculty of Electrical and Computer Engineering - University of Prishtina
REVEAL-AI
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI
SEMPRE
Selbstlernende Prognose kapazitiver Aufwände zur Sicherung der Materialver- und -entsorgung komplexer Produktionssysteme
StandPI
Systemübergreifende Steuerung von Transport- und Intralogistik zur nachhaltigen Distribution im Physical Internet
SuDeMa
Algorithms for Sustainable Group Decision Making

Other Projects

ABBA
Advanced Barrier-free Browser Accessibility
ADF
Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation
AllRight
Know It All and Know It Right: High Quality Knowledge Mining in the Web
Argumentation
New Methods for Analyzing, Comparing, and Solving Argumentation Problems
CDCP
Cycle Double Cover Problems, Generalized Bipartizing Matchings and Snarks
ARTE
Artificial Intelligence in Employee Scheduling
Decodyn
Treating Hard Problems with Decomposition and Dynamic Programming
DDV
The Design Debugging of VHDL specification project funded by Siemens Austria with the aim of finding and fixing bugs in VHDL programs.
D-FLAT
Answer Set Programming for Problem Solving on Tree Decompositions
DLV
A system for disjunctive datalog with constraints and true negation (a la Gelfond < Lifschitz) plus several frontends (brave and cautious reasoning, abductive as well as Reiter's diagnosis, a subset of SQL3, and knowledge-based planning).
dynASP
A dynamic programming-based answer set programming solver
EMBArg
Extending Methods in Belief Change to Advance Dynamics in Argumentation
FAIR
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning
Fragment-Driven Belief Change
Possibilities and limits of tailoring established belief change operators to fragments of propositional logic
Games
Automata and query languages for semistructured data
GRAPPA
A Semantical Framework for Graph-Based Argument Processing
HINT
Heterogeneous Information Integration
HyperTrac
Hypergraph Decompositions and Tractability
Hypertree
Complementary Aproaches to Constraint Satisfaction
ITOK
Large-Scale Probabilistic Information Integration from Web Tables
Jade
The JAva Diagnosis Experiments project funded by the Austrian Science Fund (FWF).
Lixto
A project on extracting and converting information from semistructured data sources (HTML, XML, ...) and on web information processing
METAMORPH
B1: A special-purpose meta-search generator for integrating deep web data
Modis
The MObile DIagnosiS project funded by the Hochschuljubiläumsfond der Stadt Wien.
NextWrap
Next Generation Web Wrapper Technologies
pf2html
A LaTeX2HTML extension for Leslie Lamport's pf.sty style allowing hypertext style proofs.
Planning Knowledge (2007-2010)
Project of Softnet Austria - industrial competence network within K-net program of the Austrian Federal Ministry of Economics and Labor.
OMEGA
Ontology-mediated Queries for Graph Databases
PRISHTINA
Automated Examination Timetabling in the Faculty of Electrical and Computer Engineering - University of Prishtina
ProSpecT
A system for process-oriented business modeling and process optimization.
Ramsey
Ramsey theory illustrated through a java based game (Hexi) that plays heuristically and can learn in a client-server style or optimally if possible.
RankEX
Model-Based Web-Ranking Extraction
Refresh - A Reusable and Extendible Framework for REactive ScHeduling
A project on reactive scheduling funded by FWF, the Austrian Science Funds. The projects builds on the Déjà Vu-Project.
Rewerse
Reasoning on the Web with Rules and Semantics
Rota
A tool for the generation of workforce schedules.
SEE
SPARQL Evaluation and Extensions
SemNum
Semantic Numbers on the Web. A project promoting the convergence of Telecommunications and the Next Generation Web by integrating ENUM into the Semantic Web.
Sit-Moon
System of Integrated Tools for the Creation of Multimedia Contents Delivered Off-line and ON-line
SNARKS
Konstruktion, Studium und Anwendung von Snarks
SODI
Service Oriented Data Integration
SOFTNET
Planungswissen
StarFLIP++
A reusable iterative optimization library for combinatorial problems with fuzzy constraints.
SWS
DBAI acts as partner in the Semantic Web School and is involved in the module on standards, methods and concepts.
Tamcrow
Task Mining and Crowd Sourcing
Tractability
Turning Theoretical Tractability into Efficient Computation via Datalog
WebLearn
Inductive Wrapper Generation on Trees
XMLTaskForce XPath
The world's fastest XPath engine -- the only one with guaranteed polynomial-time complexity (as compared to exponential time for all others)

webmaster@dbai.tuwien.ac.at
Last modified: Feb 2018

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung