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