DBAI -- Publications of the Christian Doppler Labors für Expertensysteme

You might also want to have a look at our "regular" publications.

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 90/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 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
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, Mayer
CD-S 97/31 On the usage of time trends in ANN desulphurization control, Leisch
CD-S 97/32 Online vs. offline learning in desulphurization control, Leisch

webmaster@dbai.tuwien.ac.at
Last modified: $Date: 2000/11/14 01:25:33 $