Projects @DBAI
Running Projects
- ABBA
- Advanced Barrier-free Browser Accessibility
- Argumentation
- New Methods for Analyzing, Comparing, and Solving Argumentation Problems
- CDCP
- Cycle Double Cover Problems, Generalized Bipartizing Matchings and Snarks
- dynASP
- A dynamic programming-based answer set programming solver
- SODI
- Service Oriented Data Integration
- SOFTNET
- Planungswissen
- Tractability
- Turning Theoretical Tractability into Efficient Computation via Datalog
Other Projects
- AllRight
- Know It All and Know It Right: High Quality Knowledge Mining in the Web
- DDV
- The Design Debugging of VHDL specification project funded by Siemens Austria with the aim of finding and fixing bugs in VHDL programs.
- 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).
- Games
- Automata and query languages for semistructured data
- 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.
- 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.
- 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.
- 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
- 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.
- 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 2010