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-2024-126 Splitting Argumentation Frameworks with Collective Attacks. Giovanni Buraglio, Wolfgang Dvořák, König, and Stefan Woltran
  • DBAI-TR-2022-125 The Complexity Landscape of Claim-Augmented Argumentation Frameworks. Wolfgang Dvořák, Alexander Greßler, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2022-124 A Claim-Centric Perspective on Abstract Argumentation Semantics: Claim-Defeat, Principles, and Expressiveness. Wolfgang Dvořák, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2022-123 Just a Matter of Perspective: Intertranslating Expressive Argumentation Formalisms. Matthias König, Anna Rapberger, and Markus Ulbricht
  • DBAI-TR-2021-122 Equivalence in Argumentation Frameworks with a Claim-centric View -- Classical Results With Novel Ingredients. Ringo Baumann, Anna Rapberger, and Markus Ulbricht
  • DBAI-TR-2021-121 The Complexity Landscape of Claim-Augmented Argumentation Frameworks. Wolfgang Dvořák, Alexander Greßler, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2021-120 Graph-Classes of Argumentation Frameworks with Collective Attacks. Wolfgang Dvořák, Matthias König, and Stefan Woltran
  • DBAI-TR-2020-119 On the Different Types of Collective Attacks in Abstract Argumentation: Equivalence Results for SETAFs. Wolfgang Dvořák, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2020-118 On the Relation between Claim-augmented Argumentation Frameworks and Collective Attacks. Wolfgang Dvořák, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2020-117 (revised 17.Feb. 2020) Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics. Wolfgang Dvořák, Atefeh Keshavarzi Zafarghandi, and Stefan Woltran
  • DBAI-TR-2019-116 Strong Equivalence for Argumentation Frameworks with Collective Attacks. Wolfgang Dvořák, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2019-115 Shaping Abstract Argumentation for the Argumentation Pipeline? How to avoid Multiple Arguments with the same Claim. Wolfgang Dvořák, Anna Rapberger, and Stefan Woltran
  • DBAI-TR-2019-114 Manipulating Skeptical and Credulous Consequences when Merging Beliefs. Adrian Haret and Johannes P. Wallner
  • DBAI-TR-2018-113 Characteristics of Multiple Viewpoints in Abstract Argumentation under Complete Semantics. Thomas Linsbichler
  • DBAI-TR-2018-112 Evaluating SETAFs via Answer-Set Programming. Wolfgang Dvořák, Alexander Greßler, and Stefan Woltran
  • DBAI-TR-2018-111 On the Expressive Power of Collective Attacks. Wolfgang Dvořák, Jorge Fandinno, and Stefan Woltran
  • DBAI-TR-2018-110 Weighted Abstract Dialectical Frameworks: Extended and Revised Report. Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner and Stefan Woltran
  • DBAI-TR-2017-109 A General Modeling Format for Employee Scheduling. Lucas Kletzander, Florian Mischek, Nysret Musliu, Gerhard Post and Felix Winter
  • DBAI-TR-2017-108 Technical Note: On the Complexity of the Uniqueness Problem in Abstract Argumentation. Wolfgang Dvořák
  • DBAI-TR-2017-107 The D-FLAT System: User Manual. Bernhard Bliem, Marius Moldovan, Stefan Woltran
  • DBAI-TR-2017-106 An Extension-Based Approach to Belief Revision in Abstract Argumentation. Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
  • DBAI-TR-2017-105 A General Notion of Equivalence for Abstract Argumentation. Ringo Baumann, Thomas Linsbichler, Wolfgang Dvořák, Stefan Woltran
  • DBAI-TR-2017-104 Intertranslatability of Abstract Argumentation Frameworks. Sylwia Polberg
  • DBAI-TR-2017-103 Preliminary Report on Complexity Analysis of Extension-Based Semantics of Abstract Dialectical Frameworks. Sylwia Polberg, Johannes P. Wallner
  • DBAI-TR-2016-102 On Rejected Arguments and Implicit Conflicts: The Hidden Power of Argumentation Semantics. Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran
  • DBAI-TR-2016-101 Revised Version 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, 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 Dvořák, Christof Spanring
  • DBAI-TR-2015-89 Characteristics of Multiple Viewpoints in Abstract Argumentation. Paul E. Dunne, Thomas Linsbichler, Wolfgang Dvořák, 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 Dvořák, 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 Dvořák, Stefan Szeider, Stefan Woltran
  • DBAI-TR-2012-78 Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics. Wolfgang Dvořák, 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 Dvořák, 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 Dvořák, Stefan Szeider, Stefan Woltran
  • DBAI-TR-2011-70 Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems. Wolfgang Dvořák, 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 Dvořák, 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 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