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

Running Projects

ADF
Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation
ARTE
Artificial Intelligence in Employee Scheduling
D-FLAT
Answer Set Programming for Problem Solving on Tree Decompositions
Decodyn
Treating Hard Problems with Decomposition and Dynamic Programming
dynASP
A dynamic programming-based answer set programming solver
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
HINT
Heterogeneous Information Integration
RankEX
Model-Based Web-Ranking Extraction
SEE
SPARQL Evaluation and Extensions

Other Projects

ABBA
Advanced Barrier-free Browser Accessibility
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
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
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 2010

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme 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.