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.
- CD-TR 89/2 MOMO - Model-Based Diagnosis for Everybody, Friedrich
G., Nejdl W.
- CD-TR 90/1 Redefining the Candidate Space in Model-Based
Diagnosis, Friedrich G., Lackinger F., Nejdl W.
- CD-TR 90/3 Knowledge-Based Systems for Metal-Related
Technology, Eiter T.
- CD-TR 90/4 Qualitative Simulation of Dynamic Physical
Systems, Lackinger F.
- CD-TR 90/5 Providing Expert Systems with Task-oriented User
Interfaces, Obreja I.
- CD-TR 90/6 The Role of AI-Techniques in the Support of
Conceptual Interface & Specification for Task-oriented Information
Systems, Stary C.
- CD-TR 90/7 Diagnosis of Power Plant Faults Using Qualitative
Models and Heuristic Rules, Obreja I.
- CD-TR 90/8 Constraint Logic Programming - An Overview, Frühwirth T.
- CD-TR 90/9 Propagation in Sequence Graphs, Dorn J.
- CD-TR 90/10 Physical Impossibility Instead of Fault Models,
Friedrich G., Nejdl W.
- CD-TR 90/11 Using an Object-Oriented Diagram Technique for
the Design of Information Systems, Kappel G., Schrefl M.
- CD-TR 90/12 Object/Behavior Diagrams, Kappel G., Schrefl M.
- CD-TR 90/13 Behavior Modeling by Stepwise Refining Behavior
Diagrams, Schrefl M.
- CD-TR 90/14 On Model-based Monitoring and Diagnosis of
Dynamic Systems, Haselböck A., Lackinger F., Nejdl W.
- CD-TR 90/15 Hypothesis Classification, Abductive Diagnosis
and Therapy , Friedrich G., Gottlob G., Nejdl W.
- CD-TR 91/16 Identifying the Minimal Transversals of a
Hypergraph and Related Problems, Eiter T., Gottlob G.
- CD-TR 91/17 Deterministisches Scheduling - Eine
Methodenübersicht, Fröschl K.
- CD-TR 91/18 Model-based Troubleshooting of Complex Technical
Systems Using Integrated Qualitative Techniques, Franz Lackinger,
Irina Obreja
- CD-TR 91/19 Diagnosing Temporal Misbehavior, Gerhard
Friedrich, Franz Lackinger
- CD-TR 91/20 Propositional Circumscription and Extended Closed
World Reasoning are complete, Thomas Eiter, Georg Gottlob
- CD-TR 91/21 Profil eines Wissensingenieurs, Jürgen Dorn
- CD-TR 91/22 Removing redundancy from a claus, Georg Gottlob
and Christian Fermüller
- CD-TR 91/23 On the Complexity of Propositional Knowledge Base
Revision, Updates, and Counterfactuals, Thomas Eiter, Georg Gottlob
- CD-TR 91/24 Results for nonmonotonic logics, Georg Gottlob
- CD-TR 91/25 Qualitative Modeling of Time in Technical
Applications, Jürgen Dorn
- CD-TR 91/26 Intervallbasierte Repräsentation von Zeit mit
TimEx, Alexander Bek
- CD-TR 91/27 Expertensysteme - Toolkits, Shells und Tools,
Franz Lackinger
- CD-TR 91/28 An Efficient Method for EliminatingVarying
Predicates from a Circumscription, Cadoli, Eiter, Gottlob
- CD-TR 91/29 SIRE - Ein Expertensystem zur XPS
Produktberatung, C. Gawrilowicz, F. Lackinger
- CD-TR 91/30 LUIS - A Logic for Knowledge-Based User Interface
Specification, Christian Stary, Ana Pasztor
- CD-TR 91/31 Cognitive Modeling and Knowledge-Based User
Interfaces, Christian Stary
- CD-TR 91/32 Model-Based Troubleshooting: Qaulitative
Reasoning and the Impacts of Time, Franz Lackinger
- CD-TR 92/33 Uncertainty Management by Relaxation of
Conflicting Constraints in Production Process Scheduling, Jürgen Dorn,
Wolfgang Slany, Christian Stary
- CD-TR 92/35 The Complexity of Logic Based Abduction, Thomas
Eiter, Georg Gottlob
- CD-TR 92/36 Reasoning with Parsimonious and Moderately
Grounded Expansions, Thomas Eiter, Georg Gottlob
- CD-TR 92/37 Security in transnationalen Datennetzen am
Beispiel des Internet, Franz Lackinger, Doris Dobersberger
- CD-TR 92/38 Exact Transversal Hypergraphs and Application to
Boolean m-Functions, Thomas Eiter
- CD-TR 92/39 Recognizing Renamable Generalized Propositional
Horn Formulas is NP-Complete, Thomas Eiter, Pekka Kilpeläinen, Heikki
Mannila
- CD-TR 92/40 Modeling Collaboration Among Rational Agents - A
Paradigmatic Review, Christian Stary
- CD-TR 92/41 Complexity Results for Disjunctive Logic
Programming and Application to Nonmonotonic Logics, Thomas Eiter,
Georg Gottlob
- CD-TR 92/43 Hybrid Temporal Reasoning, Jürgen Dorn
- CD-TR 92/44 The Complexity of Nested Counterfactuals and
Iterated Knowledge Base Revisions, Thomas Eiter and Georg Gottlob
- CD-TR 92/45 Curb Your Theory! - A circumscriptive approach
for inclusive interpretation of disjunctive information , Thomas
Eiter, Georg Gottlob, Yuri Gurevich
- CD-TR 92/46 Complexity Aspects of Various Semantics for
Disjunctive Databases, Thomas Eiter, Georg Gottlob
- CD-TR 92/47 NP-Trees and Carnap's Logic, Georg Gottlob
- CD-TR 93/48 Coupling Application Design and User Interface
Design Via Task Knowledge, Christian Stary
- CD-TR 93/49 The ART of the Belly, Wolfgang Slany, Christian
Stary
- CD-TR 93/50 Task-oriented Design for Scheduling Applications
, Jürgen Dorn
- CD-TR 93/51 Expressive Power and Complexity of Disjunctive
Datalog, Thomas Eiter, Georg Gottlob, Heikki Mannila
- CD-TR 93/52 datalog is a well-known logical query language,
whose expressive power and data A Gentzen system for non-theorems,
Piero Bonatti
- CD-TR 93/53 Proof systems for default and autoepistemic
logics, Piero Bonatti
- CD-TR 93/54 Cumulative Default Logic: Finite
Characterization, Algorithms, and Complexity, Georg Gottlob and Zhang
Mingyi
- CD-TR 93/55 Reactive Scheduling in a Fuzzy-Temporal
Framework, Jürgen Dorn, Roger Kerr and Gabi Thalhammer
- CD-TR 93/56 A Flow Shop with Compatibility Constraints in a
Steelmaking Plant, Jürgen Dorn and Wolfgang Slany
- CD-TR 93/57 Logic Programming = Lukasiewicz's Logic,
P.A. Bonatti
- CD-TR 93/58 A knowledge representation language coming from
the twenties, P.A. Bonatti
- CD-TR 93/59 Shift-based semantics: general results and
applications, P.A. Bonatti
- CD-TR 94/60 Theory Distance and Similarity: Measures and
Computation, Thomas Eiter and Heikki Mannila
- CD-TR 94/61 Comparison of Iterative Improvement Techniques
for Schedule Optimization, Jürgen Dorn, Mario Girsch, Günther Skele,
Wolfgang Slany
- CD-TR 94/62 Scheduling as a Fuzzy Multiple Criteria
Optimization Problem, Wolfgang Slany
- CD-TR 94/64 Computing Discrete Frechet Distance, Thomas
Eiter, Heikki Mannila
- CD-TR 94/65 Default Logic as a Query Language, Marco Cadoli,
Thomas Eiter, Georg Gottlob
- CD-TR 94/66 Fuzzy Scheduling Fuzzy Logic in Artificial
Intelligence, Wolfgang Slany
- CD-TR 94/69 Co-operating Scheduling Systems Communicating
Through Fuzzy Sets, Jürgen Dorn and Roger M. Kerr
- CD-TR 94/70 Querying Disjunctive Databases Through
Nonmonotonic Logics, T. Eiter, P.A. Bonatti
- CD-TR 94/71 Generating Boolean mu-Expressions , T. Eiter
- CD-TR 94/72 Abduction from Logic Programs: Semantics and
Complexity, Thomas Eiter, Georg Gottlob, Nicola Leone
- CD-TR 94/73 Stable Models and their Computation for Logic
Programming with Inheritance and True Negation, F. Buccafurri,
N. Leone, P. Rullo
- CD-TR 94/74 Iterative Improvement Methods, Jürgen Dorn
- CD-TR 94/75 Case-based Reactive Scheduling, Jürgen Dorn
- CD-TR 95/77Normal Forms
for Second-Order Logic over Finite Structures, and
Classification of NP Optimization Problems, Eiter, Gottlob, Gurevich
- CD-TR 95/82On the Partial
Semantics for Disjunctive Deductive Databases, Eiter, Leone,
Sacca
- CD-TR 95/83Expressive
Power and Complexity of Partial Models for Disjunctive Deductive
Databases, Eiter, Leone, Sacca
- CD-TR 95/89Note on the
Complexity of Some Eigenvector Problems, Eiter, Leone
- CD-TR 96/90 On the Expressive Power of Disjunctive Logic
Programming over Finite Structures, Eiter, Gottlob, Mannila
- CD-TR 96/91 Survey on a Carnapian Extension of S5, Gottlob
- CD-TR 96/92 On the Expressiveness of Frame Satisfiability and
Fragments, Eiter, Gottlob
- CD-TR 96/93 Model-Based Diagnosis of Hardware Description
Languages, Stumptner, Wotawa
- CD-TR 96/94 Model-Based Program Debugging and Repair,
Stumptner, Wotawa
- CD-TR 96/95 Multi-Face Horn Functions, Eiter, Ibaraki, Makino
- CD-TR 96/96 Efficient evaluation of a class of ordered logic
programs, Leone, Pizzuti, Rullo
- CD-TR 96/97 BQM: A System Integrating Logic, Objects and
Non-Monotonic Reasoning, Leone, Rullo, Scarcello
- CD-TR 96/98 Unfounded Sets, Fixpoint Semantics Computation of
Disjunctive Stable Models, Leone, Rullo, Scarcello
- CD-TR 96/99 Optimal Models for Disjunctive Logic Programs,
Leone, Subrahmanian
- CD-TR 96/100 Probview: A Flexible Probabilistic Database
System, Lakshmanan, Leone, Ross, Subrahmanian
- CD-TR 96/101 On the Indiscernibility of Individuals in Logic
Programming, Eiter, Gottlob, Leone
- CD-TR 96/103 Expressiveness of Stable Model Semantics for
Disjunctive Logic Programs with Functions, Eiter, Gottlob
- CD-TR 96/104 Hierarchic Iterative Improvement of Schedules, Dorn
- CD-TR 96/105 Capturing Relativized Complexity Classes without
Order, Dawar, Gottlob, Hella
- CD-TR 96/106 A Model-Based Approach to Software Debugging,
Stumptner, Wotawa
- CD-TR 96/107 KDD-Report, Petrak
- CD-TR 96/108 Modular Logic Programming and Generalized
Quantifiers, Eiter, Gottlob, Veith
Christian Doppler Laboratory Studies
(1989-1997)
- CD-S 91/5 Artificial Intelligence Trends in Japan, Wolfgang Slany
- CD-S 93/8 Wiederverwendbarkeit von Software, Jürgen Dorn und Jan Overbeck
- CD-S 93/9 Scheduling von Produktionsprozessen - Von linearen Integermodellen zu symbolischen AI-Modellen, Jürgen Dorn und Wolfgang Slany (Hrsg.)
- CD-S 96/20 Usability-Analyse des CUA-Standards, Stary
- CD-S 96/21 A proposal of hard- and software for desulphurization control with neural networks and fuzzy logic, Leisch, Hornik, Bonner, Slany
- CD-S 96/22 Man machine cooperation for learning a complex control task, Bonner, Slany
- CD-S 96/23 A fuzzy tools comparison, Bonner
- CD-S 96/24 Statistical evaluation of hot metal data, Leisch
- CD-S 96/25 Controlling hot metal desulphurization with artificial neural networks, Leisch
- CD-S 96/26 Description of fuzzy logic and a fuzzy logic inference library intended for the desulphurization control at VA Stahl Linz, Bonner
- CD-S 96/27 Using genetic algorithms to learn a fuzzy rule base for the desulphurization control at VA Stahl Linz, Bonner
- CD-S 96/28 Predicting hot metal desulphurization with linear regression models and artificial neural networks: A comparison, Leisch
- CD-S 97/29 InterFLIP++, a fuzzy logic inference library to interpolate a control variable for desulphurization control at VA Stahl Linz, Stefan Mayer
- CD-S 97/30 (nil)
- CD-S 97/31 On the usage of time trends in ANN desulphurization control, Fritz Leisch
- CD-S 97/32 Online vs. offline learning in desulphurization control, Fritz
Leisch
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