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 > Reports

Tools: Drucken

Technical Reports@DBAI

This file contains:

Christian Doppler Laboratory Reports (1989-1996)

NOTE: The CD Laboratory expired in early 1997, as well as the report series. For recent reports, see the DBAI report series below.

Christian Doppler Laboratory Studies (1989-1997)

DBAI Technical Reports

NOTE: Many of the Technical Reports before 1997 were published in the CD Lab Technical Report Series above.

Naming: DBAI-TR-xx-yy OR DBAI-fff-xx-yy xx: year yy: volume fff: field (optional)

  • DBAI-TR-2016-101 Answer Set Solving using Tree Decompositions and Dynamic Programming – The DynASP2 System. Johannes Fichte, Markus Hecher, Michael Morak, Stefan Woltran
  • DBAI-TR-2016-100 General Belief Revision. James P. Delgrande, Pavlos Peppas, Stefan Woltran
  • DBAI-TR-2016-99 Multiparametric View on Answer Set Programming. Johannes K. Fichte, Martin Kronegger, Stefan Woltran
  • DBAI-TR-2016-98 Backdoor Trees for Answer Set Programming. Johannes K. Fichte and Stefan Szeider
  • DBAI-TR-2016-97 Treewidth-Preserving Modeling in ASP. Manuel Bichler, Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran
  • DBAI-TR-2016-96 htd - A Free, Open-Source Framework for Tree Decompositions and Beyond. Michael Abseher, Nysret Musliu, Stefan Woltran
  • DBAI-TR-2016-95 BDD-based Dynamic Programming on Tree Decompositions. Günther Charwat, Stefan Woltran
  • DBAI-TR-2016-94 Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning. Michael Abseher, Nysret Musliu, Stefan Woltran
  • DBAI-TR-2015-93 D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
  • DBAI-TR-2015-92 Improved Answer-Set Programming Encodings for Abstract Argumentation. Sarah A. Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
  • DBAI-TR-2015-91 Merging in the Horn Fragment. Adrian Haret, Stefan Rümmele, Stefan Woltran
  • DBAI-TR-2015-90 Comparing the Expressiveness of Argumentation Semantics. Wolfgang Dvorak, Christof Spanring
  • DBAI-TR-2015-89 Characteristics of Multiple Viewpoints in Abstract Argumentation. Paul E. Dunne, Thomas Linsbichler, Wolfgang Dvorak, Stefan Woltran
  • DBAI-TR-2015-88 Revisiting Extension-Based Semantics of Abstract Dialectical Frameworks. Sylwia Polberg
  • DBAI-TR-2014-87 Revisiting Support in Abstract Argumentation Systems. Sylwia Polberg, Nir Oren
  • DBAI-TR-2014-86 D-FLAT: Progress Report. Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran
  • DBAI-TR-2014-85 Extension-Based Semantics of Abstract Dialectical Frameworks. Sylwia Polberg
  • DBAI-TR-2013-84 On the relation between SPARQL1.1 and Answer Set Programming. Axel Polleres, Johannes P. Wallner
  • DBAI-TR-2013-83 Model-Based Recasting in Answer-Set Programming. Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
  • DBAI-TR-2013-82 Implementing Abstract Argumentation - A Survey. Günther Charwat, Wolfgang Dvorak, Sarah A. Gaggl, Johannes P. Wallner, Stefan Woltran
  • DBAI-TR-2013-81 Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
  • DBAI-TR-2013-80 Web Objects Identification for Web Automation: Objects and their Features. Ruslan R. Fayzrakhmanov, Christoph Herzog, Iraklis Kordomatis
  • DBAI-TR-2012-79 Abstract Argumentation via Monadic Second Order Logic. Wolfgang Dvorak, Stefan Szeider, Stefan Woltran
  • DBAI-TR-2012-78 Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. Wolfgang Dvorak, Sarah Alice Gaggl
  • DBAI-TR-2012-77 The cf2 Argumenation Semantics Revisited. Sarah Alice Gaggl, Stefan Woltran
  • DBAI-TR-2012-76 UMAP: A Universal Layer for Schema Mapping Languages. Florin Chertes, Ingo Feinerer
  • DBAI-TR-2012-75 Belief revision within fragments of propositional logic. Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
  • DBAI-TR-2011-74 Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation. Wolfgang Dvorak, Reinhard Pichler, Stefan Woltran
  • DBAI-TR-2011-73 Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. Michael Morak, Nysret Musliu, Stefan Rümmele, Stefan Woltran, Reinhard Pichler
  • DBAI-TR-2011-72 Revised Version Preprocessing of Complex Non-Ground Rules in Answer Set Programming. Michael Morak, Stefan Woltran
  • DBAI-TR-2011-71 Reasoning in Argumentation Frameworks of Bounded Clique-Width. Wolfgang Dvorak, Stefan Szeider, Stefan Woltran
  • DBAI-TR-2011-70 Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. Wolfgang Dvorak, Sarah Alice Gaggl, Johannes Wallner, Stefan Woltran
  • DBAI-TR-2011-69 Normalization and Optimization of Schema Mappings. Georg Gottlob, Reinhard Pichler, Vadim Savenkov
  • DBAI-TR-2011-68 Strong Equivalence for Argumentation Semantics based on Conflict-free Sets. Sarah Alice Gaggl, Stefan Woltran
  • DBAI-TR-2010-67 Multicut Algorithms via Tree Decompositions. Reinhard Pichler, Stefan Rümmele, Stefan Woltran
  • DBAI-TR-2009-66 Technical Note: Complexity of Stage Semantics in Argumentation Frameworks. Wolfgang Dvorak, Stefan Woltran
  • DBAI-TR-2009-65 TEMPLE - A Modeling Language for Resource Planning and Scheduling Problems. Andreas Beer, Johannes Gärtner, Nysret Musliu, Werner Schafhauser, Wolfgang Slany
  • DBAI-TR-2009-64 Alternation as a Programming Paradigm. Wolfgang Dvorak, Georg Gottlob, Reinhard Pichler, Stefan Woltran
  • DBAI-TR-2008-63 Relativized Hyperequivalence of Logic Programs for Modular Programming. Mirosław Truszczyński, Stefan Woltran
  • DBAI-TR-2008-62 Answer-Set Programming Encodings for Argumentation Frameworks. Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
  • DBAI-TR-2008-61 Fast Counting with Bounded Treewidth. Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
  • DBAI-TR-2008-60 Encoding Deductive Argumentation in Quantified Boolean Formulae. Philippe Besnard, Anthony Hunter, Stefan Woltran
  • DBAI-TR-2008-59 dRDF: Entailment for Domain-Restricted RDF. Reinhard Pichler, Axel Polleres, Fang Wei, Stefan Woltran
  • DBAI-TR-2008-58 Hyperequivalence of Logic Programs with Respect to Supported Models. Mirosław Truszczyński, Stefan Woltran
  • DBAI-TR-2008-57 Implementing Core Computation for Data Exchange. Reinhard Pichler, Vadim Savenkov
  • DBAI-TR-2007-56 An Iterative Heuristic Algorithm for Tree Decomposition. Nysret Musliu
  • DBAI-TR-2007-55 Generalized Hypertree Decompositions:NP-Hardness and Tractable Variants. Georg Gottlob, Zoltan Miklos, Thomas Schwentick
  • DBAI-TR-2006-54 Component decomposition. Georg Gottlob, Zoltan Miklos, Thomas Schwentick
  • DBAI-TR-2005-53 Heuristic Methods for Hypertree Decompositions. Artan Dermaku, Tobias Ganzow, Georg Gottlob, Ben McMahan, Nysret Musliu, Marko Samer
  • DBAI-TR-2005-52 An algorithm for the acyclic hypergraph sandwich problem. Vladimir Gurvich, Nysret Musliu, Vladimir Oudalov
  • DBAI-TR-2005-51 On the complexity of the acyclic hypergraph sandwich problem. Georg Gottlob, Vladimir Gurvich, Zoltan Miklos
  • DBAI-TR-2005-50 A CSP Hypergraph Library. Tobias Ganzow, Georg Gottlob, Nysret Musliu, Marko Samer
  • DBAI-TR-2003-49 Applying Tabu Search to the Rotating Workforce Scheduling Problem. Nysret Musliu.
  • DBAI-TR-2003-48 The ATOM Middleware for Massively Parallel Multi-Player Online Games. C. Schallhart, G. Gottlob, H. Veith.
  • DBAI-TR-2002-47 The Cyclic Preemptive Scheduling Problem in V4.
  • DBAI-TR-2001-46 The minimum shift design problem and its relation to the minimum edge-cost flow problem. Guy Kortsarz and Wolfgang Slany.
  • DBAI-TR-2001-45 Local search for shift design. N. Musliu, A. Schaerf, W. Slany
  • DBAI-TR-2001-44 Efficient Instantiation of Disjunctive Databases. W. Faber, N. Leone, S. Perri and G. Pfeifer.
  • DBAI-TR-2001-43 Reserved (Leone)
  • DBAI-TR-2001-42 A Symmetric Strategy in Graph Avoidance Games. F. Harary, W. Slany, O. Verbitsky.
  • DBAI-TR-2000-41 Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. G. Gottlob, F. Scarcello, M. Sideri.
  • DBAI-TR-2000-40 Contributions to the Complexity Analysis of Non-Monotonic Reasoning. Robert Baumgartner.
  • DBAI-TR-2000-39 On the Complexity of Fixed-Point 3-valued Semantics for Autoepistemic Logic. Robert Baumgartner, Georg Gottlob.
  • DBAI-TR-2000-38 On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases (Extended Version). Robert Baumgartner, Georg Gottlob.
  • DBAI-TR-2000-37 Enhancing Answer Set Planning. N. Leone, R. Rosati, F. Scarcello.
  • DBAI-TR-2000-36 Multiagent Compromises, Joint Fixpoints and Stable Models. Buccafurri, Gottlob
  • DBAI-TR-2000-35 Efficient generation of rotating workforce schedules. N. Musliu, J. Gaertner, W. Slany.
  • DBAI-TR-99-34 Graph Ramsey Games. Wolfgang Slany.
  • DBAI-TR-99-33 Using Databases Optimization Techniques for Nonmonotonic Reasoning. W. Faber, N. Leone, C. Mateis, G. Pfeifer.
  • DBAI-TR-99-32 Pushing Goal Derivation in DLP Computations. W. Faber, N. Leone, G. Pfeifer.
  • DBAI-TR-99-31 Decidability and Complexity of t-Tautologies. M. Baaz, P. Hajek, H. Veith.
  • DBAI-TR-99-30 Disjunctive Logic Programs with Inheritance. Francesco Buccafurri, Wolfgang Faber, Nicola Leone.
  • DBAI-TR-99-29 reserviert fuer Eiter/Veith
  • DBAI-TR-99-28a Computing Consistent Preferred Answer Sets. Wolfgang Faber, Nicola Leone, Gerald Pfeifer.
  • DBAI-TR-99-28 A Survey of Intelligent Debugging. M. Stumptner, F. Wotawa.
  • DBAI-TR-99-27 An Axiomatization of Quantified Propositional Goedel Logic using the Takeuti-Titani Rule. Matthias Baaz, Helmut Veith
  • DBAI-TR-99-26 Stable Model Checking Made Easy. C. Koch, N. Leone.
  • DBAI-TR-99-25 A Comparison of Structural CSP Decomposition Methods. G. Gottlob, N. Leone, F. Scarcello.
  • DBAI-TR-99-24 Franz Wotawa, New Directions in Debugging Hardware Designs
  • DBAI-TR-98-23 A reusable iterative optimization software library to solve combinatorial problems with approximate reasoning. Andreas Raggl, Wolfgang Slany
  • DBAI-TR-98-22 Datalog LITE: Temporal versus deductive reasoning in verification. Georg Gottlob, Erich Graedel, Helmut Veith
  • DBAI-TR-98-21 Hypertree decompositions and tractable queries. G.Gottlob, L.Leone, F.Scarcello
  • DBAI-TR-98-20 The Diagnosis Frontend of the dlv System. Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer
  • DBAI-TR-98-19 Computing LOGCFL Certificates G.Gottlob, L.Leone, F.Scarcello
  • DBAI-TR-98-18 Advanced Parallel Algorithms for Acyclic Conjunctive Queries G.Gottlob, L.Leone, F.Scarcello
  • DBAI-TR-98-17 The Complexity of Acyclic Conjunctive Queries. G.Gottlob, L.Leone, F.Scarcello
  • DBAI-TR-98-16 Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. M.Baaz, A.Ciabattoni, C.Fermueller, H.Veith.
  • DBAI-TR-98-15 How to Encode a Logical Structure as an OBDD. H.Veith.
  • DBAI-TR-98-14 Existential Second Order Logic Over Strings. T.Eiter, G.Gottlob, Y.Gurevich.
  • DBAI-TR-97-13 Succinctness as a source of complexity in logical formalisms. G.Gottlob, N.Leone, H.Veith
  • DBAI-TR-98-12 The KR System dlv: Progress Report, Comparisons and Benchmarks. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello.
  • DBAI-TR-97-11 StarFLIP++ Version 1.0. A reusable iterative optimization library for combinatorial problems with fuzzy constraints. StarFLIP-Team (Wolfgang Slany)
  • DBAI-TR-97-10 How to encode a logical structure as a string. H.Veith
  • DBAI-TR-97-9 Interpolation in Fuzzy Logic. M.Baaz, H.Veith
  • DBAI-DAT-TR-97-8 Semantics and Expressiveness of Disjunctive Ordered Logic. F. Buccafurri, N.Leone, P. Rullo.
  • DBAI-DAT-TR-96-7 Enhancing Disjunctive Datalog by Constraints. F. Buccafurri, N.Leone, P. Rullo.
  • DBAI-MBD-TR-95-01B Model-Based Diagnosis of Hardware Designs. G.Friedrich, Markus Stumptner, Franz Wotawa

    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.