Technical Reports@DBAI

This file contains:

CD Reports 1989 - 1996
CD Studies 1989 - 1996
DBAI Reports 1989 -

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-MBD-TR-95-01B Model-Based Diagnosis of Hardware Designs. G.Friedrich, Markus Stumptner, Franz Wotawa
DBAI-DAT-TR-96-7 Enhancing Disjunctive Datalog by Constraints. F. Buccafurri, N.Leone, P. Rullo.
DBAI-DAT-TR-97-8 Semantics and Expressiveness of Disjunctive Ordered Logic. F. Buccafurri, N.Leone, P. Rullo.
DBAI-TR-97-9 Interpolation in Fuzzy Logic. M.Baaz, H.Veith
DBAI-TR-97-10 How to encode a logical structure as a string. H.Veith
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-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-13 Succinctness as a source of complexity in logical formalisms. G.Gottlob, N.Leone, H.Veith
DBAI-TR-98-14 Existential Second Order Logic Over Strings. T.Eiter, G.Gottlob, Y.Gurevich.
DBAI-TR-98-15 How to Encode a Logical Structure as an OBDD. H.Veith.
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-17 The Complexity of Acyclic Conjunctive Queries. 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-19 Computing LOGCFL Certificates 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-21 Hypertree decompositions and tractable queries. G.Gottlob, L.Leone, F.Scarcello
DBAI-TR-98-22 Datalog LITE: Temporal versus deductive reasoning in verification. Georg Gottlob, Erich Graedel, Helmut Veith
DBAI-TR-98-23 A reusable iterative optimization software library to solve combinatorial problems with approximate reasoning. Andreas Raggl, Wolfgang Slany
DBAI-TR-99-24 Franz Wotawa, New Directions in Debugging Hardware Designs
DBAI-TR-99-25 A Comparison of Structural CSP Decomposition Methods. G. Gottlob, N. Leone, F. Scarcello.
DBAI-TR-99-26 Stable Model Checking Made Easy. C. Koch, N. Leone.
DBAI-TR-99-27 An Axiomatization of Quantified Propositional Goedel Logic using the Takeuti-Titani Rule. Matthias Baaz, Helmut Veith
DBAI-TR-99-28 A Survey of Intelligent Debugging. M. Stumptner, F. Wotawa.
DBAI-TR-99-28a Computing Consistent Preferred Answer Sets. Wolfgang Faber, Nicola Leone, Gerald Pfeifer.
DBAI-TR-99-29 reserviert fuer Eiter/Veith
DBAI-TR-99-30 Disjunctive Logic Programs with Inheritance. Francesco Buccafurri, Wolfgang Faber, Nicola Leone.
DBAI-TR-99-31 Decidability and Complexity of t-Tautologies. M. Baaz, P. Hajek, H. Veith.
DBAI-TR-99-32 Pushing Goal Derivation in DLP Computations. W. Faber, N. Leone, G. Pfeifer.
DBAI-TR-99-33 Using Databases Optimization Techniques for Nonmonotonic Reasoning. W. Faber, N. Leone, C. Mateis, G. Pfeifer.
DBAI-TR-99-34 Graph Ramsey Games. Wolfgang Slany.
DBAI-TR-2000-35 Efficient generation of rotating workforce schedules. N. Musliu, J. Gaertner, W. Slany.
DBAI-TR-2000-36 Multiagent Compromises, Joint Fixpoints and Stable Models. Buccafurri, Gottlob
DBAI-TR-2000-37 Enhancing Answer Set Planning. N. Leone, R. Rosati, F. Scarcello.
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-39 On the Complexity of Fixed-Point 3-valued Semantics for Autoepistemic Logic. Robert Baumgartner, Georg Gottlob.
DBAI-TR-2000-40 Contributions to the Complexity Analysis of Non-Monotonic Reasoning. Robert Baumgartner.
DBAI-TR-2000-41 Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. G. Gottlob, F. Scarcello, M. Sideri.
DBAI-TR-2001-42 A Symmetric Strategy in Graph Avoidance Games. F. Harary, W. Slany, O. Verbitsky.
DBAI-TR-2001-43 Reserved (Leone)
DBAI-TR-2001-44 Efficient Instantiation of Disjunctive Databases. W. Faber, N. Leone, S. Perri and G. Pfeifer.
DBAI-TR-2001-45 Local search for shift design. N. Musliu, A. Schaerf, W. Slany
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-2002-47 The Cyclic Preemptive Scheduling Problem in V4.
DBAI-TR-2003-48 The ATOM Middleware for Massively Parallel Multi-Player Online Games. C. Schallhart, G. Gottlob, H. Veith.
DBAI-TR-2003-49 Applying Tabu Search to the Rotating Workforce Scheduling Problem. Nysret Musliu.
DBAI-TR-2005-50 A CSP Hypergraph Library. Tobias Ganzow, Georg Gottlob, Nysret Musliu, Marko Samer
DBAI-TR-2005-51 On the complexity of the acyclic hypergraph sandwich problem. Georg Gottlob, Vladimir Gurvich, Zoltan Miklos
DBAI-TR-2005-52 An algorithm for the acyclic hypergraph sandwich problem. Vladimir Gurvich, Nysret Musliu, Vladimir Oudalov
DBAI-TR-2005-53 Heuristic Methods for Hypertree Decompositions. Artan Dermaku, Tobias Ganzow, Georg Gottlob, Ben McMahan, Nysret Musliu, Marko Samer
DBAI-TR-2006-54 Component decomposition. Georg Gottlob, Zoltan Miklos, Thomas Schwentick
DBAI-TR-2007-55 Generalized Hypertree Decompositions:NP-Hardness and Tractable Variants. Georg Gottlob, Zoltan Miklos, Thomas Schwentick
DBAI-TR-2007-56 An Iterative Heuristic Algorithm for Tree Decomposition. Nysret Musliu
DBAI-TR-2008-57 Implementing Core Computation for Data Exchange. Reinhard Pichler, Vadim Savenkov
DBAI-TR-2008-58 Hyperequivalence of Logic Programs with Respect to Supported Models. Mirosław Truszczyński, Stefan Woltran
DBAI-TR-2008-59 dRDF: Entailment for Domain-Restricted RDF. Reinhard Pichler, Axel Polleres, Fang Wei, Stefan Woltran
DBAI-TR-2008-60 Encoding Deductive Argumentation in Quantified Boolean Formulae. Philippe Besnard, Anthony Hunter, Stefan Woltran
DBAI-TR-2008-61 Fast Counting with Bounded Treewidth. Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
DBAI-TR-2008-62 Answer-Set Programming Encodings for Argumentation Frameworks. Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
DBAI-TR-2008-63 Relativized Hyperequivalence of Logic Programs for Modular Programming. Mirosław Truszczyński, Stefan Woltran
DBAI-TR-2009-64 Alternation as a Programming Paradigm. Wolfgang Dvorak, Georg Gottlob, Reinhard Pichler, 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-66 Technical Note: Complexity of Stage Semantics in Argumentation Frameworks. Wolfgang Dvorak, Stefan Woltran
DBAI-TR-2010-67 Multicut Algorithms via Tree Decompositions. Reinhard Pichler, Stefan Rümmele, Stefan Woltran

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.